Matematisk logik: Forskelle mellem versioner
Content deleted Content added
Aputsiaq (diskussion | bidrag) oversat et teknisk afsnit af engelske version |
Aputsiaq (diskussion | bidrag) mNo edit summary |
||
Linje 64:
#[[rekursionsteori]], og
#[[bevisteori]] og [[konstruktiv matematik]] (betragtes som dele af et enkelt område).
Hvert område har forskelligt fokus, selv om mange teknikker og resultater deles mellem flere områder. Grænselinjerne mellem disse felter, og inddelingerne mellem matematisk logik og andre felter i matematikken, er ikke altid skarpe. [[
Det matematiske felt [[kategoriteori]] anvender mange formelle, aksiomatiske metoder, og inkluderer studiet af [[kategorisk logik]], men kategoriteori bliver normalt ikke anset som en underområde af matematisk logik. Grundet dets anvendelighed i forskellige felter af matematikken, så har matematikere, herunder [[Saunders Mac Lane]] foreslået kategoriteori som et grundlagssystem for matematik, uafhængigt af mængdelæren. Disse grundlag gør brug af [[toposteori]]en, der minder om generaliserede modeller for mængdelæren, der kan gøre brug af klassisk eller ikke-klassisk logik.
|