Mathematics
Benedict Eastaugh's user avatar
Benedict Eastaugh's user avatar
Benedict Eastaugh's user avatar
Benedict Eastaugh
  • Member for 12 years, 9 months
  • Last seen this week
Profile Activity
Stats
2,873
reputation
158k
reached
40
answers
7
questions
Communities
View all
About

logic/philosophy of mathematics

Badges
View all badges
This user doesn’t have any gold badges yet.
17
silver badges
26
bronze badges
Top tags
View all tags
118
Score
27
Posts
57
Posts %
53
Score
5
Posts
11
Posts %
51
Score
5
Posts
11
Posts %
29
Score
9
Posts
19
Posts %
24
Score
13
Posts
28
Posts %
22
Score
3
Posts
6
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
28
What's the meaning of a set to the power of another set?
Apr 8, 2012
answer
25
Classic type theory textbooks
Feb 25, 2012
answer
17
Rejecting infinity
Sep 22, 2011
answer
17
Troll Maths : Bijection between P(N) and N?
May 23, 2012
answer
12
What's the difference between "$\to$" (implication) and "$\vdash$" (therefore)?
Dec 12, 2011
answer
12
Is there any direct application of Gödel's Theorems outside of logic?
Jun 23, 2012
answer
11
What is the difference between a proposition and a theorem?
Sep 28, 2011
answer
9
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
8
Curry-Howard correspondence
Jul 4, 2012
answer
6
Finite list of axioms of $\mathsf{ACA}_0$ - reference?
Oct 2, 2014
Top network posts
View all network posts
78
Why do professors give talks on published work without their coauthors present at the seminars?
35
Can I write "paper accepted without revisions" on a CV?
20
Recommendation Letter Advice and Examples
11
New research on coding in reverse mathematics?
10
Comparative analysis of history of mathematics

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.