Dimostrazione, teoria della
Enciclopedia della Matematica (2013)
dimostrazione, teoria della
dimostrazione, teoria della branca della logica fondata da D. Hilbert che ha come oggetto di studio le capacità dimostrative dei sistemi formali. Caduto, a causa delle scoperta di K. Gödel, l’originario obiettivo hilbertiano di una fondazione razionale definitiva delle teorie matematiche attraverso una prova della loro non contraddittorietà, la teoria della dimostrazione si è sviluppata in numerose direzioni autonome, tra le quali, per esempio, una teoria della misura delle capacità dimostrative dei sistemi formali e una teoria delle proprietà intrinseche delle dimostrazioni (→ Gödel, teorema di).