Areas of Specialization
| Philosophy of Language |
| Logic and Philosophy of Logic |
| Philosophy of Mathematics |
Areas of Interest
| Epistemology |
| Aesthetics |
| 20th Century Philosophy |
| General Philosophy of Science |
PhilPapers Editorships
1 more
| Mathematical Proof |
| Godel's Theorem |
| Computer Proof |
| Probabilistic Proof |
| Undecidability |
| Mathematical Proof, Misc |