/explore
|
You are here 
|
jdh.hamkins.org | ||
| | | | |
richardzach.org
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... |
|
| | | | | ||
| | | | |
www.logicmatters.net
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 [...] |
|
| | | | | ||
| | | | |
neilmadden.blog
I saw another article on Gödel's incompleteness theorems linked from Reddit today. It's a topic I've wanted to write about for some time. Although many articles do a decent job in giving an idea of what the big deal is (and this one is pretty good), they can sometimes give a misleading impression of what... |
|
| | | | | ||
| | | | |
alexn.org
|
|
| | | |||
