Filosofia:todistusteoria

    Tieteen termipankista

    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 theoryenglanti (English)

    Lähikäsitteet

    Käytetyt lähteet

    AudiR1995

    Alaviitteet

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