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

TAG

Teoria della misura

Sistemi formali

Teorema

Logica

Gödel