todistusteoria


todistusteoria

Määritelmä matemaattisen logiikan haara, joka tutkii joukko-opin ja matematiikan perusteita

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

Erikieliset vastineet

proof theory

englanti (English)

Lähikäsitteet

metamatematiikka (synonyymi)

Käytetyt lähteet

AudiR1995

Alaviitteet

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

Siirry tarkastelemaan sivun muokkaushistoriaa →