/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

 jdh.hamkins.org
Philosophy of Mathematics and Truth, interview with Matthew Geleta on Paradigm Podcast | Joel David Hamkins
| | eternalstorms.wordpress.com
40 Years of Mac - Some Random Memories | Eternal Storms Software Blog
13.9 parsecs away

Travel
| | This blog has moved. You can find the blog post here. - Matthias mail | website | twitter | instagram | twitch | facebook
| | www.logicmatters.net
Book note: Halbeisen & Krapf, Gödel's Theorems and Zermelo's Axioms - Logic Matters
12.5 parsecs away

Travel
| | A standard menu for a first mathematical logic course might be something like this: (1) A treatment of the syntax and semantics of FOL, presenting a proof system or two, leading up to a proof of a Gödel's completeness theorem (and then a glance at e.g. the compactness theorem and some initial implications). (2) An [...]
| | kpknudson.com
Episode 70 - Joel David Hamkins Kevin Knudson
14.3 parsecs away

Travel
| |
| | www.shellielovesbooks.com
ShellieLovesBooks: Stacking the Shelves #66
27.4 parsecs away

Travel
| [AI summary] A blog post reviewing three recently read books including a historical mystery set in WWI, a novel about Eleanor of Aquitaine's daughters, and a new William Monk mystery, while participating in a community meme.