Explore >> Select a destination
|
You are here 
|
carcinisation.com | ||
| | | | |
dvt.name
|
|
| | | | | Gödel's incompleteness theorems have been hailed as "the greatest mathematical discoveries of the 20th century" - indeed, the theorems apply not only to mathematics, but all formal systems and have deep implications for science, logic, computer science, philosophy, and so on. In this post, I'll give a simple but rigorous sketch of Gödel's First Incompleteness ... | |
| | | | |
www.logicmatters.net
|
|
| | | | | 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 [...] | |
| | | | |
divisbyzero.com
|
|
| | | | | After writing about some well known people with degrees in mathematics, I was moved to re-listen to some old Tom Lehrer songs on YouTube. I decided I'd post some links to his more mathematical songs here. Enjoy. First, "Lobachevsky," a song about the Russian mathematician Nikolai Lobachevsky and his discovery of non-Euclidean geometry, which some... | |
| | | | |
www.logicmatters.net
|
|
| | | Quick links Download PDF of An Introduction to Gödel's Theorems. Download PDF of Gödel Without (Too Many) Tears. The big book An Introduction to Gödel's Theorems was first published by CUP in 2007 with the second edition appearing in 2013. A corrected version of the second edition is nowavailable as a freely downloadable PDF. Many [...] | ||
