Kako je Paul Koen koristio Goedelove radove da bi došao do zaključka da se hipoteza o kontinuumu (t.j. o postojanju Kantorovih transfinitnih brojeva) ne može ni dokazati ni opovrgnuti?
Paul Koen, Gedel i Kantor
Zaključano
Zakačeno
Gedel je dokazao da ako je teorija skupova neprotivrečna, u njoj se nontinuum hipoteza ne može opovrgnuti. Takođe, uveo je važne pojmove vezane za modele teorije skupova, kao što su tranzitivnost i apsolutnost, koji se koriste i u Koenovoj forsing metodi, mada je forsing daleko složeniji od toga.
Potpis
Nije bitno koji su zaključci izvučeni, već kako se do njih došlo.
1Sviđa mi se :thumbsup: 1