verificare [dal lat. mediev. verificare, comp. di verus "vero" e tema di facĕre "fare"] (io verìfico, tu verìfichi, ecc.). - ■ v. tr. 1. [operare prove e controlli sulla regolarità, il buon funzionamento [...] libri contabili), provare, saggiare, testare, [spec. conti, documenti] riscontrare. 2. (filos.) [dare dimostrazionedell'esattezza, della fondatezza di una teoria, di una tesi e sim.: v. sperimentalmente un'ipotesi] ≈ appurare, comprovare, confermare ...
Leggi Tutto
Dimostrazione, teoria della
Jean-Yves Girard
La teoria della dimostrazione nasce negli anni Venti del Novecento come strumento di realizzazione del programma di David Hilbert per la fondazione della matematica. In quanto tale, ha avuto sin...
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...