Matematiikka:teoria
Tällä käsitteellä ei ole otsikon muodostavia nimityksiä.
| teoria |
Määritelmä
1. joukko väitelauseita
2. joukko väitelauseita, jotka on todistettu samoista oletuksista
2. joukko väitelauseita, jotka on todistettu samoista oletuksista
Selite
1. Matemaattisessa logiikassa teoria määritellään joukkona jollakin formaalisella kielellä kirjoitettuja lauseita. Näin määriteltynä teoria voi periaatteessa olla ristiriitainenkin, eli siihen saattaa sisältyä sellaisia lauseita, jotka ovat keskenään ristiriidassa eivätkä siis voi olla yhtä aikaa totta. Puhutaankin erikseen ristiriidattomista teorioista.
2. Matematiikassa teoriaksi sanotaan usein myös joukkoa väittämiä, jotka on todistettu lähtien samoista oletuksista, joita sanotaan teorian aksioomiksi.
2. Matematiikassa teoriaksi sanotaan usein myös joukkoa väittämiä, jotka on todistettu lähtien samoista oletuksista, joita sanotaan teorian aksioomiksi.
Erikieliset vastineet
| theory | englanti (English) |
Alaviitteet
Lähdeviittaus tähän sivuun:
Tieteen termipankki 5.12.2025: Matematiikka:teoria. (Tarkka osoite: https://tieteentermipankki.fi/wiki/Matematiikka:teoria.)