Il puteti descarca de aici
O demonstratie a lemei lui Zorn (Teoria multimilor)
Moderator: Beniamin Bogosel
-
Cezar Lupu
- Site Admin
- Posts: 612
- Joined: Wed Sep 26, 2007 2:04 pm
- Location: Bucuresti sau Constanta
- Contact:
O demonstratie a lemei lui Zorn (Teoria multimilor)
Se pare ca Liviu este primul care sparge gheata cu articolele pe acest forum. In articolul atasat este prezentata o demonstratie a faimoasei leme a lui Zorn.
Il puteti descarca de aici
Il puteti descarca de aici
Last edited by Cezar Lupu on Fri Oct 26, 2007 12:19 am, edited 1 time in total.
An infinite number of mathematicians walk into a bar. The first one orders a beer. The second orders half a beer. The third, a quarter of a beer. The bartender says “You’re all idiots”, and pours two beers.
-
Alin Galatan
- Site Admin
- Posts: 247
- Joined: Tue Sep 25, 2007 9:24 pm
- Location: Bucuresti/Timisoara/Moldova Noua
-
Cezar Lupu
- Site Admin
- Posts: 612
- Joined: Wed Sep 26, 2007 2:04 pm
- Location: Bucuresti sau Constanta
- Contact:
Da, in cele din urma asa se pare. 
E un articol pe tema asta in American Mathematical Monthly prin 2002. Liviu il stie ca i l-am aratat. 
P.S. De fapt in acel articol din AMM este prezentata si relatia dintre axioma alegerii si ipoteza continuului.
E un articol pe tema asta in American Mathematical Monthly prin 2002. Liviu il stie ca i l-am aratat. P.S. De fapt in acel articol din AMM este prezentata si relatia dintre axioma alegerii si ipoteza continuului.
An infinite number of mathematicians walk into a bar. The first one orders a beer. The second orders half a beer. The third, a quarter of a beer. The bartender says “You’re all idiots”, and pours two beers.
-
Liviu Paunescu
- Pitagora
- Posts: 84
- Joined: Wed Sep 26, 2007 6:57 pm
Lema lui Zorn este echivalenta cu AC, in sensul ca folosind lema lui Zorn se poate demonstra axioma alegerii si astfel se inchide un cerc. Faptul ca lema lui Zorn (si implicit si AC) nu poate fi demonstrata din axiomele ZF este o cu totul alta poveste.
Acest lucru a venit o data cu indecidabilitatea CH (ipoteza continuului) fata de ZF folosind aceasi metoda "forcing" dezvoltata de Paul Cohen in 1962-63 si pentru care a primit premiul Fields in 1966.
Acest lucru a venit o data cu indecidabilitatea CH (ipoteza continuului) fata de ZF folosind aceasi metoda "forcing" dezvoltata de Paul Cohen in 1962-63 si pentru care a primit premiul Fields in 1966.