dimostrazione, teoria della

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).