Navigacija
Lista poslednjih: 16, 32, 64, 128 poruka.

Paul Koen, Gedel i Kantor

[es] :: Matematika :: Paul Koen, Gedel i Kantor

[ Pregleda: 1461 | Odgovora: 1 ] > FB > Twit

Postavi temu Odgovori

Autor

Pretraga teme: Traži
Markiranje Štampanje RSS

Fitopatolog
Dušan Marjanov
Novi Sad

Član broj: 90936
Poruke: 683
*.dynamic.isp.telekom.rs.



+3 Profil

icon Paul Koen, Gedel i Kantor26.09.2010. u 20:57 - pre 165 meseci
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?
 
Odgovor na temu

Nedeljko
Nedeljko Stefanović

Član broj: 314
Poruke: 8632
*.dynamic.sbb.rs.



+2789 Profil

icon Re: Paul Koen, Gedel i Kantor28.09.2010. u 11:16 - pre 165 meseci
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.
Nije bitno koji su zaključci izvučeni, već kako se do njih došlo.
 
Odgovor na temu

[es] :: Matematika :: Paul Koen, Gedel i Kantor

[ Pregleda: 1461 | Odgovora: 1 ] > FB > Twit

Postavi temu Odgovori

Navigacija
Lista poslednjih: 16, 32, 64, 128 poruka.