Forcing

Från Rilpedia

Version från den 10 februari 2009 kl. 15.34 av LA2-bot (Diskussion)
(skillnad) ← Äldre version | Nuvarande version (skillnad) | Nyare version → (skillnad)
Hoppa till: navigering, sök
Wikipedia_letter_w.pngTexten från svenska WikipediaWikipedialogo_12pt.gif
rpsv.header.diskuteraikon2.gif
icon_anmal.gif
rp-wp-sv.gif

Inom mängdteorin är forcing en metod för att konstruera universa för mängdteorin i syfte att visa att vissa mängdteoretiska påståenden är oavgörbara, det vill säga varken kan bevisas eller motbevisas utifrån mängdteorins axiom.

Metoden utvecklades av Paul Cohen för att konstruera ett universum där 2^{\aleph_0}=\aleph_2 och därigenom visa att kontinuumhypotesen inte kan bevisas i ZFC.

Hämtad från "https://sv.rilpedia.org/wiki/Forcing"
Personliga verktyg