Epistemologia Libri
Libri pubblicati nella collana Epistemologia Matematica
LIBRO 9788820439910
The legacy of A. M. Turing Agazzi E. (Cur.) - Franco Angeli, 2013 - Epistemologia
The legacy of A. M. Turing - Franco Angeli
€ 30.00
LIBRO 9788846485212
Categoricità e modelli intesi. Temi di filosofia dell'aritmetica del secondo ordine De Florio Ciro L. - Franco Angeli, 2007 - Epistemologia
Il volume rintraccia i presupposti ontologici in base ai quali ha senso un discorso sull'ammissibilità o meno della logica del secondo ordine. Viene fornita una trattazione, tecnicamente dettagliata, dei calcoli di ordine superiore e dell'aritmetica di Peano del secondo ordine. Sono poi presi in esame gli interessanti nessi metateorici che emergono dallo studio di questi particolari sistemi formali. La nozione fondamentale è quella di modello inteso dei numeri naturali e cioè di quel particolare sistema di oggetti che rende veri gli assiomi di Peano.
€ 24.00