ŚFiNiA

rafal3006

"Czy logika matematyczna jest częścią filozofii?"

Jeśli jest to mam prawo mieć jeden-jedyny wątek w tym temacie w działe filozofia.
Dziwne jest to że na ateiście.pl mogłem w swoim jednym temacie pisać o logice matematycznej co mi się podoba, a na sfinii nie mam do tego prawa.
Proszę Wuja o interwencję, mógłbym zrozumieć moje prześladowanie w dziale "filozofia" gdybym z AK wtrącał się do każdej dyskusji .. ale przecież tego nie robię - nikomu nie zaśmiecam AK jego prywatnego wątku, w przeciwieństwie do co niektórych na tym forum.
Czy ja zmuszam kogokolwiek to otwarcia niniejszego tematu i czytania tego co mam do powiedzenia w temacie "logika matematyczna"?

http://www.sfinia.fora.pl/forum-kubusia,12/szach-mat-ktory-przejdzie-do-historii-matematyki,15663-2150.html#523661

Irbisol non-stop twierdzi że algebrę Kubusia zna lepiej ode mnie!
Dowodem jest tu jego gówno-lista punktująca dlaczego algebra Kubusia jest matematycznie do dupy.

Ja mu mówię:
SPRAWDZAM!

To znaczy:
Czekam na dowód iż nie jest bezczelnym kłamcą!
Czekam na jego DEKLARACJĘ iż rozumie fundamenty AK w tym poście wyłożone!

Andy72

Chodzi Ci o prawdziwą logikę czy pseudologikę?

szaryobywatel

AK to nie jest nawet pseudologika.

rafal3006

rafal3006

http://www.sfinia.fora.pl/forum-kubusia,12/szach-mat-ktory-przejdzie-do-historii-matematyki,15663-2175.html#523767

Nawracanie Irbisola na jedynie słuszną algebrę Kubusia!
… niech żywi nie tracą nadziei.

szaryobywatel

Obłąkaniec który zamiast się douczyć i zrozumieć gdzie popełnia błąd w rozumieniu "gówno logiki ziemian", tworzy bełkot nie mający nic wspólnego z logiką.

rafal3006

rafal3006

http://www.sfinia.fora.pl/forum-kubusia,12/szach-mat-ktory-przejdzie-do-historii-matematyki,15663-2225.html#524575

„może” - pięta Achillesowa logiki matematycznej ziemian!

Od kilku ładnych miesięcy trwa zacięta bitwa między Rafałem3006 i Irbisolem o znaczenie słówka „może” w logice matematycznej.
Najciekawsze jest to, czy Irbisol da się przekonać do znaczenia słówka „może” oczywistego dla każdego 5-cio latka i humanisty.
Pożyjemy, zobaczymy, mam nadzieję że tak

rafal3006

http://www.sfinia.fora.pl/forum-kubusia,12/szach-mat-ktory-przejdzie-do-historii-matematyki,15663-2250.html#524777

Definicja znaczka ~~> to definicja rodem z KRZ!
Dowód w niniejszym poście!

Znaczek ~~> to absolutny FUNDAMENT matematyki ziemian!
Dlaczego?
Bo bez znaczka ~~> nie da się udowodnić fałszywości choćby jednego twierdzenia matematycznego ziemian typu p=>q

rafal3006

http://www.sfinia.fora.pl/forum-kubusia,12/szach-mat-ktory-przejdzie-do-historii-matematyki,15663-2275.html#524867

Twardy dowód iż Irbisol korzysta w praktyce z definicji kontrprzykładu rodem z AK!

Na cześć Irbisola, który jako pierwszy wie, iż definicję kontrprzykładu rodem z AK doskonale znają i stosują w praktyce absolutnie wszyscy ziemscy matematycy (Irbisol nie jest tu wyjątkiem):
Hip, Hip, Huuurrraaa!

