La seconda rivoluzione scientifica: matematica e logica. Teoria della ricorsivita
Piergiorgio Odifreddi
Teoria della ricorsività
La teoria della ricorsività affronta lo studio delle funzioni con lo [...] da un computer. L'insolubilità del problema della fermata dimostra che esistono insiemiricorsivamenteenumerabili ma non ricorsivi. Poiché per ogni insiemericorsivamenteenumerabile esiste un programma x che si ferma sull'argomento z se e solo ...
Leggi Tutto
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 [...] . Ma per (a)-A = {n∣T⊬¬ψn(n)}={n∣T⊦ψn(n)}, dunque −A è ricorsivamenteenumerabile. Poiché sia A sia −A sono ricorsivamenteenumerabili, A è un insiemericorsivo. Perciò esiste un j tale che ψj(a) rappresenta A in T, cioè per ogni n:
b) se n ...
Leggi Tutto