Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

  7. current community

    your communities

    more stack exchange communities

    company blog
Mathematics
Meta user
Network profile
2,261
reputation
11
23

Benedict Eastaugh

Postdoctoral researcher in logic and philosophy of mathematics at the University of Bristol.

41
answers
7
questions
~80k
people reached

Communities (10)

Top network posts

Top tags (41)

Score 98
Posts 28
Posts % 58
Score 46
Posts 5
Score 40
Posts 5
Score 25
Posts 9
Score 18
Posts 13
Score 16
Posts 8
View all tags →

Top posts (48) All Questions Answers | Votes Newest

21 Classic type theory textbooks Feb 25 '12
17 Rejecting infinity Sep 22 '11
16 What's the meaning of a set to the power of another set? Apr 8 '12
16 Troll Maths : Bijection between P(N) and N? May 23 '12
10 Is there any direct application of Gödel's Theorems outside of logic? Jun 23 '12
8 What's the difference between “$\to$” (implication) and “$\vdash$” (therefore)? Dec 12 '11
6 Absurd = Inconsistent? Jan 23 '12
6 Ordinals definable over $L_\kappa$ Dec 30 '12
6 Curry-Howard correspondence Jul 4 '12
6 Is there any generalization of the hyperarithmetical hierarchy using the analytical hierarchy to formulas belonging to third-order logic and above? Jan 2 '13
View all questions and answers →

Badges (34)

Gold

—

Silver

11

Rarest

Bronze

23

Rarest

View all badges →