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 |