Explore >> Select a destination
|
You are here 
|
dvt.name | ||
| | | | |
jdh.hamkins.org
|
|
| | | | | This will be a series of self-contained lectures on the philosophy of mathematics, given at Oxford University in Michaelmas term 2019. We will be meeting in the Radcliffe Humanities Lecture Room at | |
| | | | |
www.quantamagazine.org
|
|
| | | | | His incompleteness theorems destroyed the search for a mathematical theory of everything. Nearly a century later, we're still coming to grips with the... | |
| | | | |
daniellefong.com
|
|
| | | | | The following occurred to me on a run about two years ago: It's not given much press, but the the Halting Problem is intimately related to Gödel's First Incompleteness Theorem. Indeed it produces it as a correllary. Historically, Gödel's incompleteness results were proved by hacking arithmetic into a Turing complete system, and this is still... | |
| | | | |
sansmap.wordpress.com
|
|
| | | hand written text by shel silverstein, poem published in his book 'Falling Up'; 1996 | ||
