Matematik
Formel Logik
09. december 2006 af
DanielPetersen (Slettet)
Hvad menes der med Gödels ufuldstændighedssætning?
Svar #2
09. december 2006 af sigmund (Slettet)
Væn dig til at læse matematiske tekster på engelsk, og se http://mathworld.wolfram.com/GoedelsIncompletenessTheorem.html for en kort introduktion og http://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_theorem med tilhørende links, for en længere introduktion.
Svar #3
09. december 2006 af DanielPetersen (Slettet)
Der findes sætninger som ikke kan bevises eller modbevises. Kan vi finde disse sætninger?
Fx: "En løgner hævder, at han er en løgner." Denne opgave er uløselig, da det er en logisk selvreference.
I 1964 blev kontinuumhypotesen løst. Konklusionen var at kontinuumhypotesen er uløselig.
Fx: "En løgner hævder, at han er en løgner." Denne opgave er uløselig, da det er en logisk selvreference.
I 1964 blev kontinuumhypotesen løst. Konklusionen var at kontinuumhypotesen er uløselig.
Skriv et svar til: Formel Logik
Du skal være logget ind, for at skrive et svar til dette spørgsmål. Klik her for at logge ind.
Har du ikke en bruger på Studieportalen.dk?
Klik her for at oprette en bruger.