art and architecture bookstore
italiano

email/login

password

remember me on this computer

send


Forgot your password?
Insert your email/login here and receive it at the given email address.

send

chiudi

FB googleplus
ricerca avanzata

Categoricità e modelli intesi. Temi di filosofia dell'aritmetica del secondo ordine

Franco Angeli

Milano, 2007; paperback, pp. 176.
(Epistemologia. 89).

series: Epistemologia

ISBN: 88-464-8521-1 - EAN13: 9788846485212

Languages:  italian text  

Weight: 0.3 kg


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.

YOU CAN ALSO BUY



SPECIAL OFFERS AND BESTSELLERS
€ 19.00

ships in 2/3 weeks


design e realizzazione: Vincent Wolterbeek / analisi e programmazione: Rocco Barisci