ŚFiNiA

[rafal3006]

Algorytm Fiklita

[fiklit]

O co prosisz? Żebym podał 5 zbiorów a,b,c,d,e
takich że będę w stanie udowodnić
a=>b
b=>c
c=>d
d=>e
e=>a
i że nie będzie zachodziło a=b=c=d=e.
Tak? o to pytasz?

[rafal3006]

[fiklit]

Co to są zbiory wiadome z góry?

[rafal3006]

[fiklit]

A wiadome z góry?

[rafal3006]

[fiklit]

Dalej nie rozumiem, to może podaj jakiś zbiór niewiadomy z góry.

[rafal3006]

...

[rafal3006]

Credo zarozumiałych bufonów, "matematyków" z wypranym mózgiem - na obraz i podobieństwo Idioty i Irbisola:
Twierdzenia matematyczne uważane są za prawdziwe, ponieważ w niczyim interesie nie leży, by uważać je za fałszywe.
Autor: Monteskiusz

Kiedy matematycy mają szansę zrozumieć logikę matematyczną 5-cio latków?

Kubuś - stwórca naszego Wszechświata:
Warunkiem koniecznym zrozumienia algebry Kubusia, logiki matematycznej pod którą podlega nasz Wszechświat żywy i martwy, logiki matematycznej każdego człowieka, od 5-cio latka poczynając na prof. matematyki kończąc, jest wykopanie w kosmos gówna wszech czasów, implikacji materialnej.

Rafał3006 to tylko medium, przez które Kubuś komunikuje się z ziemianami.
Czy ziemscy matematycy mają jakiekolwiek szanse w walce z Kubusiem?

[fiklit]

"Podałeś 5 definicji tego samego trójkąta TP - wszyscy wiem że to są relacje równoważnościowe i w tym przypadku nie musisz korzystać z ostatniego e=>a "
Czy dobrze rozumiem co piszesz:
z 4 pierwszych => muszę skorzystać, a z 5 "e=>a" mogę ale nie muszę. Tak?
Ale muszę aby co i w jakiej konkretnie sytuacji?

Czy Ty twierdzisz że dowodząc jedynie S90=>SIN1=>COS0=>SK=>TP mam pewność równoważności?

Mam prośbę opisz mi konkretnie 3 sytacje, co jest dane, co jest wiadome.
1. sytuacja gdy muszę udowodnić wszystkie 5 =>
2. sytuacja gdy muszę udowodnić tylko 4 =>
3. sytuacja gdy nie muszę udowodnić żadnej z =>.

[rafal3006]

[fiklit]

Dopóki nie udowodnisz, że S90=TP to nie możesz pisać o "e) TP => a) TP ". Nie wiesz jeszcze że w a) S90 masz TP.
I ten cały algorytm ma doprowdzić do tego, że będziesz wiedział że S90=TP.
Wiem, że dla Ciebie może to być skomplikowane, ale nie możesz w dowodzie oprzeć się na tym czego dowodzisz.

[rafal3006]

[fiklit]

Jeśli wiesz że zarówna A jak i B to P2 to nie musisz już nic dowodzić. A=B=P2.

[rafal3006]

[fiklit]

ja nie patrzę na zawartość zbiorów, tylko na cechy elementów podane w opisie "zbioru".
Zatem mam 5 różnych opisów zbiorów. Tak?
TP i S90 mówią o czym innym. Tak się składa, że opisują ten sam zbiór, ale jeśli nie wiemy, że suma kątów w trójkącie wynosi 180 to nie wiemy że TP=S90.

[fiklit]

W przełożeniu na grę.
Gra gracz (G) i system (S).
Gra składa się z tur. "Planszą" jest zestaw n zbiorów politerowanych (A,B,C,D...)
W każdej turze:
1. Gracz dodaje do listy warunków (pierwotnie pusta) jeden warunek. Warunek może być typu X ma być podzbiorem Y, lub typu X ma być nadzbiorem Y (X=>Y,X<=Y), gdzie pod X,Y wpisuje się konkretną literę zbioru (A,B,C...)
Gracz nie zmienia warunków "zagarnych" w poprzenich turach, tylko dodaje do nich 1 nowy.
2. Następnie System generuje takie takie zbiory A,B,C,D... aby były spełnione wszystkie dotychczasowe warunki gracza, oraz aby nie wszystkie A,B,C,D... były sobie równe.
System, może generować zbiory zupełnie niezależne od zbiorów z poprzedniej rundy, jedynym warunkiem jest spełnianie warunków gracza. Celem zaś nierównoważność przynajmniej dwóch wygenerowanych zbiorów.

Gra kończy się, gdy System jest zmuszony warunkami do wygenerowania zbiorów równych(toższamych, równoważnych).

Taka gra.
Uważam, że przy grze na n zbiorach, zawsze wygram w n-tej turze i że nie ma lepszej strategii.
Zgadzasz się?

[rafal3006]

Starcie ziemskiego matematyka ze stwórcą naszego Wszechświata - Kubusiem
Czy ziemianin ma jakiekolwiek szanse w takim starciu?
Jeśli dysponuje poprawną logiką matematyczną, stworzoną przez Kubusia to oczywiście TAK!
W naszym Wszechświecie Kubuś nie ma prawa złamać matematyki tu obowiązującej bo zostałby matematycznym kłamcą … a Bóg z definicji kłamać nie może.

[fiklit]

Mogę zagrać w trudniejszą grę.
Mamy n zbiorów.
1. Kubuś ustawia zawartość tych zbiorów
2. Ja w każdej trze proszę go o sprawdzenie dwóch z nich.
3. Kubuś odpowiada czy pierwszy z nich jest podzbiorem drugiego czy nie.
4. Kubuś przed udzieleniem odpowidzi może pozmieniać zawartości zbiorów dowolnie, ale tak, aby wszystkie dotychczasowe odpowiedzi pozostały prawdą.
5. Kiedy uznam, że znam rozwiązanie "wszysktie są tożname" albo "przynajmniej 2 nie są tożsame" podaję odpowiedz, Kubuś odkrywa ostatnie ustawienie i sprawdzamy, czy w moja odpowiedź jest poprawna, i czy podpowiedzi Kubusia były poprawne.

Jestem pewien że wygrywam w n ruchach. Gramy? Ile zbiorów?

Zauważ, że nie znam tu zawartości zbiorów, aż do samego końca.

[rafal3006]

[fiklit]

Odpowiedzi na te pytania mają pozostać bez zmian:
"3. Kubuś odpowiada czy pierwszy z nich jest podzbiorem drugiego czy nie. "
Czyli jeśli w pierwszej turze zapytam czy o A i D i Kubuś odpowie że A=>D to po zmianach cały czas A musi być podzbiorem D. Tylko tyle.
Czyli Kubuś może w trkacie gry w pewnym stopniu zmieniać właściwą końcową odpowiedź. Może zacząć ze zbiorami tożsamymi, a potem pozmieniać na nietożsame i na odwrót. I tak wygrywam w max n ruchach.

"3. Kubuś odpowiada czy pierwszy z nich jest podzbiorem drugiego czy nie. " oczywiście nie musi ujawniać zawartości tych zbiorów.

[rafal3006]

[fiklit]

Czyli mamy pewność, że moja metoda jest 100% skuteczna.
I sprawdzenie maksymalnie 5 =>, konkretnych, ale niezależnie od zawartości zbiorów, wystarcza aby mieć pewność czy wszystkie 5 zbiorów jest tożsamych czy nie. TAK?

[rafal3006]