Matematiikka
Matematiikka on deduktiiviseen päättelyyn perustuva formaali eli käsitteellinen tiede. Matematiikassa tutkitaan muun muassa lukuja, määriä, rakenteita, muutoksia ja avaruuksia. Matemaattisen formalismin mukaan matematiikka on aksiomaattisesti määriteltyjen abstraktien rakenteiden tutkimista symbolisen logiikan ja matemaattisen merkintäjärjestelmän keinoin. Matematiikkaa käytetään fysikaalisten ja käsitteellisten suhteiden ilmaisemisen "kielenä", jonka kielioppi ja käsitteistö on määritelty äärimmäisen tarkkaan. Tämä mahdollistaa asioiden ilmaisemisen yksikäsitteisesti, kun oletetaan loogisten rakenteiden pysyvän muuttumattomina.
Laskettavuus
Laskettavuus tai laskettavuusteoria on teoreettisen tietojenkäsittelytieteen haara, joka tutkii ongelmien ratkeavuutta ja ratkaisemisen tehokkuutta algoritmisesti. Käytännössä laskettavuusteoriassa pyritään selvittämään, voidaanko jokin ongelma ratkaista tietokoneiden avulla vai ei, ja jos voidaan, kuinka tehokkaasti. Tehokkuus voi tarkoittaa joko laskennan vaatimaa aikaa tai muistikapasiteettia.