szukanie zaawansowane
 [ Posty: 2944 ]  Przejdź na stronę Poprzednia strona  1 ... 193, 194, 195, 196, 197
Autor Wiadomość
Mężczyzna Offline
PostNapisane: 24 lip 2018, o 19:08 
Użytkownik
Avatar użytkownika

Posty: 2391
Lokalizacja: Katowice
Quiz utknął, więc dodaję podpowiedź:

autorowi powyższej pracy zawdzięczamy metodę dowodzenia niesprzeczności pewnych zdań teorii mnogości.
Uniwersytet Wrocławski Instytut Matematyczny - rekrutacja 2018
Góra
Mężczyzna Online
PostNapisane: 3 sie 2018, o 18:03 
Moderator

Posty: 767
Lokalizacja: Zabrze
Żeby rozruszać quiz: pewnie to zdanie jest niezależne od ZF. Łatwo widać, że nie jest dowodliwe w ZF (bo jego zaprzeczenie jest dowodliwe w ZFC, a nawet w czymś słabszym), w drugą stronę nie wiem, nie umiem znaleźć żadnego modelu, w którym to zdanie byłoby spełnione . Autorem szukanej pracy jest pewnie Cohen, ale nie umiem dogrzebać się do jakieś pracy, w której by ten problem był formułowany.

Czyli w sumie nie powiedziałem nic odkrywczego.
Góra
Mężczyzna Offline
PostNapisane: 3 sie 2018, o 21:04 
Użytkownik
Avatar użytkownika

Posty: 2391
Lokalizacja: Katowice
Żeby rozruszać: uznaję. Pierwszy model Cohena dopuszczał istnienie nieprzeliczalnego zbioru amorficznego (niepodzielnego na dwa zbiory nieskończone), który na dodatek był zbiorem gęstym na prostej rzeczywistej.

Wzmiankę o tym można znaleźć w:
P. Cohen, Set Theory and The Continuum Hypothesis, W. A. Benjamin, INC., Nowy Jork 1966, s. 138.
Góra
Mężczyzna Online
PostNapisane: 3 sie 2018, o 21:34 
Moderator

Posty: 767
Lokalizacja: Zabrze
Pytanie w jakiś sposób związane z poprzednim: rozważmy pierścień R=\CC \left[ x,y,z \right] oraz R-moduł M=\CC\left( x,y,z \right). Ile wynosi wymiar projektywny (tj. długość najkrótszej rezolwenty projektywnej) M?
Góra
Utwórz nowy temat Odpowiedz w temacie  [ Posty: 2944 ]  Przejdź na stronę Poprzednia strona  1 ... 193, 194, 195, 196, 197


 Zobacz podobne tematy
 Tytuł tematu   Autor   Odpowiedzi 
 Quiz dla zaawansowanych  abc666  8
 Quiz matematyczny - oddawanie pytań  Dzedor  20
 program matematyczny na tel. komórkowy  krb4  1
 Ciekawe zagadnienia matematyczny  wawek91  4
 Talent matematyczny  419862391432  5
 
Atom [Regulamin Forum] [Instrukcja LaTeX-a] [Poradnik] [F.A.Q.] [Reklama] [Kontakt]
Copyright (C) Karpatka.pl