HL & CORRADO MALANGA: VERSO IL MONDO FELICE
OLTRE IL LOOP- Parte seconda – Kurt Gödel
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 Leggi tutto…
