Explore >> Select a destination
|
You are here 
|
mattbaker.blog | ||
| | | | |
divisbyzero.com
|
|
| | | | | ||
| | | | |
mathmunch.org
|
|
| | | | | Welcome to this week's Math Munch! Did you see the Google doodle on Monday? This medley of Platonic solids, graphs, and imaginary numbers honors the birthday of mathematician and physicist Leonhard Euler. (His last name is pronounced "Oiler." Confusing because the mathematician Euclid's name is not pronounced "Oiclid.") Many mathematicians would say that Euler was... | |
| | | | |
jdh.hamkins.org
|
|
| | | | | This will be a graduate course at the University of Notre Dame. Course title: Gödel incompleteness Course description. We shall explore at length all aspects of the Gödel incompleteness phenomenon,... | |
| | | | |
unstableontology.com
|
|
| | | (note: some readers may find the LaTeX more readable on LessWrong.) In this post I prove a variant of Gödel's completeness theorem. My intention has been to really understand the theorem, so that I am not simply shuffling symbols around, but am actually understanding why it is true. I hope it is helpful for at... | ||
