Stats
30,011
reputation
4k
reached
7
answers
12
questions
Loading…
About
A postdoc at UWMadison (previously a grad student at UCBerkeley), interested in mathematical logic  specifically, computability theory and reverse mathematics, set theory, and abstract model theory. I'm also interested in other Nifty Things, in mathematics and elsewhere.
Communities (21)
 Mathematics 207.3k 207.3k 1818 gold badges252252 silver badges458458 bronze badges
 MathOverflow 30k 30k 44 gold badges7777 silver badges216216 bronze badges
 Philosophy 2.6k 2.6k 11 gold badge1111 silver badges1717 bronze badges
 Computer Science 2.2k 2.2k 66 silver badges1515 bronze badges
 Academia 702 702 77 silver badges1313 bronze badges
 View network profile
Top network posts
 221 Why is it important for a matrix to be square?
 118 Where are the axioms?
 84 What does it mean to suspect that two conjectures are logically equivalent?
 79 Why write ten as $10$ and not as $00$
 78 Is there a bijection between the reals and naturals?
 74 Is mathematics just a bunch of nested empty sets?
 71 What's wrong with this reasoning that $\frac{\infty}{\infty}=0$?
 View more network posts →
This user doesn’t have any gold badges yet.
18

Feb 17 '19

Dec 22 '16

Dec 15 '16
Top tags (16)
Score
36
Posts
12
Posts %
63
Score
16
Posts
7
Score
12
Posts
1