Definicja matematyka normalnego:
Matematyk normalny to matematyk będący w stanie zrozumieć iż absolutnie wszystkie prawa logiki matematycznej które używam w algebrze Kubusia to prawa z naszego wspólnego, kochanego KRZ (z wykluczeniem gówna zwanego KRZ którym posługuje się Irbisol)!

Oczywiście chylę czoła prze pionierami algebry Boole’a, bo techniczna algebra Boole’a (zaledwie 5 znaczków {0,1, (~), (*),(+)} to fundament świata techniki, w tym techniki komputerowej.
Ja się w ogóle nie czepiam algebry Boole’a i programowania komputerów, bo sam jestem przybyszem ze świata techniki i doskonale wiem jak wspaniała jest algebra Boole’a w praktyce.
W świecie techniki wszyscy znają algebrę Boole’a ale przykładowo ja, absolwent elektroniki na PW-wa w roku 1980 miałem na studiach algebrę Boole’a na najwyższym światowym poziomie nie mając pojęcia iż istnieje takie potwornie śmierdzące gówno jak KRZ.
Co to jest KRZ dowiedziałem się zaledwie 14 lat temu w dyskusji z Wujem który dowodząc iż ateiści mogą iść do wspólnego nieba z wierzącymi użył tabeli zero-jedynkowej ziemskiej implikacji, totalnie mi nieznanej, za co się na Wuja potwornie wściekłem iż głupoty wypisuje i nie rozumie algebry Boole’a - ja absolwent elektroniki, dla którego algebra Boole’a zawsze była „konikiem” i pozostała do dzisiaj … a dowodem jest dokładnie to co aktualnie robię.
14 lat temu zobaczywszy po raz pierwszy w życiu (dosłownie) prawdziwe na gruncie KRZ zdanie:
Jeśli pies jest różowy to krowa śpiewa w operze
… autentycznie się we mnie zagotowało, uparłem się by znaleźć poprawne przełożenie języka potocznego na język logiki matematycznej.
Dlaczego się uparłem?
Bo z laborki techniki cyfrowej na studiach doskonale widziałem że skomplikowane automaty cyfrowe w technice bramek logicznych projektuje się absolutnie naturalnej logice matematycznie człowieka!
Myśli się po prostu jak 5-cio latek, czyli tu gdzie w logice 5-cio latek użyje spójnika „i”(*) walę bramkę AND, zaś tu gdzie użyje spójnika „lub”(+) wale bramkę OR i po bólu.
Oczywiście jeśli myślenie jest skomplikowane, a banałów na studiach elektronicznych nam nikt nie dawał, to uzyskaną funkcje logiczną w algebrze Boole’a:
Y=f(x)
należało jeszcze zminimalizować i powalczyć w wyścigami i hazardem możliwymi w układach asynchronicznych (bramki logiczne).
Dokładnie z powodu wyścigów i hazardu wszelkie mikroprocesory są układami synchronicznymi (występuje zegar) nieporównywalnie łatwiejszymi w fizycznej realizacji i co najważniejsze, wyścigi i hazard są tu wykluczone z definicji.

Czego się czepiam w logice ziemskich matematyków?
Czepiam się faktu, ze ziemska logika matematyczna w temacie zdań warunkowych „Jeśli p to q” poszła w potwornie śmierdzące gówno zwane KRZ w rozumieniu naszego drogiego Irbisola, będącego żywym symbolem biednego człowieka z potwornie spranym mózgiem gównem zwanym KRZ w jego rozumieniu, niezdolnego do nawiązania kontaktu z ludźmi normalnymi, ekspertami algebry Kubusia - 5-cio latkami i humanistami.

Teoria matematyczna wspólna dla AK i KRZ matematyków normalnych!
http://www.sfinia.fora.pl/forum-kubusia,12/ak4-kubusiowa-teoria-zdarzen,16331.html#524205

rafal3006

http://www.sfinia.fora.pl/forum-kubusia,12/szach-mat-ktory-przejdzie-do-historii-matematyki,15663-2275.html#524965

Irbisol - kłamca do potęgi nieskończonej!

Dowód:
Na końcu niniejszego postu.

rafal3006

http://www.sfinia.fora.pl/forum-kubusia,12/ak1-algebra-boole-a,16325.html#524199

Algebra Kubusia - matematyka języka potocznego
2020-05-10

Część I
Algebra Boole’a

Jak czytać algebrę Kubusia?
Każda z siedmiu części zakłada prawie zerowy stan wiedzy początkowej.
Można wystartować z czytaniem od dowolnej części znając minimalnie algebrę Boole’a.
Szczególnie polecam część IV - to wystarczy by zrozumieć kompletną algebrę Kubusia.

Części:
AK1 Algebra Boole’a
AK2 Elementarz algebry Kubusia
AK3 Kubusiowa teoria zbiorów
AK4 Kubusiowa teoria zdarzeń
AK5 Obietnice i groźby
AK6 Teoria transformacji
AK7 Teoria rachunku zbiorów i zdarzeń

Autor:
Kubuś ze 100-milowego lasu

Rozszyfrowali:
Rafal3006 i przyjaciele

Dziękuję wszystkim, którzy dyskutując z Rafałem3006 przyczynili się do odkrycia algebry Kubusia:
Wuj Zbój, Miki, Volrath, Macjan, Irbisol, Makaron czterojajeczny, Quebab, Windziarz, Fizyk, Idiota, Sogors, Fiklit, Yorgin, Pan Barycki, Zbigniewmiller, Mar3x, Wookie, Prosiak, Lucek, Andy72, Michał Dyszyński, Szaryobywatel i inni.

Kluczowi przyjaciele Kubusia, dzięki którym algebra Kubusia została rozszyfrowana to (cytuję w kolejności zaistnienia):
1.
Rafał3006
2.
Wuj Zbój - dzięki któremu Rafal3006 poznał istotę implikacji od strony czysto matematycznej.
3.
Fiklit - który poświęcił 8 lat życia na cierpliwe tłumaczenie Rafałowi3006 jak wygląda otaczający nas świat z punktu widzenia Klasycznego Rachunku Zdań
Bez fiklita o rozszyfrowaniu algebry Kubusia moglibyśmy wyłącznie pomarzyć
4.
Irbisol - znakomity tester końcowej wersji algebry Kubusia, za wszelką cenę usiłujący ją obalić.
Czyż można sobie wymarzyć lepszego testera?

Miejsce narodzin algebry Kubusia ze szczegółowo udokumentowaną historią jej odkrycia:
Algebra Kubusia - historia odkrycia 2006-2020

Algebra Kubusia w pdf

AK1 pdf Algebra Boole’a
[link widoczny dla zalogowanych]
AK2 pdf Elementarz algebry Kubusia
[link widoczny dla zalogowanych]
AK3 pdf Kubusiowa teoria zbiorów
[link widoczny dla zalogowanych]
AK4 pdf Kubusiowa teoria zdarzeń
[link widoczny dla zalogowanych]
AK5 pdf Obietnice i groźby
[link widoczny dla zalogowanych]
AK6 pdf Prawo transformacji
[link widoczny dla zalogowanych]
AK7 pdf Teoria zbiorów i zdarzeń
[link widoczny dla zalogowanych]

rafal3006

Kto wierzy we mnie będzie zbawiony

Moja przygoda z logiką matematyczną zaczęła się 14 lat temu dokładnie od tego zdania gdzie nasz Wujek wciskał mi matematycznie ciemnotę jakoby ateiści mogli być w tym samy niebie co wierzący - wtedy po raz pierwszy w życiu zobaczyłem zero-jedynkową definicję implikacji i wściekłem się na Wujka że nie wie co to jest algebra Boole'a którą znałem perfekcyjnie z racji wykształcenia.
W świecie techniki nie ma prawa być implikacji bo opisuje "wolną wolę" istot żywych w świecie żywym co jest tożsame z "rzucaniem monetą" w świecie martwym.
Implikacja zaimplementowana w samochodzie działała by tak, że jak skręcamy w lewo to samochód zawsze skręca w lewo, ale jak skręcamy w prawo to samochód "rzuca sobie moneta" i w zależności od wyniku skręca nam w prawo albo w lewo.
Dokładnie dlatego implikacja w świecie techniki to idiotyzm.

5.9 Matematyczna obsługa obietnicy W=>N

Najważniejszym zastosowaniem warunku wystarczającego p=>q i implikacji prostej p|=>q jest matematyczna obsługa obietnic.
Obietnice i groźby to fundament wszelkiego życia na ziemi, zwierzątka które nie odróżniały obietnicy od groźby dawno wyginęły.

Definicja obietnicy =>:
Jeśli dowolny warunek to nagroda
W=>N =1
Dowolna obietnica to warunek wystarczający W=>N wchodząca w skład implikacji prostej W|=>N:
W|=>N = (A1: W=>N)*~(B1: W~>N) =1*~(0) =1*1 =1

Definicja groźby ~>:
Jeśli dowolny warunek to kara
W~>K =1
Dowolna groźba to warunek konieczny W~>K wchodzący w skład implikacji odwrotnej A|~>K:
W|~>K = ~(A1: W=>K)*(B1: W~>K) = ~(0)*1 =1*1 =1

To są definicje obietnicy i groźby zatem tu nic a nic nie musimy udowadniać, jedyne co musimy to rozstrzygnąć czy w następniku mamy nagrodę (obietnica), czy karę (groźba).
Aktualnie jesteśmy przy obsłudze warunku wystarczającego =>, zatem z marszu zajmiemy się obietnicami.

Weźmy sztandarową obietnicę, którą rozszyfrowałem jako pierwszą, dzięki której w ogóle zainteresowałem się logiką matematyczną.

Chrystus:
A.
Kto wierzy we mnie będzie zbawiony
W=>Z =1
Wiara w Chrystusa jest warunkiem wystarczającym => by być zbawionym
Wiara w Chrystusa daje nam gwarancję matematyczną => zbawienia
Kontrprzykład B dla warunku wystarczającego => A musi być fałszem.
B.
Kto wierzy we mnie może ~~> nie być zbawiony
W~~>~Z = W*~Z =0
Chrystus będzie kłamcą jeśli wierzącego w niego człowieka nie zbawi (pośle do piekła)

.. a jak kto nie wierz Panie?
Prawo Kubusia:
A: W=>Z = C: ~W~>~Z
stąd mamy:
C.
Kto nie wierzy we mnie nie będzie zbawiony
~W~>~Z=1
Na mocy prawa Kubusia groźbę ta musimy kodować warunkiem koniecznym ~> bez względu na ostrość jej wypowiedzenia (np. grzech przeciwko Duchowi Św.) dającym prawo do darowania dowolnej kary zależnej od nadawcy.
Chrystus:
Zaprawdę, powiadam ci, jeszcze dziś będziesz ze Mną w raju. (Łk 23, 43);
lub
D.
Kto nie wierzy we mnie może ~~> zostać zbawiony
~W~~>Z = ~W*Z =1
To jest piękny akt miłości w stosunku do obietnicy A dający możliwość wręczenia nagrody (zbawienie) mimo że odbiorca nie spełnił warunku nagrody (nie wierzył).
Akt miłości jest tożsamy z równie pięknym aktem łaski w stosunku do groźby C, który umożliwia odstąpienie od ukarania mimo że odbiorca spełnił warunek kary (nie wierzył).
Oba te akty, akt miłości i akt łaski są powszechne w przyrodzie, nie tylko człowiek stosuje je w praktyce.
Ze zdań C i D wynika, że Chrystus cokolwiek by nie zrobił z niewierzącymi to nie ma najmniejszych szans na zostanie matematycznym kłamcą. W skrajnym przypadku wszyscy możemy zostać zbawieni tak wiec nadzieja powszechnego zbawienia ma swoje podstawy matematyczne:
[link widoczny dla zalogowanych]