Mathematics
Profile Activity
Meta user
Network profile
2,531
reputation
13
25

Benedict Eastaugh

I work on logic and philosophy of mathematics.

40
answers
7
questions
~110k
people reached

Communities (10)

Top network posts

Top tags (41)

Score 104
Posts 27
Posts % 57
Score 48
Posts 5
Score 44
Posts 5
Score 27
Posts 9
Score 19
Posts 13
Score 18
Posts 3
View all tags →

Top posts (47)

All Questions Answers
Votes Newest
23 Classic type theory textbooks Feb 25 '12
20 What's the meaning of a set to the power of another set? Apr 8 '12
17 Rejecting infinity Sep 22 '11
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
10 What's the difference between “$\to$” (implication) and “$\vdash$” (therefore)? Dec 12 '11
7 Is there any generalization of the hyperarithmetical hierarchy using the analytical hierarchy to formulas belonging to third-order logic and above? Jan 2 '13
6 Absurd = Inconsistent? Jan 23 '12
6 Ordinals definable over $L_\kappa$ Dec 30 '12
6 Is there a first-order-logic for calculus? Jan 27 '12
View all questions and answers →

Badges (38)

Gold

—

Silver

13

Rarest

Bronze

25

Rarest

View all badges →