La seconda rivoluzione scientifica: matematica e logica. I teoremi di incompletezza di Godel
Carlo Cellucci
I teoremi di incompletezza di Gödel
Nei giorni 5-7 settembre 1930 ebbe luogo a Königsberg [...] aggiunge il sistema T delle asserzioni e degli assiomi transfiniti, e se poi a partire da S si dimostra metodo dimostrativo finitario è il procedimento di dimostrazione per induzione applicato ad asserzioni finitarie. Ciò che è caratteristico del ...
Leggi Tutto