Filosofia:metamatematiikka

From Tieteen termipankki
Jump to: navigation, search

metamatematiikka

metamatematiikka
Definition teoria matemaattisista teorioista ja niiden luotettavuudesta
Explanation 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.

Equivalents

metamathematicsenglanti

Related Concepts

Sources

SalonenT2008, AudiR1995

References

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


Siirry tarkastelemaan sivun muokkaushistoriaa →