L'aritmetica è il cuore della matematica. Essa è la disciplina che studia la struttura dei numeri naturali. L'aritmetica non è tuttavia costituita da una unica teoria. Le leggi dei numeri naturali si possono inquadrare in una gerarchia di teorie che partendo dal sistema elementare Q arrivano fino ai sistemi molto potenti dell'aritmetica degli ordini superiori. Nel presente volume - come lo stesso titolo Sistemi dell'aritmetica da Q a PA suggerisce - sono trattati alcuni sotto-sistemi dell'aritmetica del primo ordine, a partire dal sistema di Robinson Q fino al sistema dell'aritmetica di Peano PA. La trattazione di questi sistemi si articola nella presentazione del sistema (assiomi o regole specifiche) e nella derivazione all'interno di ciascuno di essi di una porzione dell'aritmetica. L'aritmetica di Peano risulta così suddivisa nella serie di sotto-sistemi di PA seguente: Q, Iop, IDelta0, ISigma1, di cui ciascuno è estensione del sistema precedente. La trattazione avviene in parte attraverso l'uso del mu-operatore. Ciò in particolare per gli ultimi due. I sistemi IDelta0 e ISigma1 costruiti secondo il metodo del mu-operatore presentano un vantaggio pratico insostituibile nella pratica della derivazione. ISigma1 è, tra tutti, il sistema più importante. Infatti ISigma1 corrisponde al sistema dell'aritmetica ricorsiva PRA, nel senso che tutte le funzioni ricorsive primitive - tipiche di PRA - sono definibili in ISigma1 e che le funzioni definibili in ISigma1 coincidono esattamente con le funzioni ricorsive primitive. Nel presente lavoro è dimostrata solo la prima parte di tale corrispondenza.

Galvan, S., Sistemi dell'Aritmetica da Q a PA, ISU - Università Cattolica del Sacro Cuore, Milano 2007: 370 [http://hdl.handle.net/10807/26431]

Sistemi dell'Aritmetica da Q a PA

Galvan, Sergio
2007

Abstract

L'aritmetica è il cuore della matematica. Essa è la disciplina che studia la struttura dei numeri naturali. L'aritmetica non è tuttavia costituita da una unica teoria. Le leggi dei numeri naturali si possono inquadrare in una gerarchia di teorie che partendo dal sistema elementare Q arrivano fino ai sistemi molto potenti dell'aritmetica degli ordini superiori. Nel presente volume - come lo stesso titolo Sistemi dell'aritmetica da Q a PA suggerisce - sono trattati alcuni sotto-sistemi dell'aritmetica del primo ordine, a partire dal sistema di Robinson Q fino al sistema dell'aritmetica di Peano PA. La trattazione di questi sistemi si articola nella presentazione del sistema (assiomi o regole specifiche) e nella derivazione all'interno di ciascuno di essi di una porzione dell'aritmetica. L'aritmetica di Peano risulta così suddivisa nella serie di sotto-sistemi di PA seguente: Q, Iop, IDelta0, ISigma1, di cui ciascuno è estensione del sistema precedente. La trattazione avviene in parte attraverso l'uso del mu-operatore. Ciò in particolare per gli ultimi due. I sistemi IDelta0 e ISigma1 costruiti secondo il metodo del mu-operatore presentano un vantaggio pratico insostituibile nella pratica della derivazione. ISigma1 è, tra tutti, il sistema più importante. Infatti ISigma1 corrisponde al sistema dell'aritmetica ricorsiva PRA, nel senso che tutte le funzioni ricorsive primitive - tipiche di PRA - sono definibili in ISigma1 e che le funzioni definibili in ISigma1 coincidono esattamente con le funzioni ricorsive primitive. Nel presente lavoro è dimostrata solo la prima parte di tale corrispondenza.
2007
Italiano
Monografia o trattato scientifico
ISU - Università Cattolica del Sacro Cuore
Galvan, S., Sistemi dell'Aritmetica da Q a PA, ISU - Università Cattolica del Sacro Cuore, Milano 2007: 370 [http://hdl.handle.net/10807/26431]
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/10807/26431
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact