Matematisk logik: Forskelle mellem versioner
Content deleted Content added
Aputsiaq (diskussion | bidrag) m oversat engelske stump, der ikke var blevet oversat |
m Bot: Kosmetiske ændringer |
||
Linje 60:
Bogen ''Handbook of Mathematical Logic'' inddeler, i grove træk nutidig matematisk logik i fire områder:
# [[mængdelære]]
# [[modelteori]]
# [[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. [[Kurt Gödel|Gödels]] ufuldstændighedssætning markerer ikke blot en milepæl i rekursionsteori og bevisteori, men har også ført til Löbs sætning i modallogikken. Metoden, der på engelsk kaldes forcing, bliver anvendt i mængdelære, modelteori og rekursionsteori, samt i studidet af intuitionistisk matematik.
| |||