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 [...] del minimo', cioè se ogni suo sottoinsieme non vuoto ha un primo elemento. In tal caso è possibile stabilire l'isomorfismo per ricorsione primitiva (associando a 0 il primo elemento e a S(x) il successore dell'elemento associato a x), e il principio ...
Leggi Tutto
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
La logica e i fondamenti della matematica tra Ottocento e Novecento
Mario Piazza
I fondamenti della geometria
Nella seconda metà dell’Ottocento, in tutta Europa il baricentro delle ricerche geometriche [...] Lehrbuch der Arithmetik für höhere Lehrenstalten (1861) di Grassmann, da cui attinge l’importanza delle definizioni per ricorsione; poi passa a elencare vari risultati aritmetici derivabili dai suoi assiomi, inclusi alcuni teoremi degli Elementi di ...
Leggi Tutto