|
Ś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ść |
szaryobywatel
Dołączył: 21 Wrz 2016
Posty: 6113
Przeczytał: 65 tematów
Płeć: Mężczyzna
|
Wysłany: Nie 21:21, 14 Kwi 2024 Temat postu: |
|
|
Tak to działa dla dowolnego zbioru:
f(x) = x
|
|
Powrót do góry |
|
|
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35963
Przeczytał: 15 tematów
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Nie 21:28, 14 Kwi 2024 Temat postu: |
|
|
szaryobywatel napisał: | Tak to działa dla dowolnego zbioru:
f(x) = x |
to pokaż jak to działa dla zbioru trzyelementowego:
p=[Kubuś, Prosiaczek, Tygrysek]
Jeśli nie wiesz jak działa funkcja tożsamościowa na zbiorze 3-elementowym jak wyżej to ta definicja jest gównem.
Ostatnio zmieniony przez rafal3006 dnia Nie 21:28, 14 Kwi 2024, w całości zmieniany 1 raz
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
szaryobywatel
Dołączył: 21 Wrz 2016
Posty: 6113
Przeczytał: 65 tematów
Płeć: Mężczyzna
|
Wysłany: Nie 21:30, 14 Kwi 2024 Temat postu: |
|
|
Podstawiaj sobie za x elementy swojego zbioru
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35963
Przeczytał: 15 tematów
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Nie 21:35, 14 Kwi 2024 Temat postu: |
|
|
szaryobywatel napisał: | Podstawiaj sobie za x elementy swojego zbioru |
Wezmę zbiór jednoelementowy będzie najkrócej:
p = [Kubuś]
Tworzę zbiór wynikowy q gdzie chomikuję kolejne f(x)
x=Kubuś
stąd mamy:
f(x)=Kubuś
q=[Kubuś]
Zademonstruj jak to działa na zbiorze jednoelementowym jak wyżej a nie pisz "podstawiaj sobie"
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
szaryobywatel
Dołączył: 21 Wrz 2016
Posty: 6113
Przeczytał: 65 tematów
Płeć: Mężczyzna
|
Wysłany: Nie 21:38, 14 Kwi 2024 Temat postu: |
|
|
Brawo, f(Kubuś) = Kubuś, teraz podstaw Prosiaczka
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35963
Przeczytał: 15 tematów
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Nie 21:48, 14 Kwi 2024 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-6350.html#792975
rafal3006 napisał: | szaryobywatel napisał: | Podstawiaj sobie za x elementy swojego zbioru |
Wezmę zbiór jednoelementowy będzie najkrócej:
p = [Kubuś]
Tworzę zbiór wynikowy q gdzie chomikuję kolejne f(x)
x=Kubuś
stąd mamy:
f(x)=Kubuś
q=[Kubuś]
Zademonstruj jak to działa na zbiorze jednoelementowym jak wyżej a nie pisz "podstawiaj sobie" |
szaryobywatel napisał: | Brawo, f(Kubuś) = Kubuś, teraz podstaw Prosiaczka |
Uff
Już myślałem że definicja z Wiki jest totalnym gównem, ale skoro napisałeś o co tu chodzi to wezmę zbiór dwuelementowy - dalej będzie identycznie.
p=[Kubuś, Tygrysek]
Oczywiście musze rozpatrzyć KAŻDY element zbioru p zatem robimy to w dwóch krokach.
Tworzę zbiór wynikowy q, na razie pusty:
q=[]
Krok 1
Biorę pierwszy elemet zbioru p
x=Kubuś
f(x)=Kubuś
stąd zbiór q ma teraz zawartość:
q=[Kubuś]
Krok 2
Biorę kolejny element zbioru p
x=Tygrysek
f(x)=Tygrysek
Dopisuję do zbioru q
q=[Kubuś, Tygrysek]
Rozpatrzyłem wszyskie elementy zbioru p zatem jest to koniec działania algorytmu funkcji tozsamościowej dla zbioru p
Oczywiście mamy:
p=q - zbiory tożsame
Czyli za Wikipedią odwzorowanie które wykonaliśmy jest tożsamościowe bo w wyniku mamy:
p=q - zbiory tożsame
Czy tak to działa?
Ostatnio zmieniony przez rafal3006 dnia Pon 10:21, 15 Kwi 2024, w całości zmieniany 3 razy
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15707
Przeczytał: 42 tematy
|
Wysłany: Pon 8:17, 15 Kwi 2024 Temat postu: |
|
|
rafal3006 napisał: | W Wikipedii pisze ci poprawnie że:
"funkcja danego zbioru w siebie" oznacza "funkcję która nic nie zmienia"
Ty natomiast piszesz brednie że:
"funkcja danego zbioru w siebie" NIE oznacza jeszcze że "funkcja nic nie zmienia" |
No i gdzie tu widzisz sprzeczność? Taki z ciebie specjalista od zbiorów i podzbiorów, a w tym przypadku nie potrafisz pojąć, że nie ma tu równoważności.
Poza tym zmanipulowałeś cytat z Wikipedii. Prawdopodobnie z głupoty, bo kombinatorem raczej nie jesteś.
Cytat: | Twój gówno dowód:
To sobie sprawdź negację. Odwzorowuje ona zbiór [0, 1] na zbiór [0, 1]. I wg ciebie nic nie zmienia ...
Całkowicie cię pogrąża - wyjasniłem ci to wyżej.
Cytuję:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-6325.html#792929
rafal3006 napisał: |
Jednym słowem uważasz, że zbiór wszystkich możliwych wartości logicznych w algebrze Boole'a {0,1}
0=fałsz
1=prawda
To jest to samo co zbiór dwuelementowy dwóch liczb w matematyce klasycznej 0 i 1
p=[0,1]
Przykład:
0 = mam zero-jabłek
1 = mam jedno jabłko
Innymi słowy wedle ciebie zachodzi:
0=fałsz [=] 0 =mam zero jabłek
1 = prawda [=] 1 = mam jedno jabłko
Gdzie:
[=] - tożsamośc pojęć
Dokładnie to twierdzisz, zgadza się?
TAK/NIE |
|
Ale co mnie tu pogrąża?
Piszę cały czas o negacji logicznej, a ty tu jakieś liczby dodajesz, dodatkowo utożsamiając liczność wypowiedzianą w zdaniu z wartością logiczną.
Cytat: |
Oczywiście mamy:
p=q - zbiory tożsame
Czyli za Wikipedią odwzorowanie które wykonaliśmy jest tożsamościowe bo w wyniku mamy:
p=q - zbiory tożsame
Czy tak to działa? |
JPRDL ten gostek nadal nie odróżnia zbioru od elementu zbioru ...
Ostatnio zmieniony przez Irbisol dnia Pon 8:27, 15 Kwi 2024, 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: 35963
Przeczytał: 15 tematów
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Pon 10:12, 15 Kwi 2024 Temat postu: |
|
|
Czy Irbisol da radę podjąć rzeczową dyskusję?
Wierzę, że tak - nadzieja umiera ostatnia.
Irbisol napisał: | rafal3006 napisał: | W Wikipedii pisze ci poprawnie że:
"funkcja danego zbioru w siebie" oznacza "funkcję która nic nie zmienia"
Ty natomiast piszesz brednie że:
"funkcja danego zbioru w siebie" NIE oznacza jeszcze że "funkcja nic nie zmienia" |
No i gdzie tu widzisz sprzeczność? Taki z ciebie specjalista od zbiorów i podzbiorów, a w tym przypadku nie potrafisz pojąć, że nie ma tu równoważności.
|
Po kolei Irbisolu, na 100% wszystko sobie wyjaśnimy, że zrozumiesz na 99%
Punkt 1.
Czy zgadzsz się że funkcja tożsamościowa działa dokładnie tak jak to zaakceptował matematyk z wykształcenia - szaryobywatel?
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-6350.html#792983
rafal3006 napisał: |
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-6350.html#792975
rafal3006 napisał: | szaryobywatel napisał: | Podstawiaj sobie za x elementy swojego zbioru |
Wezmę zbiór jednoelementowy będzie najkrócej:
p = [Kubuś]
Tworzę zbiór wynikowy q gdzie chomikuję kolejne f(x)
x=Kubuś
stąd mamy:
f(x)=Kubuś
q=[Kubuś]
Zademonstruj jak to działa na zbiorze jednoelementowym jak wyżej a nie pisz "podstawiaj sobie" |
szaryobywatel napisał: | Brawo, f(Kubuś) = Kubuś, teraz podstaw Prosiaczka |
Uff
Już myślałem że definicja z Wiki jest totalnym gównem, ale skoro napisałeś o co tu chodzi to wezmę zbiór dwuelementowy - dalej będzie identycznie.
p=[Kubuś, Tygrysek]
Oczywiście musze rozpatrzyć KAŻDY element zbioru p zatem robimy to w dwóch krokach.
Tworzę zbiór wynikowy q, na razie pusty:
q=[]
Krok 1
Biorę pierwszy elemet zbioru p
x=Kubuś
f(x)=Kubuś
stąd zbiór q ma teraz zawartość:
q=[Kubuś]
Krok 2
Biorę kolejny element zbioru p
x=Tygrysek
f(x)=Tygrysek
Dopisuję do zbioru q
q=[Kubuś, Tygrysek]
Rozpatrzyłem wszyskie elementy zbioru p zatem jest to koniec działania algorytmu funkcji tozsamościowej dla zbioru p
Oczywiście mamy:
p=q - zbiory tożsame
Czyli za Wikipedią odwzorowanie które wykonaliśmy jest tożsamościowe bo w wyniku mamy:
p=q - zbiory tożsame
Czy tak to działa? |
Ostatnio zmieniony przez rafal3006 dnia Pon 10:24, 15 Kwi 2024, w całości zmieniany 7 razy
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15707
Przeczytał: 42 tematy
|
Wysłany: Pon 11:20, 15 Kwi 2024 Temat postu: |
|
|
Nic z tego - odpowiedz na pytanie, gdzie widzisz sprzeczność.
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35963
Przeczytał: 15 tematów
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Pon 11:43, 15 Kwi 2024 Temat postu: |
|
|
Czy kto ma nadzieję że Irbisol odpowie na ostatnie pytanie do niego?
W tym pytaniu ja sprawdzam, czy Irbisol rozumie działanie nagcji z obszaru techniki cyfrowej, algebry Boole'a, gdzie jestem ekspertem (w przeciwieństwie do laika Irbisola)
Irbisol napisał: | Nic z tego - odpowiedz na pytanie, gdzie widzisz sprzeczność. |
Sprzeczność widzę w tym że autorzy z Wikipedii mówią o funkcji tozsamościowej.
Ty zaś podpiąłeś się z definicją negacji z techniki cyfrowej pod tą definiicję.
Co chcesz tym faktem udowodnić?
Że twoim zdaniem negacja jest funkcją tozsamościową?
Bo jeśli nie to równie dobrze pod funkcję tożsamościową mógłbyś podpiąć cokolwiek.
Innymi słowy:
Autorzy w Wikipedii mówią o rybkach, czyli definiują co jest funkcją tozsamościową, a ty Irbiosolu mówisz o pipkach, czyli definiujesz co nie jest funkcją tozsamościową, bo absolutnie pewne jest że nagacja NIE JEST funkcją tożsamościową.
Zgadzasz się z tym faktem?
Ostatnio zmieniony przez rafal3006 dnia Pon 11:45, 15 Kwi 2024, w całości zmieniany 3 razy
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15707
Przeczytał: 42 tematy
|
Wysłany: Pon 11:48, 15 Kwi 2024 Temat postu: |
|
|
rafal3006 napisał: | Czy kto ma nadzieję że Irbisol odpowie na ostatnie pytanie do niego?
W tym pytaniu ja sprawdzam, czy Irbisol rozumie działanie nagcji z obszaru techniki cyfrowej, algebry Boole'a, gdzie jestem ekspertem (w przeciwieństwie do laika Irbisola)
Irbisol napisał: | Nic z tego - odpowiedz na pytanie, gdzie widzisz sprzeczność. |
Sprzeczność widzę w tym że autorzy z Wikipedii mówią o funkcji tozsamościowej.
Ty zaś podpiąłeś się z definicją negacji z techniki cyfrowej pod tą definiicję. |
Niczego takiego nie zrobiłem. Naucz się czytać.
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35963
Przeczytał: 15 tematów
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Pon 12:00, 15 Kwi 2024 Temat postu: |
|
|
Czy Irbisol da radę podjąć rzeczową dyskusję?
Wierzę, że tak - nadzieja umiera ostatnia.
Irbisol napisał: | rafal3006 napisał: | Czy kto ma nadzieję że Irbisol odpowie na ostatnie pytanie do niego?
W tym pytaniu ja sprawdzam, czy Irbisol rozumie działanie nagcji z obszaru techniki cyfrowej, algebry Boole'a, gdzie jestem ekspertem (w przeciwieństwie do laika Irbisola)
Irbisol napisał: | Nic z tego - odpowiedz na pytanie, gdzie widzisz sprzeczność. |
Sprzeczność widzę w tym że autorzy z Wikipedii mówią o funkcji tozsamościowej.
Ty zaś podpiąłeś się z definicją negacji z techniki cyfrowej pod tą definiicję. |
Niczego takiego nie zrobiłem. Naucz się czytać. |
To wytłumacz nam wszystkim co zrobiłeś podpinając negację pod funkcję tożsamościową z Wikipedii.
Co chciałeś przez to włąączenie pokazać/udowodnić - bo ja i wszyscy matematycy nie mamy bladego pojęcią po co wywołujesz tu ducha zwanego "negacją?!
Dowód iż masz kontakt z duchami masz w cytacie niżej:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-6325.html#792655
Irbisol napisał: | rafal3006 napisał: | Irbisol napisał: | Trzymaj się tematu.
Zarzuciłeś, że coś tam sprawdzają. Gdzie tam ktokolwiek cokolwiek sprawdza?
Poza tym sam fakt, że jest odwzorowanie zbioru w ten sam zbiór nie oznacza jeszcze, że funkcja nic nie zmienia. |
Oznacza.
Odwzorowanie zbioru w ten sam zbiór oznacza, że funkcja nic nie zmienia. |
To sobie sprawdź negację. Odwzorowuje ona zbiór [0, 1] na zbiór [0, 1]. I wg ciebie nic nie zmienia ... |
Po co mam tą negację sprawdzać, w jakim celu - wytłumacz mi bo żaden matematyk tego nie rozumie!
Ostatnio zmieniony przez rafal3006 dnia Pon 12:04, 15 Kwi 2024, w całości zmieniany 3 razy
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15707
Przeczytał: 42 tematy
|
Wysłany: Pon 12:45, 15 Kwi 2024 Temat postu: |
|
|
rafal3006 napisał: | Czy Irbisol da radę podjąć rzeczową dyskusję?
Wierzę, że tak - nadzieja umiera ostatnia.
Irbisol napisał: | rafal3006 napisał: | Czy kto ma nadzieję że Irbisol odpowie na ostatnie pytanie do niego?
W tym pytaniu ja sprawdzam, czy Irbisol rozumie działanie nagcji z obszaru techniki cyfrowej, algebry Boole'a, gdzie jestem ekspertem (w przeciwieństwie do laika Irbisola)
Irbisol napisał: | Nic z tego - odpowiedz na pytanie, gdzie widzisz sprzeczność. |
Sprzeczność widzę w tym że autorzy z Wikipedii mówią o funkcji tozsamościowej.
Ty zaś podpiąłeś się z definicją negacji z techniki cyfrowej pod tą definiicję. |
Niczego takiego nie zrobiłem. Naucz się czytać. |
To wytłumacz nam wszystkim co zrobiłeś podpinając negację pod funkcję tożsamościową z Wikipedii. |
Nie jestem w stanie tego wytłumaczyć, ponieważ nie podpinałem negacji pod funkcję tożsamościową z Wikipedii.
Cytat: | Dowód iż masz kontakt z duchami masz w cytacie niżej:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-6325.html#792655
Irbisol napisał: | rafal3006 napisał: | Irbisol napisał: | Trzymaj się tematu.
Zarzuciłeś, że coś tam sprawdzają. Gdzie tam ktokolwiek cokolwiek sprawdza?
Poza tym sam fakt, że jest odwzorowanie zbioru w ten sam zbiór nie oznacza jeszcze, że funkcja nic nie zmienia. |
Oznacza.
Odwzorowanie zbioru w ten sam zbiór oznacza, że funkcja nic nie zmienia. |
To sobie sprawdź negację. Odwzorowuje ona zbiór [0, 1] na zbiór [0, 1]. I wg ciebie nic nie zmienia ... |
Po co mam tą negację sprawdzać, w jakim celu - wytłumacz mi bo żaden matematyk tego nie rozumie! |
Wszyscy rozumieją oprócz ciebie - masz to napisane wprost.
Żebyś zobaczył na przykładzie negacji logicznej, że odwzorowanie zbioru w ten sam zbiór nie oznacza jeszcze, że funkcja nic nie zmienia.
Sam to nawet podkreśliłeś boldem i od razu zapomniałeś, o czym jest mowa.
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35963
Przeczytał: 15 tematów
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Pon 12:58, 15 Kwi 2024 Temat postu: |
|
|
rafal3006 napisał: | Czy Irbisol da radę podjąć rzeczową dyskusję?
Wierzę, że tak - nadzieja umiera ostatnia.
Cytat: | Dowód iż masz kontakt z duchami masz w cytacie niżej:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-6325.html#792655
Irbisol napisał: | rafal3006 napisał: | Irbisol napisał: | Trzymaj się tematu.
Zarzuciłeś, że coś tam sprawdzają. Gdzie tam ktokolwiek cokolwiek sprawdza?
Poza tym sam fakt, że jest odwzorowanie zbioru w ten sam zbiór nie oznacza jeszcze, że funkcja nic nie zmienia. |
Oznacza.
Odwzorowanie zbioru w ten sam zbiór oznacza, że funkcja nic nie zmienia. |
To sobie sprawdź negację. Odwzorowuje ona zbiór [0, 1] na zbiór [0, 1]. I wg ciebie nic nie zmienia ... |
Po co mam tą negację sprawdzać, w jakim celu - wytłumacz mi bo żaden matematyk tego nie rozumie! |
Wszyscy rozumieją oprócz ciebie - masz to napisane wprost.
Żebyś zobaczył na przykładzie negacji logicznej, że odwzorowanie zbioru w ten sam zbiór nie oznacza jeszcze, że funkcja nic nie zmienia.
Sam to nawet podkreśliłeś boldem i od razu zapomniałeś, o czym jest mowa. |
Dziękuję za wyjaśnienie, dokładnie to chciałem byś mi wyjaśnił.
Teraz ja wyjaśniam twoje wyjaśnienie.
Wyjaśnienie Irbisola:
Negacja logiczna odwzorowuje zbiór [0,1] w ten sam zbiór [0,1], co nie oznacza, że funkcja nic nie zmienia.
Czy dobrze zrozumiałem twoje wyjaśnienie?
Ostatnio zmieniony przez rafal3006 dnia Pon 13:04, 15 Kwi 2024, w całości zmieniany 2 razy
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15707
Przeczytał: 42 tematy
|
Wysłany: Pon 13:05, 15 Kwi 2024 Temat postu: |
|
|
Wątpię, ale kontynuuj.
Ściślej powinno być: odwzorowuje elementy zbioru w elementy tego samego zbioru.
Ale to i w Wikipedii jest.
Ostatnio zmieniony przez Irbisol dnia Pon 13:13, 15 Kwi 2024, 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: 35963
Przeczytał: 15 tematów
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Pon 13:22, 15 Kwi 2024 Temat postu: |
|
|
Irbisol napisał: | Wątpię, ale kontynuuj. |
Wyjaśnienie Irbisola:
Negacja logiczna odwzorowuje zbiór [0,1] w ten sam zbiór [0,1], co nie oznacza, że funkcja nic nie zmienia.
Irbisolu, ja rozumiem precyzyjnie i dokładnie twoję wypowiedź dokładnie tak jak w moim wyjaśnieniu twojej wypowiedzi wyżej.
Ty piszsząc "wątpię" kwestionujesz moje wyjaśnienie twojej wypowiedzi.
Jeśli twoim zdaniem ja twojej wypowiedzi nie rozumiem, o czym świadczy twoje "wątpię", to piłeczka jest w twoim ogródku - to ty masz podać takie wyjaśnienie twojej wypowiedzi bym zrozumiał ją ja, wraz ze wszystkimi ziemskimi matematykami.
Podsumowując:
Czy moje wyjaśnienie twojej wypowiedzi jest matematycznie precyzyjne i poprawne tzn. czy o to ci chodziło?
Ostatnio zmieniony przez rafal3006 dnia Pon 13:23, 15 Kwi 2024, w całości zmieniany 1 raz
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15707
Przeczytał: 42 tematy
|
Wysłany: Pon 13:29, 15 Kwi 2024 Temat postu: |
|
|
Przeczytałeś na pewno wszystko, co napisałem w poprzednim poście? Był edytowany.
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35963
Przeczytał: 15 tematów
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Pon 13:53, 15 Kwi 2024 Temat postu: |
|
|
Ostateczna wersja twojego postu jest taka:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-6350.html#793053
Irbisol napisał: | Wątpię, ale kontynuuj.
Ściślej powinno być: odwzorowuje elementy zbioru w elementy tego samego zbioru.
Ale to i w Wikipedii jest. |
ok
Dzięki, rozjaśniłeś mi o co ci chodzi.
Definicuje zbiór wynikowy q, który na razie jest pusty:
q=[]
Negacja jest binarna i jednoargumentowa co oznacza, że na wejściu mamy zbiór p o następującej budowie:
p=[0,1]
Krok 1
f(x)=x
Zgodnie z algorytmem matematyka szarego biorą pierwszy element zbioru p:
f(0)=1 - bo negacja
i umiszczam go w zbiorze wynikowym q
q=[1]
Krok 2
f(x)=x
Biorę drugi i ostatni element ze zbioru p:
f(1)=0 - bo negacja
i umieszczam go w zbiorze q:
q=[1,0]
Oczywiście elementy zbioru q są przemienne stąd mamy:
q=[1,0] <=> q=[0,1]
Zaprezentowałem ci wyżej algorytm zawodowego matematyka szaregoobywatela, czy twój jest identyczny?
Ostatnio zmieniony przez rafal3006 dnia Pon 13:57, 15 Kwi 2024, w całości zmieniany 1 raz
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15707
Przeczytał: 42 tematy
|
Wysłany: Pon 13:57, 15 Kwi 2024 Temat postu: |
|
|
Nie.
U mnie oba zbiory są identyczne, a funkcja przyjmuje po jednym elemencie ze zbioru i odwzorowuje go w jakiś element tego samego zbioru.
Tożsamościowa odwzorowuje w dokładnie ten sam element.
To, co zrobiłeś, to nie jest zwracanie wyniku, lecz modyfikacja zbioru 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: 35963
Przeczytał: 15 tematów
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Pon 14:04, 15 Kwi 2024 Temat postu: |
|
|
Irbisol napisał: | Nie.
U mnie oba zbiory są identyczne, a funkcja przyjmuje po jednym elemencie ze zbioru i odwzorowuje go w jakiś element tego samego zbioru.
Tożsamościowa odwzorowuje w dokładnie ten sam element.
To, co zrobiłeś, to nie jest zwracanie wyniku, lecz modyfikacja zbioru q. |
ok
Moje drugie podejście zrozumienia o co ci chodzi jest następujące:
Definicuje zbiór wynikowy q, który na razie jest pusty:
q=[]
Negacja jest binarna i jednoargumentowa co oznacza, że na wejściu mamy zbiór p o następującej budowie:
p=[0,1]
Krok 1
f(x)=x
Zgodnie z algorytmem matematyka szarego biorą pierwszy element zbioru p:
f(0)=0
i umiszczam go w zbiorze wynikowym q
q=[0]
Krok 2
f(x)=x
Biorę drugi i ostatni element ze zbioru p:
f(1)=1
i umieszczam go w zbiorze q:
q=[0,1]
Zaprezentowałem ci wyżej algorytm zawodowego matematyka szaregoobywatela, czy twój jest identyczny?
Ostatnio zmieniony przez rafal3006 dnia Pon 14:04, 15 Kwi 2024, w całości zmieniany 1 raz
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15707
Przeczytał: 42 tematy
|
Wysłany: Pon 14:07, 15 Kwi 2024 Temat postu: |
|
|
rafal3006 napisał: | Irbisol napisał: | Nie.
U mnie oba zbiory są identyczne, a funkcja przyjmuje po jednym elemencie ze zbioru i odwzorowuje go w jakiś element tego samego zbioru.
Tożsamościowa odwzorowuje w dokładnie ten sam element.
To, co zrobiłeś, to nie jest zwracanie wyniku, lecz modyfikacja zbioru q. |
ok
Moje drugie podejście zrozumienia o co ci chodzi jest następujące:
Definicuje zbiór wynikowy q, który na razie jest pusty:
q=[]
Negacja jest binarna i jednoargumentowa co oznacza, że na wejściu mamy zbiór p o następującej budowie:
p=[0,1]
Krok 1
f(x)=x
Zgodnie z algorytmem matematyka szarego biorą pierwszy element zbioru p:
f(0)=0
i umiszczam go w zbiorze wynikowym q
q=[0]
Krok 2
f(x)=x
Biorę drugi i ostatni element ze zbioru p:
f(1)=1
i umieszczam go w zbiorze q:
q=[0,1]
Zaprezentowałem ci wyżej algorytm zawodowego matematyka szaregoobywatela, czy twój jest identyczny? |
Odpowiedź jak wyżej.
Funkcja tożsamościowa czy też negacji to jest FUNKCJA, a nie algorytm wykorzystujący tę funkcję.
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35963
Przeczytał: 15 tematów
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Pon 14:23, 15 Kwi 2024 Temat postu: |
|
|
Trzecie podejście Rafała3006 do zrozumienia o co Irbisolowi chodzi?
Irbisol napisał: | rafal3006 napisał: |
Irbisol napisał: | Nie.
U mnie oba zbiory są identyczne, a funkcja przyjmuje po jednym elemencie ze zbioru i odwzorowuje go w jakiś element tego samego zbioru.
Tożsamościowa odwzorowuje w dokładnie ten sam element.
To, co zrobiłeś, to nie jest zwracanie wyniku, lecz modyfikacja zbioru q. |
ok
Moje drugie podejście zrozumienia o co ci chodzi jest następujące:
Definicuje zbiór wynikowy q, który na razie jest pusty:
q=[]
Negacja jest binarna i jednoargumentowa co oznacza, że na wejściu mamy zbiór p o następującej budowie:
p=[0,1]
Krok 1
f(x)=x
Zgodnie z algorytmem matematyka szarego biorą pierwszy element zbioru p:
f(0)=0
i umiszczam go w zbiorze wynikowym q
q=[0]
Krok 2
f(x)=x
Biorę drugi i ostatni element ze zbioru p:
f(1)=1
i umieszczam go w zbiorze q:
q=[0,1]
Zaprezentowałem ci wyżej algorytm zawodowego matematyka szaregoobywatela, czy twój jest identyczny? |
Odpowiedź jak wyżej.
Funkcja tożsamościowa czy też negacji to jest FUNKCJA, a nie algorytm wykorzystujący tę funkcję. |
Irbisol napisał: |
U mnie oba zbiory są identyczne, a funkcja przyjmuje po jednym elemencie ze zbioru i odwzorowuje go w jakiś element tego samego zbioru. |
Trzecie możliwe rozumienie wpisu Irbisola.
Innymi słowy:
Z założenia zakładasz że zbiór p jest tożsamy sam ze sobą, co jest oczywiście prawdą.
Weźmy teraz twoją negację:
Na wejściu mamy zbiór dwuelenetowy:
p=[0,1]
Elemety w zbiorze są przemienne, stąd zapis tozsamy zbioru p
q=[1,0] - bo elementy zbioru są przemienne
Gdzie:
p=q - zbiory tozsame na mocy definicji funkcji tozsamościowej
Definiuję zbiór q tożsamy ze zbiorem p na mocy definicji zawartej w cytacie wyżej.
q=[1,0] - bo elementy zbioru są przemienne
Krok 1
f(x)=x
Zgodnie z algorytmem matematyka szarego biorą pierwszy element zbioru p:
f(0)=0
szukam tego elementu w zbiorze q:
q=[1,0]
Jest taki element zatem sukces!
Krok 2
f(x)=x
Biorę drugi i ostatni element ze zbioru p:
f(1)=1
szukam tego elementu w zbiorze q:
q=[1,0]
Jest taki element zatem sukces!
Rozpatrzyłem wszystkie możliwe elementy zbioru p, niegdzie nie otrzymując wyniku "fałsz" zatem funkcja p jest funkcją tozsamościowa.
Czy o to ci chodziło?
Ostatnio zmieniony przez rafal3006 dnia Pon 14:26, 15 Kwi 2024, w całości zmieniany 2 razy
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15707
Przeczytał: 42 tematy
|
Wysłany: Pon 14:25, 15 Kwi 2024 Temat postu: |
|
|
Ja nie dyskutuję tu o algorytmach.
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35963
Przeczytał: 15 tematów
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Pon 14:32, 15 Kwi 2024 Temat postu: |
|
|
Irbisol napisał: | Ja nie dyskutuję tu o algorytmach. |
W logice matematycznej liczą się tylko i wyłacznie algorytmy - jak inaczej napiszesz choćby najprostszy program komputerowy?
Zauważ, że matematyk szary obywatel zaakceptował rozumienie funkcji tożsamościowej jako algoorytmu.
Ty natomiast twierdzisz, że zawodowy matematyk szary to debil i nalezy go wbic w ziemię?
Ciekawe co na to szaryobywatel, który tak boi się jakiejkolwiek dyskusji ze mną, że odszedł i nigy nie wróci?
Oto pod czym się podpisał zawodowy matematyk, szaryobywatel.
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-6350.html#792983
rafal3006 napisał: | http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-6350.html#792975
rafal3006 napisał: | szaryobywatel napisał: | Podstawiaj sobie za x elementy swojego zbioru |
Wezmę zbiór jednoelementowy będzie najkrócej:
p = [Kubuś]
Tworzę zbiór wynikowy q gdzie chomikuję kolejne f(x)
x=Kubuś
stąd mamy:
f(x)=Kubuś
q=[Kubuś]
Zademonstruj jak to działa na zbiorze jednoelementowym jak wyżej a nie pisz "podstawiaj sobie" |
szaryobywatel napisał: | Brawo, f(Kubuś) = Kubuś, teraz podstaw Prosiaczka |
Uff
Już myślałem że definicja z Wiki jest totalnym gównem, ale skoro napisałeś o co tu chodzi to wezmę zbiór dwuelementowy - dalej będzie identycznie.
p=[Kubuś, Tygrysek]
Oczywiście musze rozpatrzyć KAŻDY element zbioru p zatem robimy to w dwóch krokach.
Tworzę zbiór wynikowy q, na razie pusty:
q=[]
Krok 1
Biorę pierwszy elemet zbioru p
x=Kubuś
f(x)=Kubuś
stąd zbiór q ma teraz zawartość:
q=[Kubuś]
Krok 2
Biorę kolejny element zbioru p
x=Tygrysek
f(x)=Tygrysek
Dopisuję do zbioru q
q=[Kubuś, Tygrysek]
Rozpatrzyłem wszyskie elementy zbioru p zatem jest to koniec działania algorytmu funkcji tozsamościowej dla zbioru p
Oczywiście mamy:
p=q - zbiory tożsame
Czyli za Wikipedią odwzorowanie które wykonaliśmy jest tożsamościowe bo w wyniku mamy:
p=q - zbiory tożsame
Czy tak to działa? |
Ostatnio zmieniony przez rafal3006 dnia Pon 14:34, 15 Kwi 2024, w całości zmieniany 1 raz
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15707
Przeczytał: 42 tematy
|
Wysłany: Pon 14:50, 15 Kwi 2024 Temat postu: |
|
|
rafal3006 napisał: | Irbisol napisał: | Ja nie dyskutuję tu o algorytmach. |
W logice matematycznej liczą się tylko i wyłacznie algorytmy - jak inaczej napiszesz choćby najprostszy program komputerowy? |
Logika matematyczna jako taka w ogóle nie zajmuje się algorytmami.
Logika matematyczna zajmuje się rachunkiem zdań.
|
|
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
|