Teoria della dimostrazione
Vai alla navigazione
Vai alla ricerca
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à.
Voci correlate[modifica | modifica wikitesto]
Collegamenti esterni[modifica | modifica wikitesto]
- (EN) Eric W. Weisstein, Teoria della dimostrazione, su MathWorld, Wolfram Research.
| Controllo di autorità | Thesaurus BNCF 4936 · LCCN (EN) sh85107437 · BNF (FR) cb122670310 (data) · J9U (EN, HE) 987007541259805171 · NDL (EN, JA) 01190375 |
|---|
