Explore >> Select a destination
|
You are here 
|
www.logicmatters.net | ||
| | | | |
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... | |
| | | | |
jdh.hamkins.org
|
|
| | | | | Philosophy of Mathematics, Exam Paper 122, Oxford University Wednesdays 12-1 during term, Radcliffe Humanities Lecture Room Joel David Hamkins, Professor of Logic Lucy, Charles - Personifications o... | |
| | | | |
carcinisation.com
|
|
| | | | | Gödel's theorems say something important about the limits of mathematical proof. Proofs in mathematics are (among other things) arguments. A typical mathematical argument may not be "inside" the universe it's saying something about. The Pythagorean theorem is a statement about the geometry of triangles, but it's hard to make a proof of it using nothing... | |
| | | | |
chava61.wordpress.com
|
|
| | | This video of photos I took a few years ago while walking in Corona (NYC) and I thought appropriate for this challenge. https://www.youtube.com/watch?v=Csf9ztGgVDU&pp=ygUZZXZhIG93ZW4gY2hyaXN0bWFzIGNvcm9uYQ%3D%3D | ||
