Stats
28,772
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 (22)
 Mathematics 208.2k 208.2k 1818 gold badges255255 silver badges461461 bronze badges
 MathOverflow 28.8k 28.8k 44 gold badges7777 silver badges220220 bronze badges
 Philosophy 3k 3k 11 gold badge1313 silver badges1818 bronze badges
 Computer Science 2.2k 2.2k 66 silver badges1515 bronze badges
 Academia 712 712 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