Includi: tutti i seguenti filtri
× Livello Analitici
× Soggetto Matematica - Fondamenti
× Nomi Borga, Marco

Trovati 1 documenti.

La logica, il metodo assionatico e la rpoblematica metateorica
0 0
Analitici

Borga, Marco

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.