/explore

Click through on any links that interest you or select the planets on the right to continue exploring the Outer Web.
You are here

 pavpanchekha.com
Defining our Logic
| | blog.sigfpe.com
A Neighborhood of Infinity: Self-referential logic via self-referential circuits
3.7 parsecs away

Travel
| |
| | lawrencecpaulson.github.io
Inductive definitions
2.2 parsecs away

Travel
| |
| | lawrencecpaulson.github.io
Memories: Edinburgh LCF, Cambridge LCF, HOL88
4.3 parsecs away

Travel
| |
| | jdh.hamkins.org
Lectures on the Philosophy of Mathematics, Michaelmas term 2021, Oxford | Joel David Hamkins
30.1 parsecs away

Travel
| Philosophy of Mathematics, Exam Paper 122, Oxford University Wednesdays 12-1 during term, Radcliffe Humanities Lecture Room Joel David Hamkins, Professor of Logic Lucy, Charles - Personifications o...