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 [...] Attraverso i lavori di Paul Bernays, David Hilbert, Rózsa Péter e Thoralf Skolem si scoprì che non si natura logica o deduttiva si possono simulare mediante un computer. Norbert Wiener (1894-1964) e Turing hanno addirittura lasciato cadere ogni ... Leggi Tutto