Filosofia:metamatematiikka

Kohteesta Tieteen termipankki
Loikkaa: valikkoon, hakuun

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.

Vieraskieliset vastineet

metamathematicsenglanti

Lähikäsitteet

Käytetyt lähteet

SalonenT2008, AudiR1995

Alaviitteet

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