Disclaimer: Dieser Thread wurde aus dem alten Forum importiert. Daher werden eventuell nicht alle Formatierungen richtig angezeigt. Der ursprüngliche Thread beginnt im zweiten Post dieses Threads.
Re: Vollständigkeit/Unvollständigkeit/Nichtstandard-Modelle
Ich hab da mal Dinge geschrieben, vor geraumer zeit.
Zu Gödel: http://blog.logicalphalluses.net/2016/06/13/why-i-tattooed-godel-on-my-arm/
Zu Peano/Unvollständigkeit/Nichtstandardmodellen: http://www.jazzpirate.com/Math/Logik.pdf alles ab einschließlich section 2.9
3 Likes
Toller Artikel zu Gödels Incompletness Theorem. So gut hatte ich es davor noch nicht verstanden.