Explore >> Select a destination

You are here

 ncatlab.org
A History of Western Philosophy in nLab
| | smolny.org
Andrei Rodin - Smolny Beyond Borders
5.2 parsecs away

Travel
| | Andrei Rodin Dr. Sc. in Philosophy (St. Petersburg University); Ph.D. in Philosophy (the Institute of Philosophy of Russian Academy of Sciences) former [...]
| | jdh.hamkins.org
Lectures on the philosophy of mathematics, Oxford, Michaelmas term 2019 | Joel David Hamkins
3.5 parsecs away

Travel
| | This will be a series of self-contained lectures on the philosophy of mathematics, given at Oxford University in Michaelmas term 2019. We will be meeting in the Radcliffe Humanities Lecture Room at
| | www.thebigquestions.com
The Generalist at Steven Landsburg | The Big Questions: Tackling the Problems of Philosophy with Ideas from Mathematics, Economics, and Physics
7.4 parsecs away

Travel
| |
| | xenaproject.wordpress.com
The Future of Interactive Theorem Proving? | Xena
32.6 parsecs away

Travel
| This is a guest post, written by Zhangir Azerbayev. Zhangir is an undergraduate at Yale, majoring in computer science and mathematics. He completed this work while visiting Carnegie Mellon's Hoskinson Center for Formal Mathematics. Introduction The history of interactive theorem proving can be told as a story of allowing the user to interact with the...