Cerca nel blog...

martedì 28 novembre 2017

"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)..............

Nessun commento:

Posta un commento

Visualizzazioni totali