Teoria della dimostrazione

La teoria della dimostrazione è la branca della logica matematica che considera le dimostrazioni a loro volta come oggetti matematici, facilitando la loro analisi con tecniche matematiche. Le dimostrazioni sono solitamente presentate come strutture dati definite induttivamente (ad esempio, liste o alberi), costruite secondo gli assiomi e le regole di inferenza del sistema logico.

Assieme alla teoria dei modelli, alla teoria assiomatica degli insiemi e alla teoria della calcolabilità, la teoria della dimostrazione fa parte dei cosiddetti quattro pilastri dei fondamenti della matematica.

Voci correlate

• Teoria dei modelli
• Teoria assiomatica degli insiemi
• Teoria della calcolabilità

Collegamenti esterni

• Teoria della dimostrazione in Tesauro del Nuovo Soggettario. BNCF, marzo 2013

Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica