Forum ŚFiNiA Strona Główna ŚFiNiA
ŚFiNiA - Światopoglądowe, Filozoficzne, Naukowe i Artystyczne forum - bez cenzury, regulamin promuje racjonalną i rzeczową dyskusję i ułatwia ucinanie demagogii. Forum założone przez Wuja Zbója.
 
 FAQFAQ   SzukajSzukaj   UżytkownicyUżytkownicy   GrupyGrupy   GalerieGalerie   RejestracjaRejestracja 
 ProfilProfil   Zaloguj się, by sprawdzić wiadomościZaloguj się, by sprawdzić wiadomości   ZalogujZaloguj 

Moderator Z. Bryłowski w obronie Kubusia na racjonaliście.pl

 
Napisz nowy temat   Odpowiedz do tematu    Forum ŚFiNiA Strona Główna -> Metodologia / Forum Kubusia
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 32228
Przeczytał: 36 tematów

Skąd: z innego Wszechświata
Płeć: Mężczyzna

PostWysłany: Pon 19:53, 11 Sty 2010    Temat postu: Moderator Z. Bryłowski w obronie Kubusia na racjonaliście.pl

Tego Kubuś sie nie spodziewał :think:

Cytat z:
[link widoczny dla zalogowanych]

pavvel na temat Rafala3006 napisał:

Witam. Nie widzisz Zbyszku, że to troll?
Miłujący o czym by nie mówił, wszędzie Biblię wciskał.
Religią rafała3006 jest algebra Kubusia.
Tylko o niej pisze. Wszystko mu się z nią kojarzy.
Uważa za błędne wszystko co jest z algebrą Kubusia niezgodne.
To taka podobna choroba jak u Miłującego, tylko że objawy rafała3006 są dalej posunięte i bardziej widoczne.
Zastanawiam się jak długo następca Miłującego będzie miał prawo każdy wątek zaśmiecać promowaniem swojej religii.
Jeżeli porównywać, to już wolałem Miłującego.
Pozdrawiam

Komentarz Kubusia

Ciekawe wnioski pavvela:
Religią „miłującego prawdę” (prawdopodobnie świadek Jehowy) jest Biblia
Religią Rafała3006 jest algebra Kubusia
Z dwojga złego Pavvel woli świadka Jehowy ? :)

Ciekawe dlaczego, przecież Biblii nie da się obalić bo to nie jest matematyka, to tylko i wyłącznie wiara, absolutnie nic więcej.
Algebra Kubusia to matematyka ścisła, jeśli jest tu błąd to obalenie całej algebry powinno być trywialne, szczególnie dlatego iż jest to matematyka na poziomie I klasy LO, absolutnie nic więcej.


Odpowiedź moderatora Zbyszka Bryłowskiego

Uważa za błędne wszystko co jest z algebrą Kubusia niezgodne.

A wiesz - myślałem dzisiaj w nocy o Tobie. Około trzeciej obudził mnie kot, który chciał wyjść na zewnątrz. Szturchnąłem żonę, by go wypuściła. Później ona jak zwykle słodko zasnęła a ja myślałem o tym i o owym. Zauważyłem, że wypoczęty umysł działa dużo sprawniej, w głowie rodzą się wciąż nowe pomysły. Między innymi myślałem o tym, by napisać do Ciebie/odpowiedzieć na Twój post z innego wątku, w którym zarzuciłeś rafałowi3006 trollowanie.
Matematyka jest nauką ścisłą bez wątpienia. Jedno wynika z drugiego, stanowi logiczny ciąg.
Miałem co prawda logikę w szkole średniej, być może było również coś na studiach(nie pamiętam), ale było to dawno.
Na forum piszą osoby, które posiadają odpowiednią wiedzę i powinny bez problemu wykazać rafałowi3006, że jego teoria to kompletna bzdura.
Czy to takie trudne?
Potrafisz to uczynić?
Chciałbym po prostu by wskazano miejsce w teorii rafała3006 gdzie tkwi błąd, chętnie zapoznam się z logicznym uzasadnieniem i wówczas przestanę mieć jakiekolwiek wątpliwości.
A stwierdzenie, że ktoś jest trollem bo pisze coś, czego nie rozumiem, uważam za dość słaby argument. :(
Nie znam co prawda dobrze historii nauki, ale śmiem przypuszczać, że wielokrotnie początkowo zdawałoby się fantastyczne teorie okazywały się być w istocie epokowymi odkryciami.
Czy można zatem odrzucać a priori jakąkolwiek teorię? Czy to racjonalne?
Pozdrawiam - Zbyszek :)


