Trovati 2 documenti.
Trovati 2 documenti.
La logica, il metodo assionatico e la rpoblematica metateorica / Marco Borga
Abstract: 1. Introduzione. 2. La logica algebrica. 3. La logica degli "Arithmetices principia" di Peano. 4. L'assiomatizzazione della logica. 5. Ulteriori sviluppo della logica peaniana. 6. Il metodo assiommatico. 7. Le definizioni implicite. 8. Il metodo di Padoa e la problematica metateorica. 9. L'antinomia di Burali-Forti.
I fondamenti della teoria dei numeri e l'analisi / di Dario Palladino
Abstract: 1. Introduzione. 2. Gli "Arithmetices principia, nova methodo exposita", di Peano. 3. "Sul concetto di numero" di Penao, e ulteriori sviluppi. 4. Contributi della scuola di Peano alla teoria dei numeri naturali. 5. Confronto tra l'impostazione dell'aritmentica in peano e in Dedekind. 6. Confronto tra l'impostazione dell'aritmentica in Peano e in Frege. 7. I rapporti tra l'opera di Peano e quella di Russell. 8. I numeri interi. 9. I numeri razionali. 10. I numeri reali. 11. I contributi di peanoall'analisi. 12. Il "Formulario mathematico" di Peano.