Corrado Malanga. Dalla teoria del Tutto, domande sul passato e sul futuro dell’Umanità
“Oltre il Loop” parte 2 – Kurt Gödel – di Corrado Malanga (25/11/2017)
Il Teorema di incompletezza di Gödel (1931)
In ogni formalizzazione coerente della matematica che sia sufficientemente potente da poter assiomatizzare la teoria elementare dei numeri naturali- vale a dire, sufficientemente potente da definire la struttura dei numeri naturali dotati delle operazioni di somma e prodotto – è possibile costruire una preposizione sintatticamente corretta che non può essere né dimostrata né confutata all’interno dello stesso sistema ( 1° Teorema di Gödel).
continua su: http://www.humanlandia.it/oltre-il-loop-parte-seconda-kurt-godel/