Mathematics
Profile Activity
Meta user
Network profile
2,573
reputation
14
25

Benedict Eastaugh

I work on logic and philosophy of mathematics.

40
answers
7
questions
~113k
people reached

Communities (10)

Top network posts

Top tags (41)

Score 108
Posts 27
Posts % 57
Score 50
Posts 5
Score 44
Posts 5
Score 27
Posts 9
Score 20
Posts 13
Score 18
Posts 3
View all tags →

Top posts (47)

All Questions Answers
Votes Newest
25 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 Is a semirecursive (recursively semidecidable) set enumerable? Dec 26 '11
6 Absurd = Inconsistent? Jan 23 '12
6 Ordinals definable over $L_\kappa$ Dec 30 '12
View all questions and answers →

Badges (39)

Gold

—

Silver

14

Rarest

Bronze

25

Rarest

View all badges →

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.