Back Bewysteorie Afrikaans نظرية البرهان Arabic প্রমাণ তত্ত্ব Bengali/Bangla Teoria de la demostració Catalan Beweistheorie German Proof theory English Pruvteorio Esperanto Teoría de la demostración Spanish نظریه برهان Persian Théorie de la démonstration French
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.
La teoria della dimostrazione non solo gioca un ruolo primario nella teoria dei linguaggi di programmazione, ma è anche uno dei cosiddetti quattro pilastri dei fondamenti della matematica, assieme alla teoria dei modelli, alla teoria assiomatica degli insiemi e alla teoria della calcolabilità.
© MMXXIII Rich X Search. We shall prevail. All rights reserved. Rich X Search