Mathematics
user avatar
user avatar
user avatar
Benedict Eastaugh
  • Member for 11 years, 6 months
  • Last seen this week
Profile Activity
Stats
2,713
reputation
134k
reached
40
answers
7
questions
Communities
View all
About

I work on logic and philosophy of mathematics.

Badges
View all badges
This user doesn’t have any gold badges yet.
15
silver badges
25
bronze badges
Top tags
View all tags
113
Score
27
Posts
57
Posts %
50
Score
5
Posts
11
Posts %
49
Score
5
Posts
11
Posts %
28
Score
9
Posts
19
Posts %
21
Score
13
Posts
28
Posts %
21
Score
3
Posts
6
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
25
Classic type theory textbooks
Feb 25, 2012
answer
24
What's the meaning of a set to the power of another set?
Apr 8, 2012
answer
17
Rejecting infinity
Sep 22, 2011
answer
17
Troll Maths : Bijection between P(N) and N?
May 23, 2012
answer
11
Is there any direct application of Gödel's Theorems outside of logic?
Jun 23, 2012
answer
10
What's the difference between "$\to$" (implication) and "$\vdash$" (therefore)?
Dec 12, 2011
answer
8
Is there any generalization of the hyperarithmetical hierarchy using the analytical hierarchy to formulas belonging to third-order logic and above?
Jan 2, 2013
answer
7
What is the difference between a proposition and a theorem?
Sep 28, 2011
answer
7
Curry-Howard correspondence
Jul 4, 2012
answer
6
Definition and meaning of "Proof Schema", "Class Sign"
Jun 24, 2012
Top network posts
View all network posts
78
Why do professors give talks on published work without their coauthors present at the seminars?
11
New research on coding in reverse mathematics?
9
Is it advisable to have a master or PhD thesis topic in mind before entering graduate school?
8
Fragments of Morse—Kelley set theory
8
Ultrainfinitism, or a step beyond the transfinite

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.