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.
54 Are there any Turing-undecidable problems whose undecidability is independent of the Halting problem? Jun 16 '15
53 Avoiding proof by induction Mar 21 '15
41 Opposite of Fermat's Last Theorem? Sep 2 '15
38 Is Aleph 0 a natural number? Oct 16 '15
38 Are there fewer positive integers than all integers? Jun 25 '15
33 When should I be doing cohomology? Dec 30 '14