|
Ś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ść |
fiklit
Dołączył: 24 Wrz 2012
Posty: 4197
Przeczytał: 0 tematów
Płeć: Mężczyzna
|
Wysłany: Czw 10:15, 12 Cze 2014 Temat postu: |
|
|
Cytat: | Od 35 lat piszę programy wyłącznie w języku asemblera, czyli w symbolicznej algebrze Boole'a - to jedyny język programowania gdzie nikt nie nakłada na ciebie żadnych ograniczeń, ani sprzętowych, ani programowych - możesz absolutnie wszystko a nie tylko to co twórcy języka wysokiego poziomu X wydaje się że powinieneś był robić. |
Brak ograniczeń sprzętowych - wow - super. Pierdolisz.
Napisz tę procedurę w asemblerze. Może wtedy ktoś to zrozumie.
I ogólnie widzisz nikt nie czai Twojej notacji. Jeśli ona nie będzie zrozumiała to nie przekażesz światu swojego wielkiego odkrycia.
Ostatnio zmieniony przez fiklit dnia Czw 10:17, 12 Cze 2014, w całości zmieniany 1 raz
|
|
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:18, 12 Cze 2014 Temat postu: |
|
|
rafal3006 napisał: | Zefciu, co ty taki w gorącej wodzie kąpany? | Bo offtopujesz.
Cytat: | Na razie zajmujemy się 23 punktami malaaviego. | Nie zajmujecie się, tylko piszecie te same bzdury co od lat.
Cytat: | Z kolei u ciebie podejrzewam, że nigdy niczego nie napisałeś w symbolicznej algebrze Boole'a, czyli w języku asemblera. | Język asemblera to symboliczna algebra Boole'a. Nononono.
Cytat: | Ty w swoich językach wysokiego poziomu widzisz procedury nie mając pojęcia jak jest ona fizycznie w języku asemblera zbudowana. | Akurat logika boole'owska jest obecna we wszystkich językach w jakiejś tam formie. Nawet gdybym nie wiedział (wiem) jak działają wywołania pythonowe na niskim poziomie, to mam tam stałe logiczne i operatory logiczne.
Cytat: | Twój opis procedury to:
p=>q
Zbadaj czy zbiór p zawiera się w q | Jaki znowu zbiór? Mam przecież zdania.
Cytat: | Na wejściu ustawiasz:
p=P8 | Co oznacza notacja "P8"?
j.w.
Cytat: | Natomiast zapis z AK informuje jak ta procedura jest zbudowana:
p=>q = p*q | Genialnie. Okazuje się, że implikacja to wg Kubusia samo co koniunkcja.
Cytat: | Od 35 lat piszę programy wyłącznie w języku asemblera | Tylko że asemblera to też nie przypomina.
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35532
Przeczytał: 15 tematów
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Czw 10:24, 12 Cze 2014 Temat postu: |
|
|
zefciu napisał: |
Cytat: | Natomiast zapis z AK informuje jak ta procedura jest zbudowana:
p=>q = p*q | Genialnie. Okazuje się, że implikacja to wg Kubusia samo co koniunkcja.
|
a gdzie ja napisałem że ten znaczek => to implikacja?
NIGDZIE!
Definicja znaczka =>:
=> - zbiór na podstawie wektora zawiera się w zbiorze wskazywanym przez strzałkę wektora
Zapis:
p=>q = p*q =p
To tylko jedna linijka w operatorze implikacji prostej albo równoważności.
|
|
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, 12 Cze 2014 Temat postu: |
|
|
rafal3006 napisał: | a gdzie ja napisałem że ten znaczek => to implikacja?
NIGDZIE! | Oczywiście kłamiesz. Jak zwykle:
[link widoczny dla zalogowanych]
Cytat: | Nowością w algebrze Kubusia są nie tylko nowe definicje implikacji prostej => i odwrotnej ~> plus prawa Kubusia |
Zresztą jeśli nie implikacja, to jak w takim razie w Nowej Teorii Implikacji wygląda implikacja?
Cytat: | Zapis:
p=>q = p*q =p
To tylko jedna linijka w operatorze implikacji prostej albo równoważności. | Co to znaczy "linijka w operatorze"? Bełkot.
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35532
Przeczytał: 15 tematów
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Czw 10:42, 12 Cze 2014 Temat postu: |
|
|
fiklit napisał: | Cytat: | Od 35 lat piszę programy wyłącznie w języku asemblera, czyli w symbolicznej algebrze Boole'a - to jedyny język programowania gdzie nikt nie nakłada na ciebie żadnych ograniczeń, ani sprzętowych, ani programowych - możesz absolutnie wszystko a nie tylko to co twórcy języka wysokiego poziomu X wydaje się że powinieneś był robić. |
Brak ograniczeń sprzętowych - wow - super. Pierdolisz.
Napisz tę procedurę w asemblerze. Może wtedy ktoś to zrozumie.
I ogólnie widzisz nikt nie czai Twojej notacji. Jeśli ona nie będzie zrozumiała to nie przekażesz światu swojego wielkiego odkrycia. |
Akurat ten zapis:
p=>q = p*q =p =1
To banalny, ogólny algorytm działania który opisałem wyżej w punkcie I, II i III.
http://www.sfinia.fora.pl/forum-kubusia,12/pytania-dla-kubusia,7143-25.html#209190
Oczywiście język nie ma ty znaczenia, ten banał na pewno rozwiążesz z łatwością w każdym języku programowania.
@Zefciu
Cierpliwości!
Ostatnio zmieniony przez rafal3006 dnia Czw 10:44, 12 Cze 2014, w całości zmieniany 2 razy
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35532
Przeczytał: 15 tematów
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Czw 10:48, 12 Cze 2014 Temat postu: |
|
|
Wróćmy do tematu:
rafal3006 napisał: |
Kurde!
Przecież totalnie nie o to cie prosiłem!
Zapomnij o moich symbolach, wszelkich!
Opisz mi symbolami z twojej logiki cały ten post:
http://www.sfinia.fora.pl/forum-kubusia,12/pytania-dla-kubusia,7143-25.html#209170
Czyli zapisz symbolicznie wszystkie przypadki A,B,C i D!
Jeśli twierdzisz że się nie da to będzie to oznaczało iż twoja logika to tylko sztuka dla sztuki, z zerowym związkiem z fizyczną rzeczywistością.
Czekam z niecierpliwością.
Kubuś |
Poproszę o odpowiedź na temat.
Oczywiście możesz napisać:
W mojej logice nie da się tego matematycznie opisać
Wniosek:
Miejsce logiki malaaviego jest w koszu na śmieci.
Na miły Bóg, ratuj swoją logikę!
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
fiklit
Dołączył: 24 Wrz 2012
Posty: 4197
Przeczytał: 0 tematów
Płeć: Mężczyzna
|
Wysłany: Czw 11:00, 12 Cze 2014 Temat postu: |
|
|
Rafał, zauważ, że właśnie próbujemy zrozumieć, co chciałeś przekazać we wspomnianych zdaniach B,C,D. Nie potrafisz tego wytłumaczyć. Wiesz to dosyć głupie z Twojej strony, wymagać zapisania czegoś, ale nie umieć wytłumaczyć czego.
|
|
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 11:03, 12 Cze 2014 Temat postu: |
|
|
rafal3006 napisał: | Poproszę o odpowiedź na temat. | Proszę o zwrócenie uwagi na tytuł tego wątku. W tym wątku to Ty odpowiadasz.
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35532
Przeczytał: 15 tematów
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Czw 11:53, 12 Cze 2014 Temat postu: |
|
|
fiklit napisał: | Rafał, zauważ, że właśnie próbujemy zrozumieć, co chciałeś przekazać we wspomnianych zdaniach B,C,D. Nie potrafisz tego wytłumaczyć. Wiesz to dosyć głupie z Twojej strony, wymagać zapisania czegoś, ale nie umieć wytłumaczyć czego. |
Definicja warunku wystarczającego => w AK:
p=>q
Zbiór na podstawie wektora => zawiera się w zbiorze wskazywanym przez strzałkę wektora =>
KONIEC!
Żadnych innych zastrzeżeń!
Definicja implikacji prostej w AK:
p=>q = ~p~>~q
Definicja tożsama:
(p=>q)*(p#q)
Zbiór p zawiera się => w zbiorze q i nie jest tożsamy ze zbiorem q
to wytłuszczone zastrzeżenie jest tu kluczowe!
Wynika z niego że:
p=>q ## (p=>q)*(p#q)
## - różne na mocy definicji
Dlaczego kluczowe?
Bo definicja równoważności w AK jest taka:
p<=>q = (p=>q)*(~p=>~q)
Definicja tożsama:
(p=>q)*(p=q)
Zbiór p zawiera się => w zbiorze q i jest tozsamy ze zbiorem q
Oczywiście na mocy definicji zachodzi:
p=>q ## (p=>q)*(p#q) ## (p=>q)*(p=q)
## - różne na mocy definicji
Chodzi mi o matematyczny opis powyższej definicji implikacji prostej na gruncie logiki Ziemian.
W AK wygląda to tak:
P8=>P2 = P8*P2 = P8 =1
Definicja znaczka => jest tu spełniona bo zbiór P8 zawiera się w P2.
Dodatkowo zbiory P8 i P2 są różne: P8#P2
co wymusza definicję implikacji prostej:
P8=>P2 = ~P8~>~P2
Dopiero po udowodnieniu faktu iż zbiory P8#P2 mamy pewność że ten warunek wystarczający P8=>P2, wchodzi w skład zero-jedynkowej definicji implikacji prostej, czyli jednocześnie zdanie P8=>P2 jest implikacją prostą.
Oczywiście implikacja odwrotna musi tu być fałszywa:
P2=>P8 = P2*P8 = P8 =0!
Definicja znaczka => nie jest tu spełniona bo zbiór P2 nie zawiera się w P8 (jest dokładnie odwrotnie)
Chodzi mi o zapisanie dokładnie tego samego na gruncie logiki Ziemian.
Można zapomnieć o wszelkich moich znaczkach i wprowadzić dowolne swoje, ale nie wolno pisać że "w mojej logice tego nie da się zapisać" bo to będzie dowodem iż ta logika jest do bani, bo nie potrafi opisać fizycznej rzeczywistości.
Ostatnio zmieniony przez rafal3006 dnia Czw 12:05, 12 Cze 2014, w całości zmieniany 5 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: Czw 12:42, 12 Cze 2014 Temat postu: |
|
|
Kubuś odpowiesz na moje pytania? Czy mam sobie iść? Bo mam dość wchodzenia na to forum tylko po to, by zobaczyć, że dalej tchórzysz.
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
fiklit
Dołączył: 24 Wrz 2012
Posty: 4197
Przeczytał: 0 tematów
Płeć: Mężczyzna
|
Wysłany: Czw 12:46, 12 Cze 2014 Temat postu: |
|
|
Cytat: | Chodzi mi o matematyczny opis powyższej definicji implikacji prostej na gruncie logiki Ziemian.
Definicja implikacji prostej w AK:
Zbiór p zawiera się => w zbiorze q i nie jest tożsamy ze zbiorem q
|
Zeby na to odpowiedzieć musisz jeszcze wyjaśnić co najmniej dwie rzeczy:
1. dokładnie rozumiesz przez "p zawiera się w q"
2. p nie jest tożsamy z q
Ad 1. Z Twojego twierdzenia, że zbiór pusty nie zawiera się w żadnym innym zbiorze wynika, że inaczej niż normalnie rozumiesz zawieranie się.
Ad 2. Tożsamość też musisz rozumieć inaczej bo dla ciebie np. [a,b,c] jest tożsame z 1, [x,y] jest tożsame z 1, ale [a,b,c] nie jest tożsame z [x,y]. Konkretnie: normalnie rozumiana tożsamość jest przechodnia, symetryczna i zwrotna. Twoja nie spełnia przynajmniej jednego z tych warunków.
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35532
Przeczytał: 15 tematów
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Czw 13:34, 12 Cze 2014 Temat postu: |
|
|
fiklit napisał: |
Cytat: | Chodzi mi o matematyczny opis powyższej definicji implikacji prostej na gruncie logiki Ziemian.
Definicja implikacji prostej w AK:
Zbiór p zawiera się => w zbiorze q i nie jest tożsamy ze zbiorem q
|
Zeby na to odpowiedzieć musisz jeszcze wyjaśnić co najmniej dwie rzeczy:
1. dokładnie rozumiesz przez "p zawiera się w q"
|
Każdy element zbioru p zawiera się => w zbiorze q
fiklit napisał: |
2. p nie jest tożsamy z q
|
Nie każdy element zbioru p zawiera sie w zbiorze q lub nie każdy element zbioru q zawiera się w zbiorze p.
fiklit napisał: |
Ad 1. Z Twojego twierdzenia, że zbiór pusty nie zawiera się w żadnym innym zbiorze wynika, że inaczej niż normalnie rozumiesz zawieranie się.
|
Niezupełnie.
Zbiór pusty nie zawiera się w żadnym zbiorze niepustym.
Oczywiście dowolny zbiór jest podzbiorem niewłaściwym samego siebie. Zbiór pusty nie jest tu wyjątkiem.
A*A*A =A
A+A+A =A
[]*[]*[] =[]
[]+[]+[] =[]
fiklit napisał: |
Ad 2. Tożsamość też musisz rozumieć inaczej bo dla ciebie np. [a,b,c] jest tożsame z 1, [x,y] jest tożsame z 1, ale [a,b,c] nie jest tożsame z [x,y]. Konkretnie: normalnie rozumiana tożsamość jest przechodnia, symetryczna i zwrotna. Twoja nie spełnia przynajmniej jednego z tych warunków. |
Klasyczna tożsamość działa tak:
Jeśli A=1 i B=1
to
A=B
W logice klasyczne pojęcie tożsamości się załamuje, tak jak prawie wszystko.
Tożsamość w logice to zupełnie co innego niż w matematyce klasycznej.
A.
Kubuś na pewno => jest misiem
K=>M =1
B.
Wąż na pewno => nie ma nóg
W=>~N =1
faktu że oba zdanie są prawdziwe:
1=1
Nie możesz wyciągać wniosku że zdania A i B są matematycznie tożsame.
Jeśli tożsame, jak twierdzi matematyka klasyczna, to mogę użyć zdania B w zastępstwie A, bo oba są tożsame.
Tylko czy aby na pewno?
Czym jest tożsamość w logice?
Tożsamość w logice to tożsamość zbiorów.
Zbiór p jest tożsamy z q wtedy i tylko wtedy gdy każdy element zbioru p należy do q i każdy element zbioru q należy do p.
p<=>q = (p=>q)*(q=>p)
Każda matematyczna tożsamość to automatycznie równoważność, odwrotnie nie zachodzi.
Ostatnio zmieniony przez rafal3006 dnia Czw 13:46, 12 Cze 2014, 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: Czw 13:38, 12 Cze 2014 Temat postu: |
|
|
rafal3006 napisał: | p<=>q = (p=>q)*(q=>p) | Co zgodnie z kubusiowymi poglądami nie zachodzi nigdy. Bo przecież wyżej Kubuś pisze, że p => q wymaga, by nie było tożsamości p i q.
Cytat: | Definicja implikacji prostej w AK:
p=>q = ~p~>~q
Definicja tożsama:
(p=>q)*(p#q)
Zbiór p zawiera się => w zbiorze q i nie jest tożsamy ze zbiorem q |
To jak? Odpowiesz na moje pytania?
Ostatnio zmieniony przez zefciu/konto zamknięte dnia Czw 13:39, 12 Cze 2014, w całości zmieniany 1 raz
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
fiklit
Dołączył: 24 Wrz 2012
Posty: 4197
Przeczytał: 0 tematów
Płeć: Mężczyzna
|
Wysłany: Czw 13:38, 12 Cze 2014 Temat postu: |
|
|
Dlatego pytam jak ty to rozumiesz. Chcesz żeby ktoś napisał to co masz na myśli w normalny sposób? to musisz wyjaśnić co masz na myśli. Na razie wyrażasz to słowami, które dla nas znaczą co innego niż dla Ciebie. Dlatego pytam co Ty rozumiesz przez "tożsame", "zawiera się". I nie pisz, że znaczą co innego, tylko napisz co znaczą.
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35532
Przeczytał: 15 tematów
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Czw 13:44, 12 Cze 2014 Temat postu: |
|
|
fiklit napisał: | Dlatego pytam jak ty to rozumiesz. Chcesz żeby ktoś napisał to co masz na myśli w normalny sposób? to musisz wyjaśnić co masz na myśli. Na razie wyrażasz to słowami, które dla nas znaczą co innego niż dla Ciebie. Dlatego pytam co Ty rozumiesz przez "tożsame", "zawiera się". I nie pisz, że znaczą co innego, tylko napisz co znaczą. |
Dopisałem w tym poscie:
http://www.sfinia.fora.pl/forum-kubusia,12/pytania-dla-kubusia,7143-50.html#209232
odpowiedzi na wszystkie Twoje pytania.
Mam nadzieje że teraz wszystko jest jasne.
|
|
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 13:49, 12 Cze 2014 Temat postu: |
|
|
rafal3006 napisał: | Mam nadzieje że teraz wszystko jest jasne. | Dlaczego zbiór pusty jest podzbiorem zbioru pustego, a nie jest żadnego innego? Z Twojej definicji to nie wynika.
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
fiklit
Dołączył: 24 Wrz 2012
Posty: 4197
Przeczytał: 0 tematów
Płeć: Mężczyzna
|
Wysłany: Czw 13:50, 12 Cze 2014 Temat postu: |
|
|
To jeszcze jedno i chyba będziemy w domu.
Jak rozumiesz zdanie "każdy element zbioru A ma własność Q"?
Czy jest to równoznaczne z tym że "nie istnieje element zbioru A który nie ma własności Q"? Czy może jest równoznaczne że "Zbiór A ma przynajmniej jeden element i każdy z jego elementów ma własność Q"?
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35532
Przeczytał: 15 tematów
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Czw 13:56, 12 Cze 2014 Temat postu: |
|
|
zefciu napisał: |
rafal3006 napisał: | p<=>q = (p=>q)*(q=>p) | Co zgodnie z kubusiowymi poglądami nie zachodzi nigdy. Bo przecież wyżej Kubuś pisze, że p => q wymaga, by nie było tożsamości p i q.
|
Wróć do tego postu i naucz się czytać ze zrozumieniem:
http://www.sfinia.fora.pl/forum-kubusia,12/pytania-dla-kubusia,7143-50.html#209227
zefciu napisał: |
To jak? Odpowiesz na moje pytania? |
Odpowiem, jednak aby zrozumieć tą odpowiedź musisz poznać fundamenty matematyczne AK, dokładnie to aktualnie wałkujemy.
|
|
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 14:02, 12 Cze 2014 Temat postu: |
|
|
rafal3006 napisał: | Wróć do tego postu i naucz się czytać ze zrozumieniem: | Jeśli czegoś nie rozumiem, to wyjaśnij czego.
Najpierw piszesz, że warunkiem dla p => q jest brak tożsamości.
Potem piszesz, że tożsamość jest wtedy, gdy p => q
Walisz takie wewnetrzne sprzeczności, a potem się dziwisz.
Cytat: | Odpowiem, jednak aby zrozumieć tą odpowiedź musisz poznać fundamenty matematyczne AK, dokładnie to aktualnie wałkujemy. | Czyli nigdy nie odpowiesz. Bo ja nie mogę zrozumieć owych fundamentów bez tych odpowiedzi. Jeśli nie otrzymam tych odpowiedzi, to Twoje wywody pozostają dla mnie bełkotem pełnym niezrozumiałych terminów.
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35532
Przeczytał: 15 tematów
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Czw 14:38, 12 Cze 2014 Temat postu: |
|
|
fiklit napisał: | To jeszcze jedno i chyba będziemy w domu.
Jak rozumiesz zdanie "każdy element zbioru A ma własność Q"?
Czy jest to równoznaczne z tym że "nie istnieje element zbioru A który nie ma własności Q"? Czy może jest równoznaczne że "Zbiór A ma przynajmniej jeden element i każdy z jego elementów ma własność Q"? |
Coś takiego w AK w ogóle nie funkcjonuje.
W AK możesz tworzyć dowolne zbiory w oparciu dowolne kryterium:
- zbiór ssaków
- zbiór kręgowców
- zbiór pojęć abstrakcyjnych
- zbiór czworokątów mających kąty proste
- zbiór liczb podzielnych przez 2
etc
Znając kryterium - tworzysz zbiór
AK nie działa tak, że losujesz dowolne pojecie z całego uniwersum np. miłość a następnie szukasz zbioru w którym ta miłość występuje.
W AK masz zawsze jasno określony cel.
Załóżmy że szukasz algorytmu robienia sztucznego złota.
W AK nie rzucasz sobie monetą i mówisz, złoto jest żółte i piasek jest żółty, zatem zacznę od próby zrobienia złota z piasku.
Oczywiście że w praktyce może być tak że wszyscy psim pędem szukają czegoś w pewnym obszarze będąc pewnym że tylko tu znalezienie tego czegoś jest możliwe a przychodzi X i znajduje to coś tam gdzie nikt się tego nie spodziewał.
Przykład:
Kubuś i logika matematyczna
albo przykład historyczny:
Przez 15 lat ludzkość szukała diody LED niebieskiej, kluczowej dla sygnału RGB. Szukano wyłącznie w grupie pierwiastków X bo ktoś tu je jako pierwszy znalazł. Były diody niebieskie LED, ale jasność mała i żywotność licha. Pracowały nad tym największe laboratoria świata i tysiące naukowców …i … nieznany nikomu Japończyk Takamura, specjalista z zupełnie innej branży znalazł rewelacyjną diodę LED tam gdzie nikt się tego nie spodziewał - w grupie pierwiastków Y.
Natychmiast okrzyknięto go Edisonem diod LED - dzięki niemu wielkoformatowe ekrany świetlne mamy na każdej ulicy.
W AK absolutnie kluczowe jest twierdzenie Pytona, młot na całą dzisiejszą logikę matematyczną.
Dlaczego młot?
Bo wycina z logiki matematycznej wszelkie zdania w których p jest bez związku z q.
W AK takie zdania są fałszywe.
http://www.sfinia.fora.pl/forum-kubusia,12/pytania-dla-kubusia,7143.html#209085
rafal3006 do malaaviego napisał: |
Twierdzenie Pytona:
Warunkiem koniecznym ~> prawdziwości zdania pod kwantyfikatorem dużym jest prawdziwość tego zdanie pod kwantyfikatorem małym ~~>.
\/x p(x)~~>p(x) = p(x)*q(x)
Istnieje takie x które należy jednocześnie do zbiorów p(x) i q(x).
Znajduje jedno takie x i koniec dowodu, to zdanie jest prawdziwe.
Przykłady:
A.
Jeśli liczba jest podzielna przez 8 to na pewno => jest parzysta
P8=>P2 = P8*P2 =P8 =1
Definicja znaczka => spełniona bo zbiór P8 zawiera się w P2
Zdanie tożsame pod kwantyfikatorem dużym:
/\x P8(x)=>P2(x)
To samo zdanie pod kwantyfikatorem małym:
B.
Jeśli liczba jest podzielna przez 8 to może ~~> być liczbą parzystą
P8~~>P2 = P8*P2 =1 bo 8
Oba zbiory istnieją (P8=1 i P2=1) i mają co najmniej jeden element wspólny, co wymusza w wyniku 1 (zbiór niepusty)
Zdanie tożsame do B:
\/x P8(x)~~>P2(x) = P8(x)*P2(x)
Różnica miedzy zdaniem A i B jest fundamentalna:
W przypadku B znajduję jeden wspólny element poprzednika i następnika i koniec dowodu
C.
Jeśli liczba jest podzielna przez 8 to na pewno => jest nieparzysta
P8=>~P2
Zgodnie z twierdzeniem Pytona warunkiem koniecznym prawdziwości zdania C jest jego prawdziwość pod kwantyfikatorem małym.
D.
Jeśli liczba jest podzielna przez 8 to może ~~> być nieparzysta
P8~~>~P2 = P8*~P2 =1*1 =0
Oba zbiory istnieją (P8=1 i ~P2=1) ale są rozłączne, co wymusza w wyniku 0 (zbiór pusty)
Zdanie tożsame do D:
\/x P8(x)~~>~P2(x) = P8(x)*~P2(x) =?
No i co ty na to malaavi?
Nadal twierdzisz że zapis:
1*1 =0
jest zapisem bez sensu?
Czyli że nie wolno mi wypowiedzieć zdania D zapisanego kwantyfikatorem małym?!
Podsumowując:
Czy zgadzasz się na twierdzenie Pytona?
TAK/NIE
P.S.
Zauważmy, że twierdzenie Pytona to śmiertelny uścisk dla całej aktualnej logiki Ziemian.
... a nie mówiłem Zefciu, że śmierć będzie szybka i bezbolesna? |
P.S.
Zefciu, wróć i czytaj jeszcze raz, bo dalej nie rozumiesz banałów które zapisałem.
Ostatnio zmieniony przez rafal3006 dnia Czw 14:43, 12 Cze 2014, w całości zmieniany 1 raz
|
|
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 14:53, 12 Cze 2014 Temat postu: |
|
|
To w takim razie do widzienia. NTI nie istnieje. Tak jak się spodziewałem.
W dodatku Ty sam dobrze wiesz, że NTI nie istnieje. I nawet Ci się nie chce specjalnie udawać, że jest inaczej (bo zgrałeś już wszystkie sztuczki).
Ostatnio zmieniony przez zefciu/konto zamknięte dnia Czw 14:59, 12 Cze 2014, 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: 35532
Przeczytał: 15 tematów
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Czw 15:04, 12 Cze 2014 Temat postu: |
|
|
zefciu napisał: | To w takim razie do widzienia. NTI nie istnieje. Tak jak się spodziewałem.
W dodatku Ty sam dobrze wiesz, że NTI nie istnieje. I nawet Ci się nie chce specjalnie udawać, że jest inaczej (bo zgrałeś już wszystkie sztuczki). |
Nie jest to prawdą, AK istnieje i jest bezkonkurencyjna a najciekawsza sztuczka jeszcze przed nami.
|
|
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 15:09, 12 Cze 2014 Temat postu: |
|
|
rafal3006 napisał: | AK istnieje | Gdyby istniała, umiałbyś odpowiedzieć na pytania.
Cytat: | najciekawsza sztuczka jeszcze przed nami. | Przecież wszyscy (łącznie z Tobą) wiedzą, że kłamiesz. "Przed nami" jest tylko bełkot.
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
malaavi
Bloger na Kretowisku
Dołączył: 06 Sie 2011
Posty: 930
Przeczytał: 0 tematów
Płeć: Mężczyzna
|
Wysłany: Czw 16:42, 12 Cze 2014 Temat postu: |
|
|
Twój opis procedury to:
p=>q
Zbadaj czy zbiór p zawiera się w q
Na wejściu ustawiasz:
p=P8
q=P2
Na wyjściu otrzymujesz zmienną binarną:
p=>q =1 - p zawiera się w q
p=>q =0 - p nie zawiera się q
no to = nie oznacza ANI PRZYPISANIA, ANI RÓWNOŚCI, tylko jeszcze trzecią rzecz, czyli FUNKCJĘ WARTOŚCIOWANIA, tak? Czy nie rozumiesz, o czym mówimy?
Inna rzecz, że też z powodzeniem programowałem, choć zawsze w językach wysokiego poziomu. Daruj sobie uwagi, że ktoś poza tobą nie rozumie. ;)
Stosujesz znak = w co najmniej trzech różnych funkcjach i mylisz te funkcje. Nic zatem dziwnego, że AK jest sprzeczna. (I nic dziwnego, że nie umiesz sam odpowiedzieć na pytanie, co to =, bo przecież odpowiedzi byłyby co chwilę inne )
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35532
Przeczytał: 15 tematów
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Czw 18:54, 12 Cze 2014 Temat postu: |
|
|
malaavi napisał: | Twój opis procedury to:
p=>q
Zbadaj czy zbiór p zawiera się w q
Na wejściu ustawiasz:
p=P8
q=P2
Na wyjściu otrzymujesz zmienną binarną:
p=>q =1 - p zawiera się w q
p=>q =0 - p nie zawiera się q
no to = nie oznacza ANI PRZYPISANIA, ANI RÓWNOŚCI, tylko jeszcze trzecią rzecz, czyli FUNKCJĘ WARTOŚCIOWANIA, tak? Czy nie rozumiesz, o czym mówimy?
Inna rzecz, że też z powodzeniem programowałem, choć zawsze w językach wysokiego poziomu. Daruj sobie uwagi, że ktoś poza tobą nie rozumie. ;)
Stosujesz znak = w co najmniej trzech różnych funkcjach i mylisz te funkcje. Nic zatem dziwnego, że AK jest sprzeczna. (I nic dziwnego, że nie umiesz sam odpowiedzieć na pytanie, co to =, bo przecież odpowiedzi byłyby co chwilę inne ) |
... no to rozpisz mi w języku symboli tę procedurę:
p=>q =1
p=>q =0
Czyli podaj rozpisany algorytm tej procedury.
Mój jest taki:
p=>q = p*q = p =1
... i wszystko jasne.
Teraz czekam na konkurencyjny - Twój!
|
|
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
|