Kategori:Matematisk logik
Wikimedia-kategori / From Wikipedia, the free encyclopedia
Matematisk logik har betydninger, der er i almindelig brug. Oprindeligt henførte matematisk logik til symbolik eller formel logik, og herefter blev matematisk logik associeret med undersøgelsen af matematiks logiske grundlag (endda filosofiske).
Matematisk logik inddeles i fire dele. Opdelingen er ikke skarp og kan derfor overlappe:
- Modelteori
- Bevisteori
- Rekursionsteori
- Mængdeteori