|
Ś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.
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35257
Przeczytał: 24 tematy
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Nie 8:12, 11 Wrz 2022 Temat postu: |
|
|
Przykład poprawnego rozumienia logiki matematycznej
Cytat z matematyki.pl:
[link widoczny dla zalogowanych]
a4karo napisał: |
Próba stosowania reguł matematyki do urzędniczego bełkotu na ogół kończy się porażką matematyki
|
Nie jest prawdą to co napisałeś tzn. żaden człowiek, od 5-cio latka poczynając, nie jest w stanie uprawiać matematycznego bełkotu bo język potoczny człowieka podlega pod logikę matematyczną co moich postach wyżej udowodniłem.
Nie jest winą urzędnika, że nie nauczono go poprawnej logiki matematycznej (jak w moich postach wyżej) w I klasie LO.
Weźmy to bardzo ciekawe zdanie urzędnika państwowego:
Cytat: | Koszty te są nieproporcjonalnie wysokie dla MŚP, które nie mają z reguły wyspecjalizowanej w odzyskiwaniu długów kadry i musi to robić właściciel i/lub wynajęta firma. |
Weźmy dokładnie to samo na przykładzie zrozumiałym dla każdego 5-cio latka.
Pani w przedszkolu:
1.
Jutro pójdziemy do kina lub do teatru
Y = K+T
Zdanie matematycznie tożsame, co udowodniłem w moich postach wyżej brzmi:
2.
Jutro pójdziemy do kina i do teatru lub pójdziemy do kina i nie pójdziemy do teatru lub nie pójdziemy do kina i pójdziemy do teatru
Y = K+T = K*T + K* ~T + ~K*T
W przełożeniu na zdanie urzędnika powiedział on to:
Jutro pójdziemy do kina i/lub pójdziemy do teatru
Definicja spójnika "I"(*):
Y1 = p*q
Definicja spójnika "lub"(+) w zdarzeniach rozłącznych:
Y2 = p*q + p* ~q + ~p*q
Z powyższego wynika, że zdanie urzędnika jest matematycznie poprawne, o ile jego znaczek "/" będziemy rozumieć jako spójnik "lub"(+).
Dowód:
Y = Y1+Y2 = p*q + p*q + p* ~q + ~p*q
Minimalizujemy:
Y = p*q + p* ~q + ~p*q = p+q
bo prawo algebry Boole'a:
p*q+p*q = p*q
Podsumowując:
Przy powyższym rozumieniu znaczka "/" zdanie urzędnika jest matematyczne poprawne.
Zdanie urzędnika w przełożeniu na zdanie z przedszkola brzmi:
3.
Jutro pójdziemy do kina i/lub do teatru
Y = Y1+Y2 = K*T + K*T + K* ~T + ~K*T = K*T + K* ~T + ~K*T
Matematyczna tożsamość zdań:
1=2=3
jest oczywista.
c.n.d
Dlaczego wśród polonistów tzn. w całej literaturze światowej plus środki masowego przekazu mało kto używa spójnika "lub"(+) w wersji nieminimalnej, jak to zrobił w/w urzędnik?
Odpowiedź:
Mózg każdego człowieka, od 5-cio latka poczynając, podlega pod logikę matematyczną tzn. jest mistrzem świata w minimalizowaniu wszelkich funkcji logicznych.
Innymi słowy:
Jeśli nasz mózg ma coś do powiedzenia to zwykle używa funkcji logicznej w wersji minimalnej jak niżej.
Pani w przedszkolu:
1.
Jutro pójdziemy do kina lub do teatru
Y = K+T
Potocznie:
Jutro pójdziemy w dowolne miejsce i już pani dotrzyma słowa (Y).
Innym słowy zdanie tożsame, zapisane w wersji nieminimalnej ale zrozumiałej dla każdego 5-cio latka brzmi:
2.
Jutro pójdziemy do kina i do teatru lub pójdziemy do kina i nie pójdziemy do teatru lub nie pójdziemy do kina i pójdziemy do teatru
Y = K+T = K*T + K* ~T + ~K*T
Kolejne zdanie tożsame zapisane w wersji nieminimalnej brzmi:
Pani w przedszkolu:
4.
Jutro pójdziemy do kina i do teatru lub pójdziemy do kina "albo"($) do teatru
Y = K*T + K$T
Definicja spójnika "I"(*):
Y1 = p*q
Definicja spójnika "lub"(+) w zdarzeniach rozłącznych:
Y2 = p*q + p* ~q + ~p*q
Definicja spójnika "albo"($) wyrażona spójniami "i"(*) i "lub"(+):
Y3 = p$q = p* ~q + ~p*q
Gdzie:
"$" - znaczek spójnika "albo"($)
Stąd zdanie 4 pani przedszkolanki możemy rozwinąć jako:
Y = Y1 + Y3 = p*q + p$q = p*q + p* ~q + ~p*q = p+q
c.n.d.
Oczywistym jest, że zachodzi matematyczna tożsamość zdań wypowiedzianych przez panią przedszkolankę:
1=2=3=4
Moje pytanie do A4karo:
Bardzo mnie ciekawi, czy rozumiesz i akceptujesz matematycznie niniejszy post?
|
|
Powrót do góry |
|
|
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35257
Przeczytał: 24 tematy
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Nie 11:14, 11 Wrz 2022 Temat postu: |
|
|
..
Ostatnio zmieniony przez rafal3006 dnia Nie 11:26, 11 Wrz 2022, w całości zmieniany 1 raz
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35257
Przeczytał: 24 tematy
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Nie 18:00, 11 Wrz 2022 Temat postu: |
|
|
Czego się obawiam w dyskusji z ziemskimi matematykami?
Napisałem bardzo ciekawy post na temat czterech, matematycznie tożsamych wersji dokładnie tego samego zdania podstawowego ze spójnikiem "lub"(+):
[link widoczny dla zalogowanych]
Pani przedszkolanka:
1.
Jutro pójdziemy do kina lub do teatru
Y=K+T
Na końcu tego postu skierowałem pytanie do czytelników:
Rafal3006 napisał: |
Moje pytanie do A4karo:
Bardzo mnie ciekawi, czy rozumiesz i akceptujesz matematycznie niniejszy post?
|
Przykładowy użytkownik zamiast odpowiedzieć na moje precyzyjne pytanie ucieka do zupełnie innego tematu tym postem:
[link widoczny dla zalogowanych]
3a174ad9764fefcb napisał: |
To ja zaprezentuję historię z życia wziętą. Na pewnej renomowanej uczelni na drzwiach laboratorium komputerowego widniał napis: „Zabrania się jedzenia i picia.” Gdy ktoś został poproszony o zastosowanie się do zakazu i zaprzestanie jedzenia, odpowiedział: „Wcale nie łamię zakazu. Czynnością zakazaną jest jedzenie i picie. Ja natomiast tylko jem, ale nie piję. Zatem jem lub piję, ale zakazu nie łamię.” Od tamtej pory zmieniono napis na „Zabrania się jedzenia lub picia.” Czy to jest estetyczne? Czy to jest łatwo zrozumiałe? Dla mnie to po prostu nie jest normalne użycie języka polskiego. Tutaj już lepsze byłoby użycie „i/lub”. Do tego prowadzi twierdzenie, że zasady rządzące językiem powinny być logiczne. |
To jest najgorszy kierunek dyskusji w temacie algebra Kubusia jaki może mi się przydarzyć.
Dlaczego?
Bo zamiast dyskutować o meritum, czyli moich przekształceniach czysto matematycznych dowodzących iż zdanie 1 pani przedszkolanki można wypowiedzieć na cztery różne, ale tożsame matematycznie sposoby moi rozmówcy zaczną wyciągać z rękawa swoje przykłady jak w cytacie wyżej żądając ode mnie dyskusji na temat ich przykładów.
Oczywiście mogę podjąć rękawicę i z nimi dyskutować w temacie narzuconego mi przykładu.
Problem polega na tym, że dyskusja rozmydli się na dyskusję w stylu "gadał dziad do obrazu" bo 100% definicji w algebrze Kubusia jest sprzecznych z Klasycznym Rachunkiem Zdań.
Dowodem jest tu moja dyskusja z Irbisolem:
http://www.sfinia.fora.pl/forum-kubusia,12/szach-mat-ktory-przejdzie-do-historii-matematyki,15663.html#505427
Podsumowując:
Jak ja mam się porozumieć z ziemskimi matematykami gdy będziemy operować w 100% sprzecznymi definicjami?
… przecież to jest fizycznie niemożliwe.
Czy znajdą się ziemscy matematycy którzy to zrozumieją?
Oto jest pytanie.
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35257
Przeczytał: 24 tematy
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Nie 19:14, 11 Wrz 2022 Temat postu: |
|
|
Dyskusja na matematyce.pl
Cytat z matematyki.pl:
[link widoczny dla zalogowanych]
Problem spójnika "lub"(+)
Do rozpoczęcia niniejszego wątku skłonił mnie poniższy post jednego z czytelników.
[link widoczny dla zalogowanych]
3a174ad9764fefcb napisał: |
To ja zaprezentuję historię z życia wziętą. Na pewnej renomowanej uczelni na drzwiach laboratorium komputerowego widniał napis: „Zabrania się jedzenia i picia.” Gdy ktoś został poproszony o zastosowanie się do zakazu i zaprzestanie jedzenia, odpowiedział: „Wcale nie łamię zakazu. Czynnością zakazaną jest jedzenie i picie. Ja natomiast tylko jem, ale nie piję. Zatem jem lub piję, ale zakazu nie łamię.” Od tamtej pory zmieniono napis na „Zabrania się jedzenia lub picia.” Czy to jest estetyczne? Czy to jest łatwo zrozumiałe? Dla mnie to po prostu nie jest normalne użycie języka polskiego. Tutaj już lepsze byłoby użycie „i/lub”. Do tego prowadzi twierdzenie, że zasady rządzące językiem powinny być logiczne. |
Odpowiadam na ostatnie zdanie:
Zasady rządzące językiem potocznym są jak najbardziej matematycznie logiczne, co zmierzam udowodnić w niniejszym poście.
Definicje:
Definicja spójnika "I"(*):
Y = p*q
Definicja spójnika "lub"(+):
Y = p+q
Definicja spójnika "lub"(+) w zdarzeniach rozłącznych:
Y = p*q + p* ~q + ~p*q
Zacznijmy od twojego początkowego ogłoszenia:
1.
Zabrania się jedzenia i picia
Y = J*P
Tu matematycznie łamiemy zakaz tylko wtedy gdy jednocześnie (oczywiście w określonym odcinku czasowym) jemy i pijemy, zatem twoje uwago są tu dobre.
Jeśli ogłoszeniodawcy chodzi o coś innego, co wynika z dalszej części twojego postu to ogłoszenie powinno brzmieć:
2.
Zabrania się jedzenia lub picia
Y = J+P
Oczywiście matematycznie zachodzi:
1: Y=J*P ## 2: Y=J+P
gdzie:
## - zdania różne na mocy definicji
Skupmy się na zdaniu 2 bo o takie ogłoszenie ci w istocie chodzi, co wynika z dalszej części cytatu.
2.
Zabrania się jedzenia lub picia
Y = J+P
Problem polega na tym że wielu ludzi błędnie matematycznie (bo nie uczą tego w I klasie LO) utożsamia spójnik "lub"(+) ze spójnikiem "albo"($). Nie będę tu wyjaśniał dlaczego bo to oddzielny temat.
Ci ludzie nie będą rozumieli ogłoszenia 2.
Jak z tego wybrnąć?
Jedna z tożsamych matematycznie wersji ogłoszenia 2 brzmi:
3.
Zabrania się jedzenia i/lub picia
Dowód tożsamości czysto matematycznej zdań:
2=3
Znajdziemy w tym temacie:
[link widoczny dla zalogowanych]
Smutne jest to, że temat meritum postu z linku wyżej nikt nie chce rozmawiać tzn. nie chce potwierdzić jego poprawności czysto matematycznej (ewentualnie go obalić)
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
lucek
Dołączył: 18 Lut 2011
Posty: 8769
Przeczytał: 0 tematów
|
Wysłany: Nie 20:57, 11 Wrz 2022 Temat postu: |
|
|
jak widzisz rafałku w "naturalnym" języku człowieka "lub" to "albo" choć nawet w j.polskim, zdaje się, "lub" to logiczne "lub", przynajmniej wg. niektórych słowników ... tymczasem ludzie, jak widać, mają z tym problem i niewiadomo skąd pojawia się "i/lub"
... i jak widać logika matematyczna i AK to nie naturalna logika człowieka
ps.
zresztą w j.polskim "lub" i "albo" to synonimy, przynajmniej wg. niektórych słowników
Ostatnio zmieniony przez lucek dnia Nie 21:02, 11 Wrz 2022, w całości zmieniany 1 raz
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35257
Przeczytał: 24 tematy
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Pon 5:43, 12 Wrz 2022 Temat postu: |
|
|
lucek napisał: |
zresztą w j.polskim "lub" i "albo" to synonimy, przynajmniej wg. niektórych słowników |
Czy możesz podać link?
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
lucek
Dołączył: 18 Lut 2011
Posty: 8769
Przeczytał: 0 tematów
|
Wysłany: Pon 6:16, 12 Wrz 2022 Temat postu: |
|
|
rafal3006 napisał: | lucek napisał: |
zresztą w j.polskim "lub" i "albo" to synonimy, przynajmniej wg. niektórych słowników |
Czy możesz podać link? |
a mógłbyś sobie sam poszukać po słownikach? ja to zrobiłem jakiś czas temu, a linków nie notowałem ... musiałbym specjalnie szukać
ps
zresztą odniosłem wrażenie, że autorzy sami nie są pewni co z prblemem "lub/i", poza formą, zrobić.
Ostatnio zmieniony przez lucek dnia Pon 6:26, 12 Wrz 2022, w całości zmieniany 1 raz
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35257
Przeczytał: 24 tematy
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Śro 19:37, 14 Wrz 2022 Temat postu: |
|
|
Rozpoznanie w boju!
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-1675.html#675001
zefciu napisał: | rafal3006 napisał: | Motto Rafała3006:
Napisać algebrę Kubusia w taki sposób, by ziemski matematyk był w stanie ją zrozumieć i zaakceptować, mimo iż na starcie nie zna ani jednej definicji obowiązującej w AK. | Niemożliwe! |
… jednak możliwe.
Na matematyce.pl pojawiałem się kilka razy w ostatnich 16 latach za każdym razem powodując wściekłe ataki fanatyków Klasycznego Rachunku Zdań na algebrę Kubusia.
Dowody:
Fanatycy KRZ z matematyki.pl:
[link widoczny dla zalogowanych]
miodzio1988 z matematyki.pl napisał: | No i na żadne pytanie nie odpowiedziałeś. Żadnego problemu nie postawiłeś . Żadnego problemu nie rozwiązałeś. Wniosek? Nic ta Twoja teoria nie jest warta. Musiałeś trafiić na mnie żeby się do tego przekonać No, ale uświadomiłem Cie. Zajmij się czymś pożytecznym . Ekstrema umiesz liczyć? Całki? |
[link widoczny dla zalogowanych]
miodzio1988 napisał: | Znowu te brednie? Realne zastosowania poprosimy. Postaw problem i rozwiąż go za pomocą tego co napisałeś tutaj. Tylko konkrety poproszę.
Brednie, brednie i jeszcze raz brednie. |
[link widoczny dla zalogowanych]
silicium2002 z matematyki.pl napisał: | To nie ma sensu. Czy ktoś czytał co za brednie powypisywał na tym forum do którego podał linki. Równie dobrze możemy założyć że 2 # 2 i zacząć pisać nową matematykę. Jestem przeciwny takiemu zaśmiecaniu forum. |
Tymczasem!
Moje najnowsze wejście na matematykę.pl kilka dni temu to pogrom fanatyków KRZ tzn. wszyscy schowali się pod kamień udając że nie widzą tego co napisałem.
[link widoczny dla zalogowanych]
*https://matematyka.pl/logika-f100/sens-lacznika-i-lub-t453620.html#p5647419
[link widoczny dla zalogowanych]
*https://matematyka.pl/dyskusje-o-matematyce-f76/problem-spojnika-lub-t453654.html#p5647465
Podsumowując:
Nawet najwięksi fanatycy KRZ zaczęli dostrzegać matematyczny sens algebry Kubusia - tu po prostu od strony czysto matematycznej nie ma się do czego przyczepić.
Amen
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
zefciu/konto zamknięte
Usunięcie na własną prośbę
Dołączył: 09 Cze 2014
Posty: 1078
Przeczytał: 0 tematów
Skąd: Kiekrz Płeć: Mężczyzna
|
Wysłany: Czw 10:34, 15 Wrz 2022 Temat postu: |
|
|
Matematycy krytykują „algebrę” — dowód na jej prawdziwość.
Matematycy olewają „algebrę” — dowód na jej prawdziwość.
Co by się nie działo, zawsze będzie to dowód na jej prawdziwość.
Kilka lat temu obiecywałeś stworzyć „komputer, który myśli jak 5-latek”. I co? I jajco. Stwórz chociaż działający język programowania oparty o „algebrę kubusia”. Masz kompetencje techniczne.
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
szaryobywatel
Dołączył: 21 Wrz 2016
Posty: 6048
Przeczytał: 75 tematów
Płeć: Mężczyzna
|
Wysłany: Czw 15:28, 15 Wrz 2022 Temat postu: |
|
|
Jak język programowania mógłby opierać się o ten bełkot pozbawiony sensu.
Ostatnio zmieniony przez szaryobywatel dnia Czw 15:29, 15 Wrz 2022, w całości zmieniany 1 raz
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
Semele
Bloger na Kretowisku
Dołączył: 09 Lis 2014
Posty: 23086
Przeczytał: 89 tematów
Płeć: Kobieta
|
Wysłany: Czw 15:38, 15 Wrz 2022 Temat postu: |
|
|
A jest logika niematematyczna?
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
szaryobywatel
Dołączył: 21 Wrz 2016
Posty: 6048
Przeczytał: 75 tematów
Płeć: Mężczyzna
|
Wysłany: Czw 16:00, 15 Wrz 2022 Temat postu: |
|
|
Semele napisał: | A jest logika niematematyczna? |
A czemu miałoby nie być?
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
zefciu/konto zamknięte
Usunięcie na własną prośbę
Dołączył: 09 Cze 2014
Posty: 1078
Przeczytał: 0 tematów
Skąd: Kiekrz Płeć: Mężczyzna
|
Wysłany: Pią 7:05, 16 Wrz 2022 Temat postu: |
|
|
szaryobywatel napisał: | Jak język programowania mógłby opierać się o ten bełkot pozbawiony sensu. | Ależ właśnie o to mi chodzi. Skoro rafal3006 jest przekonany, że NTI ma sens, to najłatwiej byłoby mu to wykazać przedstawiając jakąś praktyczną aplikację. Np. stworzyć język programowania, który będzie bardziej intuicyjny, niż języki oparte o algebrę Boole’a. Pytanie brzmi, dlaczego rafal3006 w ogóle się tego nawet nie próbuje podjąć. Gość ma doświadczenie komputerowe, które teoretycznie powinno mu na to pozwolić. Ma też czas, który poświęca na pisanie ścian tekstu, a który powinien wystarczy choćby na stworzenie PoC.
Powyższe jest dla mnie dowodem, że rafał3006 sam w sensowność swojej NTI nie wierzy. Zatem dyskutowanie z nim nie ma sensu. Zwłaszcza, iż jest to użytkownik wytrenowany w uciekaniu od tematów. Gdyby rafal3006 chociaż próbował jakoś realnie wykorzystać NTI, to bym mógł dopuścić myśl, że jestem zwyczajnie za głupi, aby ją zrozumieć (wszak istnieją takie działy matematyki, których nie rozumiem).
Ostatnio zmieniony przez zefciu/konto zamknięte dnia Pią 7:07, 16 Wrz 2022, w całości zmieniany 1 raz
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35257
Przeczytał: 24 tematy
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Pią 8:21, 16 Wrz 2022 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-1700.html#676327
zefciu napisał: | Matematycy krytykują „algebrę” — dowód na jej prawdziwość.
Matematycy olewają „algebrę” — dowód na jej prawdziwość.
Co by się nie działo, zawsze będzie to dowód na jej prawdziwość.
Kilka lat temu obiecywałeś stworzyć „komputer, który myśli jak 5-latek”. I co? I jajco. Stwórz chociaż działający język programowania oparty o „algebrę kubusia”. Masz kompetencje techniczne. |
Zefciu Drogi,
W 100-milowym lesie wszelkie komputery działają w 100% na tej samej zasadzie jak w świecie człowieka tzn. w programowaniu komputerów wykorzystywany jest tylko i wyłącznie operator równoważności p|<=>q.
Wykorzystanie operatorów implikacji prostej p||=>q i implikacji i odwrotnej p||=>q to absolutny idiotyzm który w świecie techniki, a co za tym idzie w programowaniu komputerów, nigdy nie znajdzie zastosowania.
Dlaczego?
Definicja wolnej woli w świecie żywym:
Wolna wola to zdolność do gwałcenia wszelkich praw logiki matematycznej wyznaczanej przez świat martwy (w tym przez matematykę)
Szerzej na ten temat możesz sobie poczytać tu:
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego-2022-09-01,21473-25.html#670879
13.0 Zastosowanie algebry Kubusia w świecie techniki
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-1700.html#676401
zefciu napisał: | szaryobywatel napisał: | Jak język programowania mógłby opierać się o ten bełkot pozbawiony sensu. | Ależ właśnie o to mi chodzi. Skoro rafal3006 jest przekonany, że NTI ma sens, to najłatwiej byłoby mu to wykazać przedstawiając jakąś praktyczną aplikację. Np. stworzyć język programowania, który będzie bardziej intuicyjny, niż języki oparte o algebrę Boole’a. Pytanie brzmi, dlaczego rafal3006 w ogóle się tego nawet nie próbuje podjąć. Gość ma doświadczenie komputerowe, które teoretycznie powinno mu na to pozwolić. Ma też czas, który poświęca na pisanie ścian tekstu, a który powinien wystarczy choćby na stworzenie PoC.
Powyższe jest dla mnie dowodem, że rafał3006 sam w sensowność swojej NTI nie wierzy. Zatem dyskutowanie z nim nie ma sensu. Zwłaszcza, iż jest to użytkownik wytrenowany w uciekaniu od tematów. Gdyby rafal3006 chociaż próbował jakoś realnie wykorzystać NTI, to bym mógł dopuścić myśl, że jestem zwyczajnie za głupi, aby ją zrozumieć (wszak istnieją takie działy matematyki, których nie rozumiem). |
Wyjaśnienie:
NTI = Nowa Teoria Implikacji
AK = Algebra Kubusia
NTI to nazwa przejściowa Algebry Kubusia (AK) gdy była ona niemowlęciem na ateiście.pl
Zefciu Drogi,
Jeśli rzeczywiście jesteś programistą (co deklarujesz) to bez problemu powinieneś zrozumieć ten rozdział z algebry Kubusia
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego-2022-09-01,21473-25.html#670879
13.0 Zastosowanie algebry Kubusia w świecie techniki
Przeczytaj proszę punkt 13.0 z algebry Kubusia i napisz czego nie rozumiesz?
Chętnie ci wyjaśnię to, czego nie rozumiesz.
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
zefciu/konto zamknięte
Usunięcie na własną prośbę
Dołączył: 09 Cze 2014
Posty: 1078
Przeczytał: 0 tematów
Skąd: Kiekrz Płeć: Mężczyzna
|
Wysłany: Pią 9:00, 16 Wrz 2022 Temat postu: |
|
|
Cytat: | Chętnie ci wyjaśnię to, czego nie rozumiesz. | Napisałem. Nie rozumiem, dlaczego floodujesz fora, zamiast stworzyć proof-of-concept, który by potwierdził, że masz rację.
Ostatnio zmieniony przez zefciu/konto zamknięte dnia Pią 9:00, 16 Wrz 2022, w całości zmieniany 1 raz
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35257
Przeczytał: 24 tematy
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Pią 9:58, 16 Wrz 2022 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-1700.html#676409
zefciu napisał: | Cytat: | Chętnie ci wyjaśnię to, czego nie rozumiesz. | Napisałem. Nie rozumiem, dlaczego floodujesz fora, zamiast stworzyć proof-of-concept, który by potwierdził, że masz rację. |
Zefciu drogi,
Uściślam moje pytanie.
Na mocy niniejszego postu zapytuję:
Czy zgadzasz się że w programowaniu komputerów operator implikacji prostej p||=>q jest idiotyzmem?
TAK/NIe
13.2 Operator implikacji prostej p||=>q w świecie techniki
A1B1:
Definicja implikacji prostej p|=>q w logice dodatniej (bo q):
Implikacja prosta p|=>q w logice dodatniej (bo q) to spełnienie wyłącznie warunku wystarczającego => między tymi samymi punktami i w tym samym kierunku
A1: p=>q =1 - zajście p jest (=1) wystarczające => dla zajścia q
B1: p~>q =0 - zajście p nie jest (=0) konieczne ~> dla zajścia q
Stąd mamy definicję implikacji prostej p|=>q w równaniu logicznym:
A1B1: p|=>q = (A1: p=>q)*~(B1: p~>q) =1*~(0)=1*1 =1
Czytamy:
Implikacja prosta p|=>q jest prawdziwa (=1) wtedy i tylko wtedy gdy zajście p jest (=1) wystarczające => dla zajścia q (A1) ale nie jest konieczne ~> dla zajścia q (B1)
stąd mamy:
Tabela prawdy implikacji prostej p|=>q:
Kod: |
IP
Definicja implikacji prostej p|=>q w logice dodatniej (bo q):
Implikacja prosta p|=>q w logice dodatniej (bo q)
to spełnienie wyłącznie warunku wystarczającego =>
między tymi samymi punktami i w tym samym kierunku
A1: p=>q =1 - zajście p jest (=1) wystarczające => dla zajścia q
B1: p~>q =0 - zajście p nie jest (=0) konieczne ~> dla zajścia q
Stąd mamy definicję implikacji prostej p|=>q w równaniu logicznym:
A1B1: p|=>q = (A1: p=>q)*~(B1: p~>q) =1*~(0)=1*1 =1
Matematyczne związki warunku wystarczającego => i koniecznego ~>
w implikacji prostej p|=>q
A1B1: A2B2: | A3B3: A4B4:
A: 1: p=>q=1 = 2:~p~>~q=1 [=] 3: q~>p=1 = 4:~q=>~p=1
A’: 1: p~~>~q=0 4:~q~~>p=0
## ## ## ##
B: 1: p~>q=0 = 2:~p=>~q=0 [=] 3: q=>p=0 = 4:~q~>~p=0
B’: 2:~p~~>q=1 3: q~~>~p=1
Gdzie:
## - różne na mocy definicji warunku wystarczającego => i koniecznego ~>
p i q muszą być wszędzie tymi samymi p i q inaczej błąd podstawienia
|
Prawa Sowy dla implikacji prostej p|=>q:
Prawdziwość dowolnego zdania serii Ax wymusza prawdziwość wszystkich zdań serii Ax
Fałszywość dowolnego zdania serii Bx wymusza fałszywość wszystkich zdań serii Bx
Na mocy prawa Sowy prawdziwa implikacja prosta p|=>q determinuje prawdziwość operatora implikacji prostej p||=>q (albo odwrotnie)
W powyższej tabeli prawdy uwzględniono definicję kontrprzykładu, działającą wyłącznie w warunku wystarczającym =>.
Definicja kontrprzykładu w zdarzeniach:
Kontrprzykładem dla warunku wystarczającego p=>q nazywamy to samo zdanie z zanegowanym następnikiem kodowane zdarzeniem możliwym p~~>~q=p*~q
Rozstrzygnięcia:
Prawdziwość warunku wystarczającego p=>q=1 wmusza fałszywość kontrprzykładu p~~>~q=p*~q=0 (i odwrotnie)
Fałszywość warunku wystarczającego p=>q=0 wmusza prawdziwość kontrprzykładu p~~>~q=p*~q=1
(i odwrotnie)
Jak działa operator implikacji prostej p||=>q w programowaniu komputerów?
Rozważmy fragment programu komputerowego wykonującego dodawanie dwóch 8-bitowych liczb binarnych A i B działającego w oparciu o definicję operatora implikacji prostej p||=>q
Potrzebne definicje:
A, B - ośmiobitowe liczby binarne (zakładamy mikroprocesor 8 bitowy np. Z80)
A:=A+B - do rejestru A wpisz „:=”sumę algebraiczną rejestrów A+B.
c - jednobitowy wskaźnik przeniesienia w dodawaniu dwóch liczb A i B o znaczeniu:
c - przeniesienie wystąpiło (c=1), jednobitowa zmienna binarna
~c - przeniesienie nie wystąpiło (~c=1), jednobitowa zmienna binarna
q - procedura obsługująca przeniesienie „c”, gdy wystąpiło przeniesienie w operacji dodawania A+B
~q - procedura obsługująca brak przeniesienia „~c” w operacji dodawania A+B
Nanieśmy nasz przykład do tabeli prawdy implikacji prostej p|=>q:
Kod: |
TR
Tabela prawdy implikacji prostej c|=>q
A1B1: A2B2: | A3B3: A4B4:
Zapis formalny:
A: 1: p=>q=1 = 2:~p~>~q=1 [=] 3: q~>p=1 = 4:~q=>~p=1
A’: 1: p~~>~q=0 4:~q~~>p=0
## ## ## ##
B: 1: p~>q=0 = 2:~p=>~q=0 [=] 3: q=>p=0 = 4:~q~>~p=0
B’: 2:~p~~>q=1 3: q~~>~p=1
Nasz przykład:
A: 1: c=>q=1 = 2:~c~>~q=1 [=] 3: q~>c=1 = 4:~q=>~c=1
A’: 1: c~~>~q=0 4:~q~~>c=0
## ## ## ##
B: 1: c~>q=0 = 2:~c=>~q=0 [=] 3: q=>c=0 = 4:~q~>~c=0
B’: 2:~c~~>q=1 3: q~~>~c=1
Gdzie:
## - różne na mocy definicji warunku wystarczającego => i koniecznego ~>
p i q muszą być wszędzie tymi samymi p i q inaczej błąd podstawienia
|
Prawa Sowy dla implikacji prostej p|=>q:
Prawdziwość dowolnego zdania serii Ax wymusza prawdziwość wszystkich zdań serii Ax
Fałszywość dowolnego zdania serii Bx wymusza fałszywość wszystkich zdań serii Bx
Na mocy prawa Sowy prawdziwa implikacja prosta c|=>q determinuje prawdziwość operatora implikacji prostej c||=>q (albo odwrotnie)
Narysujmy schemat blokowy interesującego nas fragmentu programu:
Kod: |
---------
| START |
---------
|
c ------------ ~c
-----------| A:=A+B |-------
| ------------ |
| |
| |
| reszka ---------------- orzełek
|<--------------------|reszka/orzełek|-------
| ---------------- |
| |
--------------- ----------------
| Procedura q | | Procedura ~q |
--------------- ----------------
| |
------- -------
| END | | END |
------- -------
|
Definicja operatora implikacji prostej p||=>q:
Operator implikacji prostej p||=>q to układ równań A1B1 i A2B2 dający odpowiedź na dwa pytania o p i ~p:
A1B1: p|=>q = (A1: p=>q)*~(B1: p~>q) =1*~(0)=1*1 =1 - co się stanie jeśli zajdzie p?
A2B2: ~p|~>~q = (A2: ~p~>~q)*~(B2: ~p=>~q) =1*~(0)=1*1=1 - co się stanie jeśli zajdzie ~p?
Nasz przykład:
A1B1:
Co się stanie jeśli wystąpi przeniesienie „c” (c=1)?
Odpowiedź mamy w kolumnie A1B1:
A1: c=>q =1 - wystąpienie przeniesienia „c” jest (=1) wystarczające => dla wykonania procedury q
B1: c~>q =0 - wystąpienie przeniesienia „c” nie jest (=0) konieczne ~> dla wykonania procedury q
Stąd:
c|=>q = (A1: c=>q)*~(B1: c~>q) =1*~(0)=1*1 =1
A1B1:
Co się stanie jeśli wystąpi przeniesienie „c” (c=1)?
Odpowiedź w postaci zdań warunkowych „Jeśli p to q” mamy w kolumnie A1B1:
A1.
Jeśli wystąpi przeniesienie „c” to na 100% => wykonana zostanie procedura q
c=>q =1
Zajście „c” jest (=1) warunkiem wystarczającym => dla zajścia q
Zajście „c” daje nam gwarancję matematyczną => zajścia q
Zachodzi tożsamość pojęć:
Warunek wystarczający => = Gwarancja matematyczna =>
Prawdziwość warunku wystarczającego A1 wymusza fałszywość kontrprzykładu A1’ (i odwrotnie)
A1’.
Jeśli wystąpi przeniesienie „c” to może ~~> zostać wykonana procedura ~q
c~~>~q = c*~q =0
Niemożliwe jest (=0) zdarzenie: zajdzie przeniesienie c (c=1) i zostanie wykonana procedura ~q
Wniosek:
Z kolumny A1B1 wynika, że jeśli zajdzie przeniesienie „c” to na 100% => zostanie wykonana procedura „q” obsługująca to przeniesienie, bowiem zakazane jest (=0) wówczas wykonanie procedury „~q”
… a jeśli przeniesienie „c” nie wystąpi (~c=1)?
Prawo Prosiaczka:
(~c=1) = (c=0)
Odpowiedź na to pytanie mamy w kolumnie A2B2.
A2B2:
Co się stanie jeśli przeniesienie „c” nie wystąpi (~c=1)?
A2: ~c~>~q =1 - brak przeniesienia „c” (~c=1) jest konieczny ~> dla wykonania procedury ~q
B2: ~c=>~q =0 - brak przeniesienia „c” (~c=1) nie jest (=0) wystarczający => dla wykonania ~q
Stąd:
~c|~>~q = (A2:~c~>~q)*~(B2:~c=>~q) =1*~(0)=1*1=1
A2B2:
Co się stanie jeśli nie wystąpi przeniesienie „c” (~c=1)?
Prawo Kubusia:
A1: c=>q = A2: ~c~>~q
Odpowiedź w zdaniach warunkowych „Jeśli p to q” mamy w kolumnie A2B2:
A2.
Jeśli nie wystąpi przeniesienie „c” (~c=1) to może ~> zostać wykonana procedura ~q
~c~>~q =1
Brak przeniesienia „c” (~c=1) jest konieczny ~> dla wykonania procedury ~q bo jak wystąpi przeniesienie „c” to na 100% => wykonana zostanie procedura q
Prawo Kubusia samo nam tu wyskoczyło:
A2: ~c~>~q = A1: c=>q
LUB
Fałszywość warunku wystarczającego B2: ~c=>~q=0 wymusza prawdziwość kontrprzykładu B2’ (i odwrotnie)
B2’.
Jeśli nie wystąpi przeniesienie „c” (~c=1) to może ~~> zostać wykonana procedura q
~c~~>q = ~c*q =1
Możliwe jest (=1) zdarzenie: nie wystąpi przeniesienie „c” (~c=1) i zostanie wykonana procedura q
Wniosek:
Z kolumny A2B2 wynika, że jeśli nie wystąpi przeniesienie „c” (~c=1) to mamy najzwyklejsze „rzucanie monetą” w sensie „na dwoje babka wróżyła” bo wówczas może ~> być wykonana procedura „~q” na mocy zdania B2 albo może zostać wykonana procedura „q” na mocy zdania B2’
Innymi słowy:
Jeśli nie wystąpi przeniesienie „c” (~c=1) to w programie zostanie wywołany generator cyfr losowych dający binarną odpowiedź:
orzełek - wykonaj procedurę ~q
reszka - wykonaj procedurę q
co pokazano na schemacie blokowym
Podsumowując:
1.
Implikacja prosta c|=>q to gwarancja matematyczna => po stronie „c” (c=1), o czym mówi zdanie A1 oraz najzwyklejsze „rzucanie monetą” w rozumieniu „na dwoje babka wróżyła” po stronie ~c (~c=1) o czym mówią zdania A2 i B2’.
2.
Wnioek:
W dowolnym programie komputerowym sterowanie rozgałęzieniem c i ~c przy pomocy operatora implikacji prostej c||=>q nie ma sensu, bowiem po stronie ~c dajemy programowi „wolną wolę” w postaci „rzucania monetą”.
Innymi słowy:
W przypadku braku przeniesienia „c” (~c=1) obsługa dodawania dowolnie długich liczb binarnych An+Bn będzie działała czasami dobrze, gdy program wylosuje „orzełka” (~q), a czasami źle, gdy program wylosuje „reszkę” (q).
Innymi słowy:
Sterowanie rozgałęzieniem w dowolnym programie przy pomocy operatora implikacji prostej p||=>q jest matematycznie błędne (jest idiotyzmem).
cnd
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
zefciu/konto zamknięte
Usunięcie na własną prośbę
Dołączył: 09 Cze 2014
Posty: 1078
Przeczytał: 0 tematów
Skąd: Kiekrz Płeć: Mężczyzna
|
Wysłany: Pią 10:02, 16 Wrz 2022 Temat postu: |
|
|
rafal3006 napisał: | Zefciu drogi,
Uściślam moje pytanie. | A jak uściślenie Twojego pytania ma pomóc odpowiedzieć na moje?
Cytat: | Na mocy niniejszego postu zapytuję | Nie mam ochoty na kontynuowanie tej zabawy, jeśli Ty nie dasz choćby obietnicy, że będziesz dyskutował jak z człowiekiem.
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35257
Przeczytał: 24 tematy
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Sob 7:58, 17 Wrz 2022 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-1700.html#676423
zefciu napisał: | rafal3006 napisał: | Zefciu drogi,
Uściślam moje pytanie. | A jak uściślenie Twojego pytania ma pomóc odpowiedzieć na moje?
Cytat: | Na mocy niniejszego postu zapytuję | Nie mam ochoty na kontynuowanie tej zabawy, jeśli Ty nie dasz choćby obietnicy, że będziesz dyskutował jak z człowiekiem. |
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-1700.html#676409
zefciu napisał: | Cytat: | Chętnie ci wyjaśnię to, czego nie rozumiesz. | Napisałem. Nie rozumiem, dlaczego floodujesz fora, zamiast stworzyć proof-of-concept, który by potwierdził, że masz rację. |
Zefciu drogi,
Proof-of-concept algebry Kubusia masz w punkcie 1.0.
Czy możesz przeczytać tylko 1.0 do 1.4 który to fragment jest dowodem prawa Grzechotnika?
1.3.1 Dowód wewnętrznej sprzeczności ziemskiego rachunku zero-jedynkowego
Największą tragedią ziemskiego rachunku zero-jedynkowego jest fakt, że w bramkach logicznych po stronie wejścia cyfrowego widzi on zmienne binarne w logice dodatniej (bo p) i ujemnej (bo ~p), ale nie widzi dokładnie tego samego po stronie wyjścia cyfrowego Y, tu obowiązuje bezwzględny zakaz widzenia wyjścia Y w logice ujemnej (bo ~Y).
Odpowiednikiem tego faktu w matematyce klasycznej byłoby widzenie w układzie Kartezjańskim na osi X zmiennych dodatnich (x) i zmiennych ujemnych (~x) z zakazem widzenia dokładnie tego samego na osi Y, gdzie dozwolone byłoby widzenie jedynie zmiennych dodatnich (y).
Czy ktokolwiek wyobraża sobie współczesną matematykę z takim upośledzonym układem Kartezjańskim?
Film powinien zaczynać się od trzęsienia ziemi, potem zaś napięcie ma nieprzerwanie rosnąć
Alfred Hitchcock.
Prawo Grzechotnika:
Ziemski rachunek zero-jedynkowy który nie widzi funkcji logicznej w logice dodatniej (bo Y) i funkcji logicznej w logice ujemnej (bo ~Y) jest wewnętrznie sprzeczny na poziomie funkcji logicznych.
Doskonale widać, że poznana wyżej tabela prawdy wszystkich możliwych funkcji logicznych jednoargumentowych TF1 perfekcyjnie spełnia zarówno definicję znaczka różne # jak i definicję znaczka różne na mocy definicji ##
Aktualny rachunek zero-jedynkowy ziemskich matematyków operuje tylko i wyłącznie na wyrażeniach algebry Boole’a, czyli na prawych stronach powyższych funkcji logicznych.
Dowód:
W całym Internecie (plus podręczniki matematyki) kolumny wynikowe w rachunku zero-jedynkowym opisywane są wyłącznie wyrażeniami algebry Boole’a, a nie funkcjami logicznymi Y i ~Y jak to jest w algebrze Kubusia.
W porywach (rzadkich przypadkach) ziemskiego rachunku zero-jedynkowego znajdziemy zapis funkcji logicznej Y w logice dodatniej (bo Y), ale nigdzie nie znajdziemy tej samej funkcji logicznej w logice ujemnej (bo ~Y).
Co ciekawe, świat techniki z którego przybyłem (elektronika) nie opisuje bramek logicznych wyrażeniami algebry Boole’a tylko zawsze i wszędzie funkcjami logicznymi w logice dodatniej (bo Y) ale niestety, także świat techniki nie widzi funkcji logicznych w logice ujemnej (bo ~Y).
Usuńmy zatem wszystkie funkcje logiczne Y i ~Y z tabeli TF1 pozostawiając jedynie wyrażenia algebry Boole’a
Kod: |
TF1’
Operatory logiczne jednoargumentowe Y|=f(p):
1.
Operator transmisji Y|=p to układ równań logicznych A0 i B0
A0: p # B0: ~p
## ##
2.
Operator negacji Y|=~p to układ równań logicznych A1 i B1
A1:~p # B1: p
## ##
3.
Operator zdania zawsze prawdziwego Y|=p+~p to układ równań A2 i B2
A2: p+~p=1 # B2: p*~p=0
## ##
4.
Operator zdania zawsze fałszywego Y|=p*~p to układ równań A3 i B3
A3: p*~p=0 # B3: p+~p=1
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony
## - różne na mocy definicji funkcji logicznych
p i Y muszą być wszędzie tymi samymi p i Y inaczej błąd podstawienia
|
Po usunięciu funkcji logicznych Y i ~Y najważniejszy znaczek logiki matematycznej, znaczek różne na mocy definicji ## leży gruzach bowiem w tabeli TF1’ zachodzą następujące tożsamości logiczne
Kod: |
A0: p = B1: p
A1: ~p = B0: ~p
A2: p+~p=1 = B3: p+~p=1
A3: p*~p=0 = B2: p*~p=0
|
cnd
Ostatnio zmieniony przez rafal3006 dnia Sob 8:11, 17 Wrz 2022, w całości zmieniany 3 razy
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
zefciu/konto zamknięte
Usunięcie na własną prośbę
Dołączył: 09 Cze 2014
Posty: 1078
Przeczytał: 0 tematów
Skąd: Kiekrz Płeć: Mężczyzna
|
Wysłany: Sob 9:02, 17 Wrz 2022 Temat postu: |
|
|
rafal3006 napisał: | Proof-of-concept algebry Kubusia masz w punkcie 1.0. | Nie, nie mam. Wybacz, ale ja jestem człek prosty, cham klepiący kod, a nie wysublimowany teoretyk. I ja rozumiem konkrety, a nie ściany tekstu. Za cholerę nie kumam, czemu „monada to monoid w kategorii endofuntorów”. Ale rozumiem, jak zdefiniować i użyć monady w Haskellu.
Dlatego jak chcesz przekonać mnie (i mnóstwo osób mnie podobnych) do Algebry Kubusia, to musisz stworzyć coś namacalnego i działającego.
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35257
Przeczytał: 24 tematy
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Sob 19:06, 17 Wrz 2022 Temat postu: |
|
|
zefciu napisał: | rafal3006 napisał: | Proof-of-concept algebry Kubusia masz w punkcie 1.0. | Nie, nie mam. Wybacz, ale ja jestem człek prosty, cham klepiący kod, a nie wysublimowany teoretyk. I ja rozumiem konkrety, a nie ściany tekstu. Za cholerę nie kumam, czemu „monada to monoid w kategorii endofuntorów”. Ale rozumiem, jak zdefiniować i użyć monady w Haskellu.
Dlatego jak chcesz przekonać mnie (i mnóstwo osób mnie podobnych) do Algebry Kubusia, to musisz stworzyć coś namacalnego i działającego. |
[link widoczny dla zalogowanych]
Paradygmat (gr. παράδειγμα parádeigma „przykład, wzór”)[1][2] – w rozumieniu wprowadzonym przez filozofa Thomasa Kuhna w książce Struktura rewolucji naukowych (The Structure of Scientific Revolutions) opublikowanej w 1962 roku – to zbiór pojęć i teorii tworzących podstawy danej nauki.
Kuhn utrzymywał także, że – wbrew obiegowym opiniom – typowi naukowcy nie są obiektywnymi i niezależnymi myślicielami, a są konserwatystami, którzy godzą się z tym, czego ich nauczono i stosują tę naukę (wiedzę) do rozwiązywania problemów zgodnie z dyktatem wyuczonej przez nich teorii. Większość z nich w istocie jedynie składa układanki, celując w odkrywaniu tego, co i tak już jest im znane – „Człowiek, który usiłuje rozwiązać problem zdefiniowany przez istniejącą wiedzę i technikę nie ma szerszych horyzontów. Wie on co chce osiągnąć, i w zgodzie z tym projektuje swoje narzędzia i kieruje swoimi myślami”.
Paradygmat a rewolucja naukowa
W czasach nauki instytucjonalnej (określenie również wprowadzone przez Kuhna) podstawowym zadaniem naukowców jest doprowadzenie uznanej teorii i faktów do najściślejszej zgodności. W konsekwencji naukowcy mają tendencję do ignorowania odkryć badawczych, które mogą zagrażać istniejącemu paradygmatowi i spowodować rozwój nowego, konkurencyjnego paradygmatu.
Na przykład Ptolemeusz spopularyzował pogląd, że Słońce obiega Ziemię, i to przekonanie było bronione przez stulecia nawet w obliczu obalających je dowodów. Jak zaobserwował Kuhn, w trakcie rozwoju nauki „nowości wprowadzane są z trudem i z towarzyszącym mu, zgodnym z oczekiwaniami, jawnym oporem”. I tylko młodzi uczeni, nie tak głęboko indoktrynowani przez uznane teorie – jak Newton, Lavoisier lub Einstein – mogą dokonać odrzucenia starego paradygmatu.
Takie rewolucje naukowe następują tylko po długich okresach nauki instytucjonalnej, tradycyjnie ograniczonej ramami, w których musiała się ona (nauka) znajdować i zajmować się badaniami, zanim mogła te ramy zniszczyć”. Zresztą kryzys zawsze niejawnie tai się w badaniach, ponieważ każdy problem, który nauka instytucjonalna postrzega jako łamigłówkę, może być ujrzany z innej perspektywy, jako sprzeczność (wyłom), a zatem źródło kryzysu – jest to „istotne obciążenie” badań naukowych.
Kryzysy w nauce
Kryzysy są wyzwalane, gdy uczeni uznają odkryte sprzeczności za anomalię w dopasowaniu istniejącej teorii z naturą. Wszystkie kryzysy są rozwiązywane na trzy sposoby:
1.
Nauka instytucjonalna może udowodnić zdolność do objęcia kryzysowego problemu, i w tym przypadku wszystko wraca do „normalności”.
2.
Alternatywnie, problem pozostaje, jest zaetykietowany, natomiast postrzega się go jako wynik niemożności użycia niezbędnych przyrządów do rozwiązania go, więc uczeni pozostawiają go przyszłym pokoleniom z ich bardziej rozwiniętymi (zaawansowanymi) przyborami.
3.
W niewielu przypadkach pojawia się nowy kandydat na paradygmat, i wynika bitwa o jego uznanie będąca w istocie wojną paradygmatów.
Kuhn argumentuje, że rewolucje naukowe są nieskumulowanym epizodem rozwojowym, podczas którego starszy paradygmat jest zamieniany w całości lub po części przez niezgodny z nim paradygmat nowszy. Ale nowy paradygmat nie może być zbudowany na poprzedzającym go, a raczej może go tylko zamienić, gdyż „instytucjonalna tradycja naukowa wyłaniająca się z rewolucji naukowej jest nie tylko niezgodna, ale też nieuzgadnialna z tą, która pojawiła się przed nią”.
Rewolucja kończy się całkowitym zwycięstwem jednego z dwóch przeciwnych obozów.
Zefciu drogi,
W akceptacji algebry Kubusia tacy pseudo naukowcy jak ty, "klepiący kod", nie mający szerszych horyzontów, są bez znaczenia, czyli zupełnie mnie nie interesują.
Z doświadczenia wiem, iż matematycy na matematyce.pl bez problemu uznawali wszelkie wyprowadzone przeze mnie prawa algebry Kubusia mimo że wcześniej o nich nie słyszeli np. o prawach Kubusia
Prawa Kubusia:
p=>q = ~p~>~q
p~>q = ~p=>~q
Prawa te zapisałem po raz pierwszy 15 lat temu, ich matematyczną poprawność natychmiast uznał Wuj Zbój, jako pierwszy ziemian.
Żaden matematyk na matematyce.pl nigdy nie kwestionował poprawności matematycznej praw Kubusia.
Ty Zewciu drogi, potrafisz jedynie tupać nóżkami i machać łapkami krzycząc "algebra Kubusia to gówno"
Oczywistym jest że tacy pseudo naukowcy jak ty, totalnie mnie nie interesuję, nie do nich chcę dotrzeć!
Ostatnio zmieniony przez rafal3006 dnia Sob 19:35, 17 Wrz 2022, w całości zmieniany 6 razy
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
zefciu/konto zamknięte
Usunięcie na własną prośbę
Dołączył: 09 Cze 2014
Posty: 1078
Przeczytał: 0 tematów
Skąd: Kiekrz Płeć: Mężczyzna
|
Wysłany: Sob 19:37, 17 Wrz 2022 Temat postu: |
|
|
Aha, OK, spoko. Będę się trzymał z daleka i postaram się, abyś nie mógł zasrać ateisty.
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35257
Przeczytał: 24 tematy
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Sob 19:45, 17 Wrz 2022 Temat postu: |
|
|
zefciu napisał: | Aha, OK, spoko. Będę się trzymał z daleka i postaram się, abyś nie mógł zasrać ateisty. |
Twoja ateista.pl mi lata, bo tam są moderatorzy "klepiący kod", tobie podobni.
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
zefciu/konto zamknięte
Usunięcie na własną prośbę
Dołączył: 09 Cze 2014
Posty: 1078
Przeczytał: 0 tematów
Skąd: Kiekrz Płeć: Mężczyzna
|
Wysłany: Nie 8:10, 18 Wrz 2022 Temat postu: |
|
|
rafal3006 napisał: | Twoja ateista.pl mi lata | Tak bardzo Ci lata, że w kwetniu próbowałeś tam wrócić. Gdzie Twój honor?
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35257
Przeczytał: 24 tematy
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Nie 22:25, 18 Wrz 2022 Temat postu: |
|
|
zefciu napisał: | rafal3006 napisał: | Twoja ateista.pl mi lata | Tak bardzo Ci lata, że w kwetniu próbowałeś tam wrócić. Gdzie Twój honor?
|
Zafciu drogi,
Mój honor jest w porządku, natomiast honor Fizyka i twój w czarnej dziurze.
Dowód:
1.
Za czasów Barta śfinia i ateista.pl były jedynymi forami na ziemi ze 100% wolnością słowa tzn. nikt nigdy nie został tu zbanowany za poglądy, czy też za głoszone idee.
Co więcej, za czasów Barta śfinia i ateista.pl miały wspólne działania np. to:
http://www.sfinia.fora.pl/komentarze-otwarte-referarium-filozoficzne-orf,48/
Niestety, Bart przekazał alteistę.pl nieodpowiedniemu człowiekowi, Fizykowi, który wspólne działania śfinii i arteisty.pl natychmiast wywalił w kosmos.
2.
Na ateiście.pl rozpoczął się okres zamordyzmu trwający po dzień dzisiejszy tzn. wszystkich inaczej myślących niż Fizyk w kosmos np. algebra Kubusia.
3.
W 2009 roku moderatorka ateisty.pl dała mi słowo, że nie zostanę zbanowany za zaśmiecanie forum ateista.pl pod warunkiem że będę pisał o NTI w jednym wątku, tym wątku:
[link widoczny dla zalogowanych]
*https://ateista.pl/showthread.php?tid=6213&pid=272149#pid272149
Ja słowa dotrzymałem.
4.
Niestety, do moderacji dorwał się Fizyk, mający w dupie dane mi słowo przez innego moderatora, co sam otwarcie napisał, i zamknał wątek NTI
5.
Do Zefcia,
Wytłumacz się kłamco perfidny w jaki sposób zaśmiecałem ci całe forum ateista.pl pisząc w jednym, jedynym wątku?
Podsumowując:
a)
Fizyk ma swój honor w dupie bo zamknął wątek NTI, łamiąc przyrzeczenie innego moderatora
b)
Zefciu ma swój honor w dupie pisząc jakobym śmiecił po całym forum ateista.pl, podczas gdy pisałem w jednym, jedynym wątku:
[link widoczny dla zalogowanych]
*https://ateista.pl/showthread.php?tid=6213&pid=272149#pid272149
c)
W moim ostatnim wejściu na ateistę.pl podałem tylko link do końcowej wersji algebry Kubusia:
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego-2022-09-01,21473.html#669585
Mając nadzieję, że Fizyk zrozumie AK i przeprosi mnie za niesłuszne zbanowanie z ateisty.pl.
Niestety, u Fizyka i Zefcia wszystko po staremu, czyli tupią nóżkami i machają łapkami krzycząc:
"Algebra Kubusia to gówno"
Ostatnio zmieniony przez rafal3006 dnia Pon 7:08, 19 Wrz 2022, w całości zmieniany 3 razy
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
zefciu/konto zamknięte
Usunięcie na własną prośbę
Dołączył: 09 Cze 2014
Posty: 1078
Przeczytał: 0 tematów
Skąd: Kiekrz Płeć: Mężczyzna
|
Wysłany: Pon 7:05, 19 Wrz 2022 Temat postu: |
|
|
rafal3006 napisał: | Niestety, Bart przekazał alteistę.pl nieodpowiedniemu człowiekowi, Fizykowi, który wspólne działania śfinii i arteisty.pl natychmiast wywalił w kosmos. | Bredzisz. Bart przekazał ateistę Bohohowi, a ORF umarło dużo wcześniej.
Cytat: | Na ateiście.pl rozpoczął się okres zamordyzmu trwający po dzień dzisiejszy tzn. wszystkich inaczej myślących niż Fizyk w kosmos np. algebra Kubusia. | A po polsku?
Cytat: | W 2009 roku moderatorka ateisty.pl dała mi słowo, że nie zostanę zbanowany za zaśmiecanie forum ateista.pl pod warunkiem że będę pisał o NTI w jednym wątku, tym wątku:
[link widoczny dla zalogowanych]
*https://ateista.pl/showthread.php?tid=6213&pid=272149#pid272149
Ja słowa dotrzymałem. | Gdzie ta obietnica? Bo nie w tym poście przecież. To jest Twój post, a nie moderatorki.
Cytat: | Niestety, do moderacji dorwał się Fizyk, mający w dupie dane mi słowo przez innego moderatora, co sam otwarcie napisał, i zamknał wątek NTI | Fizyk dał Ci szansę. Miałeś pisać w tym wątku [link widoczny dla zalogowanych] i miałeś spełnić określone wymogi. Miałeś w dupie. Nie zostałeś zablokowany za poglądy. Kłamiesz.
Cytat: | Wytłumacz się kłamco perfidny w jaki sposób zaśmiecałem ci całe forum ateista.pl pisząc w jednym, jedynym wątku? | Wystarczy użyć wyszukiwarki, żeby zobaczyć, że pisałeś w około 60. Kłamiesz.
|
|
Powrót do góry |
|
|
|
|
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
|