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 [...] -1962), che scoprì nel 1928 una funzione 'facilmente' calcolabile che non è ricorsiva primitiva, utilizzando un procedimento detto diagonalizzazione che risale a Georg Cantor (1845-1918).
Nei primi anni Trenta ci si cominciò a chiedere quale fosse ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Le logiche modali
Fabio Bellissima
Paolo Pagli
Le logiche modali
L'Organon di Aristotele, atto di nascita della logica formale, comprende, oltre [...] di un operatore che traducesse le proprietà del predicato 'Teor', tra le quali vi è la proprietà della diagonalizzazione (donde il nome dato alle algebre). Indipendentemente, nei Paesi Bassi, lo stesso predicato venne studiato in ambito modale ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La teoria degli insiemi
Gabriele Lolli
La teoria degli insiemi
La teoria degli insiemi è universalmente considerata, nella sua concezione e impostazione [...] 'insieme da aggiungere deve essere diverso da tutti quelli dell'universo originario, quindi deve risultare una sorta di diagonalizzazione degli insiemi finiti di condizioni, in modo che nessuna approssimazione finita lo forzi a essere uguale a uno di ...
Leggi Tutto