Matematiikka:matemaattinen logiikka
Tällä käsitteellä ei ole otsikon muodostavia nimityksiä.
| matemaattinen logiikka | |||
| logiikka |
Määritelmä
matematiikan alue, jolla tutkitaan formaalin logiikan käyttöä matematiikassa
Selite
Logiikassa voidaan tutkia esimerkiksi sitä, miten yhdestä lauseesta saadaan seurauksena toisia lauseita, miten lausejoukkoja voidaan yhdistää implikaatioketjuilla tai milloin lausejoukot ovat ristiriidattomia. Logiikassa tutkitaan myös sitä, millaisia erilaisia struktuureja saadaan eri aksioomajoukoista. Matemaattisen logiikan tutkimus liittyy usein matematiikan perusteisiin, eli siinä tutkitaan sitä, mihin matematiikka perustuu. Tästä syystä matemaattisella logiikalla on yhteyksiä filosofiaan.
Erikieliset vastineet
| logic | englanti (English) | |
| mathematical logic | englanti (English) |
Lähikäsitteet
- [[Matematiikan ala|]] (yläkäsite)
Alaviitteet
Lähdeviittaus tähän sivuun:
Tieteen termipankki 5.12.2025: Matematiikka:matemaattinen logiikka. (Tarkka osoite: https://tieteentermipankki.fi/wiki/Matematiikka:matemaattinen logiikka.)