Filosofia:todistusteoria

From Tieteen termipankki

todistusteoria

todistusteoria
Definition matemaattisen logiikan haara, joka tutkii joukko-opin ja matematiikan perusteita
Explanation Todistusteorian kehitti David Hilbert (1862-1943) 1920-luvulla, jolloin hänen pääasiallinen kiinnostuksen kohteensa oli Georg Cantorin (1845-1918) joukko-opin pätevyys. Häntä seurasivat aritmetiikan perusteiden tutkimuksessa mm. Paul Bernays (1888-1977), Wilhelm Ackermann (1896-1962), John von Neumann (1903-1957), Jacques Herbrand (1908-1931), Gerhard Gentzen (1909-1945) ja Kurt Schütte (1909-1998), joiden tulokset olivat kuitenkin rajoitettuja tavoitteisiin nähden ja vuonna 1931 Kurt Gödel (1906-1978) julkaisi epätäydellisyysteoreemansa, joka osoitti selvästi todistusteorian mahdollisuuksien rajat.
Todistusteoria on tinkinyt tavoitteistaan tämän jälkeen ja on saavuttanut merkittäviä voittoja mm. tietokonetieteen parissa.

Equivalents

proof theoryenglanti

Related Concepts

Sources

AudiR1995

References

Lähdeviittaus tähän sivuun:
Tieteen termipankki 5.2.2023: Filosofia:todistusteoria. (Tarkka osoite: https://tieteentermipankki.fi/wiki/Filosofia:todistusteoria.)