Filosofia:todistusteoria
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.
Todistusteoria on tinkinyt tavoitteistaan tämän jälkeen ja on saavuttanut merkittäviä voittoja mm. tietokonetieteen parissa.
Equivalents
| proof theory | englanti |
Related Concepts
- metamatematiikka (synonyymi)
Sources
References
Lähdeviittaus tähän sivuun:
Tieteen termipankki 5.2.2023: Filosofia:todistusteoria. (Tarkka osoite: https://tieteentermipankki.fi/wiki/Filosofia:todistusteoria.)