Filosofia:metamatematiikka

    Tieteen termipankista

    metamatematiikka

    metamatematiikka
    Määritelmä teoria matemaattisista teorioista ja niiden luotettavuudesta
    Selite Matematiikan filosofiassa käytetty termi, joka merkitsee matematiikkaa mahdollisimman yleisessä mielessä, matematiikkana matematiikasta. Siinä tutkitaan matematiikkaa ja erityisesti sen luotettavuutta matematiikan metodein.
    Metamatematiikka syntyi 1870-luvulla ei-eukliidisen geometrian myötä. Termin vakiinnutti David Hilbert (1862-1943) teoksessaan Neubegründung der Mathematik. Erste Mitteilung (1922). Hän kutsui metamatematiikkaa myös nimellä Beweistheorie (todistusteoria). Alfred Tarski (1901-1983) kehitti metamatematiikkaa yleisempään suuntaan ja kutsui sitä nimellä deduktiivisten tieteiden metodologia. Nykyisin Tarskin laajaan käsitteeseen sisältyvät sellaiset tieteenalat kuin metateoria ja metalogiikka, malliteoria ja todistusteoria.

    Erikieliset vastineet

    metamathematicsenglanti (English)

    Lähikäsitteet

    Käytetyt lähteet

    AudiR1995, SalonenT2008

    Alaviitteet

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