Filosofia:metamatematiikka
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.
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 21.11.2024: Filosofia:metamatematiikka. (Tarkka osoite: https://tieteentermipankki.fi/wiki/Filosofia:metamatematiikka.)