Bewijstheorie: verschil tussen versies
Verwijderde inhoud Toegevoegde inhoud
kGeen bewerkingssamenvatting |
kGeen bewerkingssamenvatting |
||
Regel 12:
== Geschiedenis ==
Hoewel de formalisering van de logica veel te danken heeft aan het werk van [[Gottlob Frege]], [[Giuseppe Peano]], [[Bertrand Russell]] en [[Richard Dedekind]], wordt [[David Hilbert]] vaak als de grondlegger van de moderne bewijstheorie gezien. Hij initiëerde het
Parallel aan dit bewijstheoretische werk van Gödel, legde [[Gerhard Gentzen]] het fundament voor wat nu bekend staat als [[structurele bewijstheorie]]. In een relatief korte tijdsperiode introduceerde Gentzen de kern formalismen van de natuurlijke deductie (gelijktijdig met en onafhankelijk van Jaskowski), de volgorde-calculus, boekte hij fundamentele vooruitgang bij de formalisering van intuïtionistische logica, introduceerde hij het belangrijke idee van een [[analytisch bewijs]], en leverde hij het eerste combinatorische bewijs van de consistentie van de [[Peano rekenkunde]].
|