Explore >> Select a destination


You are here

www.umsu.de
| | www.logicmatters.net
3.8 parsecs away

Travel
| | 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 [...]
| | jdh.hamkins.org
4.8 parsecs away

Travel
| | This will be a series of lectures on the philosophy of mathematics, given at Oxford University, Michaelmas term 2018. The lectures are mainly intended for undergraduate students preparing for exam ...
| | carcinisation.com
5.0 parsecs away

Travel
| | 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...
| | ianwrightsite.wordpress.com
29.6 parsecs away

Travel
| Riemann's Zeta function is an infinite sublation of Hegelian integers.