Matematisk logik: Forskelle mellem versioner
Content deleted Content added
m Robot fjerner no:Predikatslogikk (strong connection between (2) da:Matematisk logik and no:Formal logikk) |
Gecko (diskussion | bidrag) mNo edit summary |
||
Linje 1:
<!-- denne artikel er en direkte, blot delvis oversættelse af den engelske som desværre slutter abrupt indtil videre -->
'''Matematisk logik''' (også kendt som '''symbolsk logik''') er et felt i [[matematik]]ken med tæt forbindelse til [[matematikkens grundlag]], [[datalogi]] og [[Logik|filosofisk logik]].<ref>Tekster på bachelorniveau inkluderer Boolos, Burgess og Jeffrey [[#CITEREFBoolosBurgessJeffrey2002|(2002)]], [[Herbert Enderton|Enderton]] [[#CITEREFEnderton2001|(2001)]], samt Mendelson [[#CITEREFMendelson1997|(1997)]]. En klassisk tekst på kandidatniveau af Shoenfield [[#CITEREFShoenfield2001|(2001)]] kom frem i 1967.</ref> Feltet inkluderer både det matematiske studie af [[logik]] og anvendelsen af formel logik på andre områder af matematikken. De samlende temaer i matematisk logik inkluderer studiet af udtrykskraften i [[formelle systemer]] og den deduktive kraft af formelle systemer for [[matematisk bevis|beviser]].
Matematisk logik deles ofte ind i felterne [[mængdelære]], [[modelteori]], [[rekursionsteori]] og [[bevisteori]]. Disse områder deler grundlæggende resultater fra logikken, særligt [[førsteordens prædikatslogik|prædikatslogik]] og definérbare sæt. I datalogien (særligt i det engelske [[ACM Computing Classification System|ACM Classification]]), omfatter matematisk logik yderligere emner, der ikke indgår i denne artikel.
| |||