Loading AI tools
Da Wikipedia, l'enciclopedia libera
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à.
La formalizzazione della logica fu avanzata dal lavoro di figure come Gottlob Frege, Giuseppe Peano, Bertrand Russell e Richard Dedekind, ma la formazione della teoria della dimostrazione è stata eseguita da David Hilbert.
Controllo di autorità | Thesaurus BNCF 4936 · LCCN (EN) sh85107437 · BNF (FR) cb122670310 (data) · J9U (EN, HE) 987007541259805171 · NDL (EN, JA) 01190375 |
---|
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.