Arriva Gödel!
Cosa dice esattamente il teorema di Gödel? E perché è così importante? Continue reading
backup del Post
Uno dei blog di .mau.
Tag Archives: logica
Il primo teorema di incompletezza di Gödel
La dimostrazione del teorema di incompletezza di Gödel non è complicatissima, ma è così autoreferenziale che a volte sembra di vedere Ritorno al futuro II. Ho provato a sminuzzarla e descriverla. Continue reading
Prima di Gödel…
I teoremi di incompletezza di Gödel hanno segnato la fine della sicurezza che i matematici hanno avuto per 2500 anni. Cosa è successo prima che arrivasse lui? Continue reading
Le mirabolanti proprietà dell’insieme vuoto
Nella teoria degli insiemi ci sono delle proprietà a prima vista paradossali, eppure perfettamente valide. Non bisogna mai fermarsi alle apparenze! Continue reading