Filosofia:metamatematiikka
metamatematiikka
| metamatematiikka |
teoria matemaattisista teorioista ja niiden luotettavuudesta
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
| metamathematics | englanti (English) |
Lähikäsitteet
- malliteoria
- metalogiikka
- metateoria
- todistusteoria (synonyymi)
Käytetyt lähteet
Alaviitteet
Lähdeviittaus tähän sivuun:
Tieteen termipankki 10.2.2026: Filosofia:metamatematiikka. (Tarkka osoite: https://tieteentermipankki.fi/wiki/Filosofia:metamatematiikka.)