Matematisk logik: Forskelle mellem versioner
Content deleted Content added
m Robot tilføjer ky:Математикалык логика |
Aputsiaq (diskussion | bidrag) m oversat engelske stump, der ikke var blevet oversat |
||
Linje 41:
==== Symbolsk logik ====
[[Leopold Löwenheim]] ([[#CITEREFL.C3.B6wenheim1915|1915]]) og [[Thoralf Skolem]] ([[#CITEREFSkolem1920|1920]])
[[Kurt Gödel]] beviste [[fuldstændighedsteorem]]et i sin doktorafhandling([[#CITEREFGödel1929|1929]]), der fastlægger en korrespondance mellem syntaks og semantik i [[prædikatslogik|førsteordens prædikatslogik]]. Gödel anvendte fuldstændighedsteoremet til at bevise [[kompakthedsteorem]]et, der demonstrerede finitte natur af logiske konskevenser af første ordener. Disse resultater bidrog til at etablere en førsteordens prædikatslogik som den dominerende logik, der anvendes af matematikere.
|