A graduate student at UC-Berkeley, 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.
50 Are there any Turing-undecidable problems whose undecidability is independent of the Halting problem? jun 16
48 Avoiding proof by induction mar 21
30 When should I be doing cohomology? dec 30
16 Are there more groups than rings? may 20
11 Reference on standard types jun 2 '13
11 Derivative of function is bigger??! aug 16 '13
9 How to define addition through multiplication? apr 3 '13