Trovati 1 documenti.
Trovati 1 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.