Ostatnio zmieniony przez rafal3006 dnia Wto 4:32, 12 Sty 2010, w całości zmieniany 5 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 32228
Przeczytał: 36 tematów

Skąd: z innego Wszechświata
Płeć: Mężczyzna

PostWysłany: Wto 11:29, 12 Sty 2010    Temat postu:

Są na świecie rzeczy o których matematykom się nie śniło
Kubuś

Wizytówka Nowej Teorii Implikacji

Autor: Kubuś - wirtualny Internetowy Miś

Tego się Kubuś nie spodziewał ...

Cytat z:
[link widoczny dla zalogowanych]

moderator racjonalisty.pl Zbyszek Bryłowski w obronie Kubusia napisał:

Na forum piszą osoby, które posiadają odpowiednią wiedzę i powinny bez problemu wykazać rafałowi3006, że jego teoria to kompletna bzdura.
Czy to takie trudne?
Potrafisz to uczynić?
Chciałbym po prostu by wskazano miejsce w teorii rafała3006 gdzie tkwi błąd, chętnie zapoznam się z logicznym uzasadnieniem i wówczas przestanę mieć jakiekolwiek wątpliwości.
A stwierdzenie, że ktoś jest trollem bo pisze coś, czego nie rozumiem, uważam za dość słaby argument. :(
Nie znam co prawda dobrze historii nauki, ale śmiem przypuszczać, że wielokrotnie początkowo zdawałoby się fantastyczne teorie okazywały się być w istocie epokowymi odkryciami.

Nie trzeba daleko szukać … Kopernik.

Jakie korzyści materialne osiągnął ktokolwiek z odkrycia Kopernika ?
Odpowiedź:
Żadnych

Jakie korzyści materialne osiągnie ktokolwiek po przyjęciu Nowej Teorii Implikacji ?
Odpowiedź:
Żadnych, bowiem definicje implikacji to bezsens w świecie techniki ze względu na „rzucanie monetą” w każdej połówce zarówno definicji implikacji prostej => jak i definicji implikacji odwrotnej ~>. NTI to oczywista rewolucja w matematyce (logice), to sprowadzenie problemu implikacji tam gdzie jego właściwe miejsce, czyli do poziomu 5-cio letniego dziecka, naturalnego eksperta w tej dziedzinie. Matematycznie to problem na poziomie I klasy LO, absolutnie nic więcej.

Aktualne, znane człowiekowi definicje implikacji mają zero wspólnego z implikacją występującą w naturalnym języku mówionym człowieka.
A.
Implikacja materialna:
[link widoczny dla zalogowanych]
Implikacja (inaczej wynikanie) to spójnik łączący dwa zdania P (poprzednik implikacji) i Q (następnik implikacji) mówiący, że "z P wynika Q". Jest to najbardziej kontrowersyjny ze spójników logicznych. W logice klasycznej przyjmuje się implikację materialną: „z P wynika Q” jest prawdziwe, jeśli Q jest prawdziwe lub P jest fałszywe. Jest to interpretacja wygodna ale całkowicie niezgodna z intuicyjnym rozumieniem "wynikania". W szczególności całkowicie nie do zaakceptowania dla intuicjonistów jest twierdzenie logiki klasycznej, które orzeka, że "z fałszu wynika cokolwiek".
B.
Implikacja ścisła:
[link widoczny dla zalogowanych]
Intencją Lewisa było stworzenie takiej logiki, która lepiej niż implikacja materialna w klasycznym rachunku zdań oddawałaby implikację występującą w języku naturalnym. Lewis nie uświadamiał sobie jeszcze w pełni różnicy między wynikaniem a implikacją ścisłą, współcześnie jednak logiki Lewisa interpretuje się powszechnie jako logiki zdań modalnych, na których gruncie właśnie implikację ścisłą zdefiniować można następująco …

Implikacja występująca w naturalnym języku mówionym to absolutny banał po przyjęciu prawidłowych definicji implikacji prostej => i odwrotnej ~> plus praw Kubusia

Przyjęcie nowych definicji implikacji prostej => i odwrotnej ~> plus praw Kubusia to pogrom starej logiki w zakresie implikacji (Klasycznego Rachunku Zdań). Wszystko jest nie tak, wszystko trzeba wywrócić do góry nogami, aby świat był normalny.

Definicja algebry Kubusia:
Algebra Kubusia to algebra bramek logicznych.

Algebra Kubusia = symboliczna algebra Boole’a.

Koniec definicji ogólnej.

Definicję szczegółową można znaleźć w pkt 1.0 do 1.9 w „Nowej Teorii Implikacji”:
http://www.sfinia.fora.pl/metodologia,12/nowa-teoria-implikacji,4368.html#94138

Czy ktokolwiek słyszał o takich pojęciach jak zmienna binarna, funkcja logiczna, logika dodatnia i ujemna w algebrze Boole'a ?
Czy ktokolwiek słyszał o nieznanych człowiekowi bramkach logicznych "musi" => i "może" ~>?

Prawdziwość Nowej Teorii Implikacji można udowodnić w "Laboratorium cyfrowych układów logicznych" (pkt. 5.0), dlatego NTI jest absolutnie prawdziwa, to po prostu matematyka naturalnego języka człowieka.

Do odkrycia Kopernika wcześniej czy później musiało dojść, natomiast do odkrycia NTI wcale nie musiało dojść.

Próbka działania NTI w zakresie obsługi zdań twierdzących (nie implikacji) …

Kompletna matematyka dla obsługi zdań twierdzących w NTI to zaledwie „kilka zdań” !

Definicje i prawa algebry Boole’a dla operatorów AND i OR w pigułce

Definicja iloczynu logicznego:
Iloczyn logiczny jest równy jeden wtedy i tylko wtedy gdy wszystkie zmienne są równe jeden.
Y=A1*A2* … *An =1 <=> A1=1, A2=1 … An=1

Definicja równoważna:
Iloczyn logiczny jest równy zeru jeśli którakolwiek zmienna jest równa zeru.
Y=1*1*1*0*1 =0

Definicja sumy logicznej:
Suma logiczna n-zmiennych binarnych jest równa zeru wtedy i tylko wtedy gdy wszystkie składniki sumy są równe zeru
Y = A1+A2+… An =0 <=> A1=0, A2=0 …An=0

Definicja równoważna:
Suma logiczna n-zmiennych binarnych jest równa jeden gdy którakolwiek ze zmiennych jest równa jeden.
Y=1+1+1+0+1 =1

Zmienna binarna:
Zmienna binarna to zmienna, mogąca przyjmować w osi czasu wyłącznie dwie wartości logiczne 0 albo 1.

Funkcja logiczna:
Funkcja logiczna Y to funkcja n-zmiennych binarnych połączonych operatorami AND(*) lub OR(+).
Przykład:
Y = A+(B*C) ….

Definicja logiki dodatniej i ujemnej w operatorach AND i OR:
Logika dodatnia (Y) to odpowiedź na pytanie kiedy dotrzymam słowa (wystąpi prawda), zaś logika ujemna (~Y) to odpowiedź na pytanie kiedy skłamię (wystąpi fałsz).

Związek logiki dodatniej z logiką ujemną opisuje równanie:
Y = ~(~Y) - prawo podwójnego przeczenia

Prawo przedszkolaka:
W dowolnej funkcji logicznej Y algebry Boole’a z operatorami AND i OR przejście do logiki przeciwnej uzyskujemy poprzez negację zmiennych i wymianę operatorów na przeciwne.

Przykładowa funkcja logiczna:
Y=A+(B*~C)
Przejście do logiki przeciwnej:
~Y=~A*(~B+C)
Oczywiście:
Y=~(~Y)
stąd prawo de’Morgana:
A+(B*~C) = ~[~A*(~B+C)]

Koniec !
Wyżej mamy wszystko co potrzeba dla prawidłowej obsługi matematycznej zdań twierdzących (nie implikacji) w naturalnym języku mówionym.

Dzisiejsza logika bawi się w analizę śmieci z punktu widzenia naturalnego języka mówionego w postaci:

Jutro pójdę do kina i nie pójdę do kina
K*~K =0
LUB
Jutro pójdę do kina lub nie pójdę do kina
K+~K=1

Oba te zdania mają zero wspólnego z naturalną logiką człowieka, bo oczywiście nikt tak nie mówi. Wszyscy natomiast posługują się algebrą Kubusia.

Zdanie wypowiedziane:
A.
Jutro nie pójdę do kina
Y=~K
Dotrzymam słowa (Y=1) jeśli jutro nie pójdą do kina
… a kiedy skłamię ?
Negujemy dwustronnie:
~Y = ~(~K)=K
B.
Skłamię (~Y=1), jeśli jutro pójdę do kina
~Y=K
Oczywiście zachodzi:
Y#~Y
oraz:
Y=~(~Y)
stąd
Y=~(K)
czyli:
Zdanie równoważne do A.
Nie może się zdarzyć ~(….), że jutro pójdę do kina

Zauważmy, że prawdziwe jest zarówno zdanie A jak i B. W obu przypadkach mamy w wyniku 1 (prawda), tyle że jest to prawda w przeciwnych logikach, dlatego zachodzi:
Y#~Y

Doskonale to widać w tabeli prawdy sumy logicznej dla dwu zmiennych:

Definicja zero-jedynkowa sumy logicznej:
Kod:

p q  Y=p+q ~Y=~(p+q)
1 1 =1      0
1 0 =1      0
0 1 =1      0
0 0 =0      1

Zauważmy, że w powyższej tabeli mamy pełną zgodność z definicją logiki dodatniej i ujemnej. W logice dodatniej (Y=1) mamy odpowiedź na pytanie kiedy wystąpi prawda, zaś w logice ujemnej (~Y=1) mamy odpowiedź na pytanie kiedy wystąpi fałsz.

W tabeli widać też znaczenie kolumny wynikowej w logice dodatniej (Y):
Y=1 - dotrzymam słowa
Y=0 - skłamię
Znaczenie kolumny wynikowej w logice ujemnej (~Y):
~Y=0 - dotrzymam słowa
~Y=1 - skłamię
Matematycznie wszystko musi się zgadzać czyli:
Y=~(~Y) =1 - dotrzymam słowa w logice dodatniej
Y=~(~Y)=0 - skłamię w logice dodatniej
Oczywiście matematycznie zachodzi:
Y=~(~Y) - prawo podwójnego przeczenia
oraz:
Y#~Y
czyli jedynka w logice dodatniej (Y) to zupełnie co innego niż jedynka w logice ujemnej (~Y).

Oczywiście wszystko musi się tu zgadzać czyli:
Y=~(~Y)=Y - oczywistość w powyższej tabeli
oraz:
~Y=1 czyli Y=0 - sprowadzenie fałszu w logice ujemnej (~Y=1) do fałszu w logice dodatniej (Y=0).

Na przykładzie wyżej doskonale widać dlaczego operowanie bezwzględnymi 1=prawda i 0=fałsz jest w logice bez sensu.

Poprawna logika matematyczna (dodatnia) jest taka:
Y=prawda (dotrzymam słowa)
~Y=fałsz (skłamię)
to jest symboliczna algebra Boole’a (algebra Kubusia), logika uniezależniona od idiotycznych zer i jedynek !

Przyjrzyjmy się jeszcze raz i z innej strony o co chodzi z tą logiką dodatnią i ujemną.

Przykład:
Jutro pójdę do kina
Y=K
czyli:
A.
Dotrzymam słowa (Y), jeśli jutro pójdę do kina
Y=K
Y=1(prawda) = K=1(prawda) - jestem jutro w kinie (stan faktyczny jutro)
Zdanie prawdziwe: Y=1
… a kiedy skłamię ?
Negujemy dwustronnie:
~Y=~K
czyli:
B.
Skłamię (~Y), jeśli jutro nie pójdę do kina
~Y=~K
~Y=1(prawda) = ~K=1(prawda) - nie ma mnie jutro w kinie (stan faktyczny jutro)
Zdanie prawdziwe: ~Y=1

Dzięki używaniu logiki dodatniej (Y) i logiki ujemnej (~Y) mamy prawidłowo określoną wartość logiczną całego zdania.
A: Y=1 - zdanie prawdziwe (w logice dodatniej)
B: ~Y=1 - zdanie prawdziwe (w logice ujemnej)

… i nie mamy sprzeczności w zdaniu B.

W dzisiejszej logice, która nie rozpoznaje logiki dodatniej i ujemnej i operuje bezwzględnymi zerami i jedynkami mamy tak:
A.
Dotrzymam słowa (Y=1), jeśli jutro pójdę do kina
Y=K
Y=1(prawda) = K=1(prawda) - jestem jutro w kinie (stan faktyczny jutro)
Zdanie prawdziwe: Y=1
B.
Skłamię (Y=0), jeśli jutro nie pójdę do kina
Zdanie fałszywe: Y=0
co jest niezgodne z prawdą bo powyższe zdanie jest prawdziwe.

Wartość zdania to wartość funkcji logicznej.

Oczywiście jeśli:
Y=0 to ~Y=1

Zatem zdanie B można zapisać w tej postaci:
Skłamię (~Y=1), jeśli jutro nie pójdę do kina
~Y=~K
~Y=1(prawda) = ~K=1(prawda) - nie ma mnie jutro w kinie (stan faktyczny jutro)
Zdanie prawdziwe: ~Y=1
Teraz wszystko się zgadza, jesteśmy w logice ujemnej !


Piękno i siłę algebry Kubusia doskonale pokazuje fragment pierwszej części NTI "Operatory AND i OR" (pkt. 2.5).

Jako ciekawostkę mogę podać fakt, że pierwsza wersja algebry Kubusia powstała całkowicie w języku symbolicznym (odpowiednik języka asemblera z mikroprocesorów) ... czyli ani jednego zera i ani jednej jedynki.
Kubuś musiał sobie jednak odpowiedzieć na trywialne pytanie.
Co zostanie matematykom po zabraniu im zer i jedynek ?
Oczywista odpowiedź: NIC lub prawie nic .. czyli nikt tego nie zrozumie.
Dlatego w całej algebrze Kubusia często pokazuję związek symbolicznej algebry Boole'a (algebry Kubusia) z idiotycznymi zerami i jedynkami.

Jak widać niżej człowiek w naturalnym języku mówionym ma głębokim poważaniu idiotyczne zera i jedynki ...

2.5 Logika dodatnia i ujemna w operatorach AND i OR

Popatrzmy jeszcze raz na matematykę, którą posługuje się każdy przedszkolak.

Jutro pójdę do kina lub do teatru
Y=K+T
Matematycznie:
Dotrzymam słowa (Y) jeśli jutro pójdę do kina lub do teatru.
Y=K+T
… a kiedy skłamię ?
Skłamię (~Y) jeśli jutro nie pójdę do kina i nie pójdę do teatru
~Y = ~K*~T

Koniec !
To jest cała matematyka, którą każdy człowiek od przedszkolaka po profesora używa milion razy na dobę. Jak widać mózg przedszkolaka na pytanie „Kiedy skłamię ?” odpowiada w logice ujemnej.

Definicja logiki ujemnej w operatorach AND i OR:
Logika dodatnia (Y) to odpowiedź na pytanie kiedy dotrzymam słowa (wystąpi prawda), zaś logika ujemna (~Y) to odpowiedź na pytanie kiedy skłamię (wystąpi fałsz).

Związek logiki dodatniej z logika ujemną opisuje równanie:
Y = ~(~Y) - prawo podwójnego przeczenia

Nietrudno zauważyć, jak mózg dziecka przechodzi z logiki dodatniej (Y) do logiki ujemnej (~Y), po prostu neguje wszystkie zmienne i wymienia operator na przeciwny. Nietrudno też się domyśleć, że to jest poprawny sposób przejścia do logiki ujemnej dla dowolnie długiej funkcji logicznej. Dowód w bramkach logicznych dalej.

Metoda przedszkolaka:
Przejście z logiki dodatniej (Y)do ujemnej (~Y) lub odwrotnie uzyskujemy negując wszystkie zmienne i wymieniając operatory na przeciwne.

Przykład:
A: Y=A+(~B*C)
Przejście do logiki ujemnej poprzez negację zmiennych i wymianę operatorów na przeciwne:
B: ~Y = ~A*(B+~C)

Oczywiście zachodzi:
C: Y=~(~Y) - prawo podwójnego przeczenia

Podstawiając A i B do C mamy prawo de’Morgana.
A+(~B*C) = ~[~A*(B+~C)]

Łatwo zauważyć, że z prawa de’Morgana mózg dziecka praktycznie nigdy nie korzysta … chyba że w fazie poznawania języka, kiedy to dwulatek zadaje wszelkie możliwe pytania.

Popatrzmy na to jeszcze raz, delektując się genialną matematyką która posługuje się każde dziecko.
Jutro pójdę do kina lub do teatru
Y=K+T
Matematycznie:
Dotrzymam słowa (Y) jeśli jutro pójdę do kina lub do teatru.
Y=K+T
… a kiedy skłamię ?
Przejście do logiki ujemnej poprzez negacje zmiennych i wymianę operatorów na przeciwne:
Skłamię (~Y) jeśli jutro nie pójdę do kina i nie pójdę do teatru
~Y = ~K*~T

Już dziecko pięcioletnie nie będzie zadawało więcej pytań bo wszystko jest jasne, dwulatek może jednak kontynuować.

… a czy może się zdarzyć, że jutro nie pójdę do kina i nie pójdę do teatru ?
Ostatnie zdanie w dialogu:
~Y=~K*~T
Negujemy dwustronnie i mamy odpowiedź na temat, czyli zgodną z zadanym pytaniem.
Y=~(~K*~T)
Nie może się zdarzyć ~(…), że jutro nie pójdę do kina i nie pójdę do teatru

Na powyższe pytanie można odpowiedzieć inaczej:
Jutro na pewno pójdę do kina lub do teatru
Y=K+T
Jednak nie będzie to ścisła odpowiedź na zadane pytanie, dlatego mało kto tak odpowie.


Ostatnio zmieniony przez rafal3006 dnia Wto 21:12, 12 Sty 2010, w całości zmieniany 13 razy
Powrót do góry
Zobacz profil autora
Wyświetl posty z ostatnich:   
Napisz nowy temat   Odpowiedz do tematu    Forum ŚFiNiA Strona Główna -> Metodologia / Forum Kubusia Wszystkie czasy w strefie CET (Europa)
Strona 1 z 1

 
Skocz do:  
Nie możesz pisać nowych tematów
Nie możesz odpowiadać w tematach
Nie możesz zmieniać swoich postów
Nie możesz usuwać swoich postów
Nie możesz głosować w ankietach

fora.pl - załóż własne forum dyskusyjne za darmo
Powered by phpBB © 2001, 2005 phpBB Group
Regulamin