/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
Lectures on the Philosophy of Mathematics, Michaelmas term 2021, Oxford | Joel David Hamkins
| | www.logicmatters.net
Two shorter book notes - Logic Matters
2.6 parsecs away

Travel
| | Yuri Manin who died last year was a seriously distinguished mathematician, being - for instance - one of the first recipients of the Schock Prize for mathematics. His interests ranged very widely, from algebra and topology to quantum field theory. So A Course in Mathematical Logic for Mathematicians (1977 translation, Springer) is written by an [...]
| | richardzach.org
W. W. Tait, 1929-2024 - Richard Zach
1.6 parsecs away

Travel
| | The eminent proof theorist and philosopher of mathematics William Walker ("Bill") Tait died March 15, 2024 in Chicago. He was 95. Bill was born on January 22, 1929, in Freeport, NY, and...
| | lawrencecpaulson.github.io
Memories: Edinburgh LCF, Cambridge LCF, HOL88
3.4 parsecs away

Travel
| |
| | nickdrozd.github.io
Proving the Second Incompleteness Theorem from the First | Something Something Programming
19.3 parsecs away

Travel
| Goedel's first incompleteness theorem is the claim that any sound, consistent formal system of sufficient power is incomplete; that is, there are statements in the language of the system that can neither be proved nor disproved. Traditionally the theorem is proved by exhbiting a statement g which is provably equivalent to a statement encoding its own disprovability in the system S.