“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/

Autore: Andrea Nicola :-)

Ciao e benvenuti! :-) Sono andrea nicola e questo sito è nato il 28 maggio 2017 ... :-) Per saperne di più su di me e delle mie personali ricerche: https://drive.google.com/file/d/0B_KZFJe8QtzARC01RUxxb0UxbzQ/view :-)

Lascia un commento