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

Dyskusja na temat algebry Kubusia
Idź do strony Poprzedni  1, 2, 3 ... 128, 129, 130
 
Napisz nowy temat   Odpowiedz do tematu    Forum ŚFiNiA Strona Główna -> Metodologia / Forum Kubusia
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 35795
Przeczytał: 16 tematów

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

PostWysłany: Śro 17:56, 11 Gru 2024    Temat postu:

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-9675.html#824191

Irbisol napisał:
rafal3006 napisał:
Powrót Irbisola do świata zdrowych?
.. ma kto taką nadzieję?

Irbisol napisał:

rafal3006 napisał:
wedle ciebie wszelkie pojęcia jaki może wydusić z siebie schizofrenik są pojęciami zrozumiałymi o wartości logicznej równej 1

A to skąd wywnioskowałeś, schizofreniku?

Ot, to!
Nie do wiary!
Irbisol odróżnia pojęcia niezrozumiałe dla człowieka o wartości logicznej równej 0 od pojęć zrozumiałych dla człowieka o wartości logicznej równej 1.

Wreszcie!
Jesteś Irbisolu na dobrej drodze - tak trzymaj!

A to z kolei skąd wywnioskowałeś, schizofreniku?

To zadeklaruj się wreszcie:
1.
Odróżniasz pojęcia których nie rozumiesz (wartość logiczna równa 0) od pojęć które rozumiesz (wartość logiczna równa 1)?
TAK/NIE
2.
Czy odróżnianie jak wyżej jest dla ciebie istotne, czy też nie ma dla ciebie żadnego znaczenia?
:shock:


Ostatnio zmieniony przez rafal3006 dnia Śro 17:58, 11 Gru 2024, w całości zmieniany 1 raz
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 35795
Przeczytał: 16 tematów

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

PostWysłany: Śro 18:07, 11 Gru 2024    Temat postu:

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-9675.html#824199

Irbisol napisał:
Odróżniam te, których nie rozumiem od tych, które rozumiem, ale nie przypisuję w związku z tą cechą wartości logicznych.

Trzeciej możliwości brak, czyli mamy tu logikę matematyczną dwuwartościową, algebrę Kubusia.
cnd

Nie odpowiedziałeś na pytanie:
Czy takie odróżnianie jest dla ciebie istotne, czy nie ma żadnego znaczenia?
Bo jak nie ma - to witamy w schizofrenicznym bełkocie.


Ostatnio zmieniony przez rafal3006 dnia Śro 18:09, 11 Gru 2024, w całości zmieniany 1 raz
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 35795
Przeczytał: 16 tematów

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

PostWysłany: Śro 19:16, 11 Gru 2024    Temat postu:

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-9675.html#824209

Minimalizacja zbiorów w algebrze Kubusia!
Czy irbisol cokolwiek z tego zrozumie?
... ma kto taką nadzieję?

Irbisol napisał:
To już jest subiektywna ewaluacja, która ani nie ma nic wspólnego z matematyką, ani nie powinna cię interesować.
Najważniejsze w tym co napisałem jest to, na co nie odpowiedziałeś.


http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-9675.html#824199
rafal3006 napisał:
Irbisol napisał:
Odróżniam te, których nie rozumiem od tych, które rozumiem, ale nie przypisuję w związku z tą cechą wartości logicznych.

Trzeciej możliwości brak, czyli mamy tu logikę matematyczną dwuwartościową, algebrę Kubusia.
cnd

Nie odpowiedziałeś na pytanie:
Czy takie odróżnianie jest dla ciebie istotne, czy nie ma żadnego znaczenia?
Bo jak nie ma - to witamy w schizofrenicznym bełkocie.

Właśnie że matematycznie jest kluczowym i najważniejszym wypierdolenie wszelkich pojęć niezrozumiałych z logiki matematycznej poprzez przypisanie im twardego fałszu.
Oczywistym jest, że pojęciom pożądanym, zrozumiałym, musisz przypisać twardą prawdę - gdy je rozumiesz.

Dzięki powyższemu możesz robić proste operacje na zbiorach jak niżej.

Zdefiniujmy zbiór p jako:
p = [Kraskoludek + P2*~P2] = [Krasnoludek+[]]=[Krasnoludek+0] =[Krasnoludek] =1
Gdzie:
P2=[2,4,6,8..] - zbiór liczb podzielnych przez 2
~P2=[LN-P2]=[1,3,5,7,9..] - zbiór liczb niepodzielnych przez 2
Kluczowe jest tu ustalenie wspólnej dziedziny dla P2 i ~P2, bez tego nie obliczymy zbioru ~P2
Wybieramy dziedzinę:
LN=[1,2,3,4,5,6,7,8,9..] - zbiór liczb naturalnych
Na mocy definicji zaprzeczenie zbioru P2 to jego uzupełnienie do wspólnej dziedziny LN.
Stąd mamy:
~P2=[LN-P2] = [1,3,5,7,9..] -zbiór liczb niepodzielnych pzrez 2
Stąd łatwo widzieć że:
P2*~P2 =[] =0
cnd

Wniosek:
Zbiór p po minimalizacji jest zbiorem jednoelementowym:
p=[krasnoludek] =1
o wartości logicznej równej 1 bo pojęcie "Krasnoludek" jest pojęciem zrozumiałym dla 5-cio latka

Pytanie do Irbisola na poziomie I klasy LO:
Czy powyższa minimalizacje zbioru pierwotnego:
p=[Krasnoludek + P2*~P2] =?
do zbioru jednoelementowego:
p=[Krasnoludek] =1
Jest dla ciebie zrozumiała?
TAK/NIE


Ostatnio zmieniony przez rafal3006 dnia Śro 19:18, 11 Gru 2024, w całości zmieniany 1 raz
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 35795
Przeczytał: 16 tematów

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

PostWysłany: Śro 20:53, 11 Gru 2024    Temat postu:

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-9675.html#824217

Definicje prawdy i fałszu w świecie martwym!
W świecie żywym mamy do czynienia z prawdą i kłamstwem.

Definicja kłamstwa:
Kłamstwo to zdolność do zamiany twardego fałszu rodem ze świata martwego (w tym matematyki) na prawdę.
Innymi słowy:
Kłamstwo to możliwość ustawienia jedynki wszędzie tam, gdzie w świecie martwym i matematyce jest twarde zero.
Świat martwy i matematyka nigdy nie zamieni twardego zera na twardą jedynkę, to jest fizycznie niemożliwe – świat żywy nie ma z tym problemów (wtedy mamy do czynienia z kłamstwem), to jest fundament działania wszelkiej maści oszustów.
Przykładowy król oszustów Madoff oszukał najbogatszych na 64mld USD:
[link widoczny dla zalogowanych]

Irbisol napisał:

rafal3006 napisał:
Właśnie że matematycznie jest kluczowym i najważniejszym wypierdolenie wszelkich pojęć niezrozumiałych z logiki matematycznej poprzez przypisanie im twardego fałszu.
Oczywistym jest, że pojęciom pożądanym, zrozumiałym, musisz przypisać twardą prawdę - gdy je rozumiesz.

Np. "fałsz" - jest to pojęcie zrozumiałe. I ty przypisujesz mu twardą prawdę?

Pojęcia prawdy i fałszu są zrozumiałe (czyli prawdziwe) w sensie iż znamy ich definicję i umiemy się nimi posługiwać.

Definicja prawdy:
Prawda (=1) to pojęcie zrozumiałe (=1) lub zdarzenie możliwe (=1) lub zbiór niepusty [x]

Definicja fałszu:
Fałsz (=0) to pojęcie niezrozumiałe (=0) lub zdarzenie niemożliwe (=0) lub zbiór pusty []

..i co, zatkało kakao?

Irbisol napisał:

Pomijając już fakt, że pojęcia niezrozumiałe (np. dla ciebie, ale dla innych zrozumiałe), mogą być prawdziwe.

To jest TOTALNIE bez znaczenia – logiki matematycznej to nie rusza!
Po pierwsze i najważniejsze:
Logika matematyczna AK nie zależy od używanego języka bo fundament AK: warunek wystarczający =>, warunek konieczny ~>, element wspólny zbiorów ~~> (zdarzenie możliwe ~~>) nie zależy od używanego języka – proste jak cep.
Po drugie:
Identyczna logika matematyczna jak w świecie ludzi, obowiązuje w świecie zwierząt których Uniwersum to ułamek Uniwersum człowieka.

Cytuję fragment AK - zwróć uwagę na definicję Uniwersum i zbioru pustego.
Najciekawsza jest w poniższym cytacie definicja zbioru wszystkich zbiorów na gruncie AK, który oczywiście istnieje – a nie jak to jest we współczesnej logice iż nie istnieje.

http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego,21937.html#707763
Algebra Kubusia napisał:

Spis treści
12.2 Definicje podstawowe w Kubusiowej teorii zbiorów 1
12.2.1 Definicja pojęcia 1
12.2.2 Definicja elementu zbioru 2
12.2.3 Definicja zbioru 2
12.2.4 Definicja Uniwersum U 2
12.2.5 Definicja zbioru pustego [] w sensie absolutnym 3
12.8 Definicje zbioru pustego 3
12.8.1 Definicja zbioru pustego [] w sensie absolutnym 3
12.8.2 Definicja zbioru pustego [] względem wybranej dziedziny 3
12.8.3 Definicja zbioru pustego [] będącego twardym fałszem 4
12.9 Uniwersum vs zbiór pusty [] w sensie absolutnym 5
12.9.1 Definicja dziedziny absolutnej DA 6
12.9.2 Definicja zbioru wszystkich zbiorów 7
12.9.3 Prawo Owieczki 7


12.2 Definicje podstawowe w Kubusiowej teorii zbiorów

Przypomnijmy znane już definicje podstawowe.

12.2.1 Definicja pojęcia

Definicja pojęcia:
Pojęcie to wyrażenie zrozumiałe dla człowieka

Przykłady pojęć zrozumiałych:
p = [pies, miłość, krasnoludek, ZWZ, LN ...]
Przykłady pojęć niezrozumiałych:
q = [agstd, sdked …]

Pojęcia mają wartości logiczne:
1 = prawda, gdy pojęcie jest zrozumiałe (np. pies)
0 = fałsz, gdy pojęcie jest niezrozumiale (np. agstd)

Prawo Rekina:
Żaden człowiek nie posługuje się w języku potocznym pojęciami których nie rozumie

12.2.2 Definicja elementu zbioru

Definicja elementu zbioru:
Element zbioru to dowolne pojęcie zrozumiałe przez człowieka, które umieści w swoim zbiorze

12.2.3 Definicja zbioru

Definicja zbioru:
Zbiór to zestaw dowolnych pojęć zrozumiałych dla człowieka

Zauważmy, że w definicji zbioru nie ma zastrzeżenia, iż elementem zbioru nie może być podzbiór, czy też zbiór.

Zbiory, podobnie jak pojęcia, mają wartości logiczne:
[x]=1 - zbiór niepusty, zawierający pojęcia zrozumiałe dla człowieka
[] =0 - zbiór pusty, zawierający zero pojęć zrozumiałych dla człowieka

12.2.4 Definicja Uniwersum U

Definicja Uniwersum:
Uniwersum to zbiór wszelkich pojęć zrozumiałych dla człowieka.
Czyli:
U = [pies, miłość, krasnoludek ...] - wyłącznie pojęcia rozumiane przez człowieka (zdefiniowane)

Uniwersum człowieka jest dynamiczne tzn. rozszerza się gdy się uczymy (poznajemy nowe pojęcia) i zawęża gdy zapominamy wyuczonych kiedyś pojęć. Na mocy definicji w żadnym momencie nie możemy wyjść poza swoje, indywidualne Uniwersum.
Zauważmy, że zaledwie 40 lat temu pojęcie „Internet” było zbiorem pustym, nie istniało - ale w dniu dzisiejszym już tak nie jest, Uniwersum ludzkości rozszerzyło się o to pojęcie, znane praktycznie każdemu człowiekowi na Ziemi.

Uniwersum lokalne:
Uniwersum lokalne to zbiór pojęć związanych z konkretną gałęzią wiedzy np. medycznej, elektronicznej etc. gdzie znane każdemu człowiekowi niektóre słówka znaczą co innego.

Przykład:
Bramka w teorii bramek logicznych to co innego niż bramka na boisku piłkarskim
W rzadkich przypadkach w dowolnym języku mogą występować dwa słowa identyczne, ale znaczące co innego.
Przykład:
W języku polskim morze i może
Tu różnice są rozpoznawalne albo w pisowni (jak wyżej) albo w kontekście użycia tego słówka:
Może pojedziemy nad morze?
Z reguły dla najpopularniejszych słówek mamy sporo synonimów, co w logice jest bez znaczenia.

Podsumowując:
Przedstawiona wyżej definicja Uniwersum jest pojęciem rzeczywistym łatwym do zrozumienia przez każdego ucznia I klasy LO.

12.2.5 Definicja zbioru pustego [] w sensie absolutnym

Definicja zbioru pustego [] w sensie absolutnym:
Zbiór pusty [] to zbiór zawierający zero pojęć zrozumiałych dla człowieka
Czyli:
[] = [agstd, sdked …] - wyłącznie pojęcia niezrozumiałe dla człowieka (jeszcze niezdefiniowane)

Zauważmy, że zbiór pusty [] będzie tu podzbiorem => siebie samego (wyjaśnienie w pkt. 12.9):
[]=>[] =1
0=>0 =1


12.8 Definicje zbioru pustego

W logice matematycznej rozróżniamy trzy rodzaje zbioru pustego [].

12.8.1 Definicja zbioru pustego [] w sensie absolutnym

Definicja zbioru pustego [] w sensie absolutnym:
Zbiór pusty [] to zbiór zawierający zero pojęć zrozumiałych dla człowieka
Czyli:
[] = [agstd, sdked …] - wyłącznie pojęcia niezrozumiałe dla człowieka (jeszcze niezdefiniowane)

Zauważmy, że zbiór pusty [] będzie tu podzbiorem => siebie samego (wyjaśnienie w pkt. 12.9):
[]=>[] =1
0=>0 =1

12.8.2 Definicja zbioru pustego [] względem wybranej dziedziny

Definicja zbioru pustego [] względem wybranej dziedziny:
Zbiór pusty [] to wszelkie pojęcia poza wybraną dziedziną

Definicja dziedziny:
Dziedzina to dowolnie wybrany zbiór na którym operujemy

Przykład:
Twierdzenie proste Pitagorasa:
Jeśli trójkąt jest prostokątny to zachodzi w nim suma kwadratów
TP=>SK =1
Twierdzenie proste Pitagorasa ludzkość udowodniła wieki temu
Oczywista dziedzina na której operuje twierdzenie Pitagorasa to:
ZWT – zbiór wszystkich trójkątów
Zbiorem [] pustym będą tu wszelkie pojęcia z Uniwersum pomniejszone o zbiór wszystkich trójkątów
[] = [U-ZWT]
Przykładowe pojęcia puste [] ze względu na zbiór wszystkich trójkątów (ZWT) to:
[] = [kwadrat, koło, kula, pies, miłość, krasnoludek …]

Zauważmy, że zbiór pusty [] będzie tu podzbiorem => siebie samego:
[]=>[] =1
0=>0 =1

12.8.3 Definicja zbioru pustego [] będącego twardym fałszem

Definicja zbioru pustego [] będącego twardym fałszem:
Zbiór pusty [] to wszelkie twarde fałsze (=0) w otaczającym nas świecie.

Definicja twardego fałszu (=0):
Twardy fałsz (=0) to pojęcie które w dowolnym iterowaniu (losowaniu) nie ma prawa stać się prawdą (=1)

W logice matematycznej istnieją twarde jedynki i twarde zera jak również miękkie jedynki i miękkie zera. O co tu chodzi mamy wytłumaczone na przykładzie w punkcie 2.16.3 oraz 2.17.

Definicja kontrprzykładu w zbiorach (pkt. 2.3.4):
Kontrprzykładem dla warunku wystarczającego p=>q nazywamy to samo zdanie z zanegowanym następnikiem kodowane elementem wspólnym zbiorów 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)

Przykłady twardej prawdy i twardego fałszu:
1.
Pies na cztery lapy
P=>4L =1 – twarda prawda (=1)
Bycie psem jest (=1) wystarczające => by mieć cztery łapy wtedy i tylko wtedy
gdy zbiór P=[pies] jest (=1) podzbiorem => zbioru zwierząt z czterema łapami 4L=[pies, słoń ..]
2.
Kontrprzykład dla 1 to:
Nie istnieje (=0) zwierzę będące psem i nie mające czterech łap
P~~>~4L=P*~4L=[] =0 – twardy fałsz (=0)
Zbiór P=[pies] i zbiór zwierząt bez czterech łap ~4L=[kura ..] to zbiory rozłączne (=[] =0)
3.
2+2=4 – twarda prawda (=1)
Prawdziwe jest (=1) działania 2+2=4
4.
2+2=5 =[] =0 – twardy fałsz
Fałszywe jest (=0) działanie 2+2=5
etc

Zauważmy, że twarde fałsze należą do Uniwersum bo potrafimy udowodnić iż są to twarde fałsze.

Definicja Uniwersum:
Uniwersum to zbiór wszelkich pojęć zrozumiałych dla człowieka.

Wszelkie pojęcia w Uniwersum wiąże ze sobą spójnik „lub”(+).
Stąd mamy:
U = [pies ma cztery łapy (=1) + pies nie ma czterech łap (=0) + miłość (=1) + krasnoludek (=1) ...]
- wyłącznie pojęcia rozumiane przez człowieka (zdefiniowane)

Zauważmy, że jeśli ze zbioru U (Uniwersum) usuniemy twarde fałsze (=0) to nic nie stracimy na jednoznaczności U (Uniwersum) bowiem wszelkie twarde fałsze (=0) wynikają z twardych prawd (=1) na mocy definicji kontrprzykładu.

Zajdzie więc tożsamość zbioru U (Uniwersum) z twardymi fałszami:
U = [pies ma cztery łapy (=1) + pies nie ma czterech łap (=0) + miłość (=1) + krasnoludek (=1) ...]
oraz zbioru U (Uniwersum) pomniejszonego o wszelkie twarde fałsze:
U = [pies ma cztery łapy (=1) + miłość (=1) + krasnoludek (=1) ...]

To samo w zapisie ogólnym możemy zapisać jako:
U-[] =U-0 = U
Czytamy:
Z dowolnego zbioru (w tym z Uniwersum) możemy usunąć twarde fałsze i zbiór nie zmieni się na mocy definicji spójnika „lub”(+).

Komentarz:
W logice matematycznej za psa przyjmujemy wzorzec psa, czyli psa zdrowego z czterema łapami.
Oczywiście wiemy, że pies kaleki z trzema łapami to też pies, ale tego przypadku nie wolno nam podpinać pod logikę matematyczną, bo będziemy mieli chaos, czyli brak warunku wystarczającego =>.

Dowód:
A1.
Jeśli zwierzę jest psem (P) to na 100% => ma cztery łapy (4L)
A1: P=>4L =0
Przyjmijmy za dziedzinę psa z czterema łapami plus psa kalekiego (z trzema łapami)
Wtedy mamy:
Warunek wystarczający A1: P=>4L nie jest (=0) spełniony, bo istnieje pies z trzema łapami

Podsumowując:
Nie wolno obalać logiki matematycznej przysłowiowym „psem z trzema łapami”

12.9 Uniwersum vs zbiór pusty [] w sensie absolutnym

Definicja Uniwersum:
Uniwersum to zbiór wszelkich pojęć zrozumiałych dla człowieka.
Czyli:
U = [pies, miłość, krasnoludek, pies ma cztery łapy ...] - wyłącznie pojęcia rozumiane przez człowieka (zdefiniowane)

Definicja zbioru pustego [] w sensie absolutnym:
Zbiór pusty [] to zbiór zawierający zero pojęć zrozumiałych dla człowieka
Czyli:
[] = [agstd, sdked …] - wyłącznie pojęcia niezrozumiałe dla człowieka (jeszcze niezdefiniowane)

Z definicji wiadomo, że wyłącznie człowiek (mimo że podobno pochodzi od małpy) jest zdolny do odkrywania i świadomego definiowania dowolnych pojęć związanych z otaczającym go światem.
Przed pojawieniem się pierwszego człowieka na ziemi mieliśmy zatem do czynienia ze zbiorem pustym [].

Aktualna wiedza o otaczającym nas Wszechświecie to wiedza dostępna wyłącznie człowiekowi z wykluczeniem wszelkich zwierząt.
Matematycznie zachodzi:
Człowiek ## Dowolne zwierzę
Gdzie:
## - różne na mocy definicji

Stąd mamy wyprowadzoną definicje zbioru pustego [] w sensie absolutnym, czyli przed pojawieniem się pierwszego człowieka na Ziemi (zaledwie 200tys lat temu)

Definicja zbioru pustego [] w sensie absolutnym:
Zbiór pusty [] w sensie absolutnym to zbiór zawierający zero pojęć zrozumiałych dla człowieka
Czyli:
[] = [agstd, sdked …] - wyłącznie pojęcia niezrozumiałe dla człowieka (jeszcze niezdefiniowane)

12.9.1 Definicja dziedziny absolutnej DA

Idąc dalej tropem zbioru pustego [] w sensie absolutnym łatwo zdefiniować nowatorskie pojęcie zwane dziedziną absolutną DA.

Definicja dziedziny absolutnej DA:
Dziedzina absolutna DA to zbiór wszelkich pojęć możliwych do zdefiniowania w naszym Wszechświecie.

Zauważmy, że największy współczesny wynalazek ludzkości, Internet, mógł zaistnieć tylko i wyłącznie dlatego, że na naszej Ziemi były ku temu warunki niezależne od człowieka, które istniały „od zawsze”.
Nie wiadomo jakimi jeszcze wynalazkami w przyszłości ludzkość zostanie zaskoczona, pewne jest, że zostanie zaskoczona wynalazkami tylko i wyłącznie możliwymi do zaistnienia w naszym Wszechświecie.

Ludzkość w tym zakresie nieustannie marzy, próbując zrealizować swoje marzenia.

Wiele z tych marzeń jest wątpliwej jakości.
Przykłady:
Faraonowie w grobowcach gromadzili niebotyczne skarby marząc o życiu w zaświatach gdzie będą ich potrzebować.
Średniowieczni alchemicy marzyli o zrobieniu złota z piasku bo to żółte i to żółte
etc

Przykłady zrealizowanych marzeń ludzkości o których największym ziemskim, średniowiecznym filozofom się nie śniło to:
- radio i telewizja
- prom kosmiczny
- Internet
etc

Jak widzimy, na bazie powyższych rozważań pojęcie dziedziny absolutnej DA jest pojęciem rzeczywistym, dziejącym się na naszych oczach, tu i teraz.
W żadnym przypadku pojęcie dziedziny absolutnej DA nie jest pojęciem abstrakcyjnym.

12.9.2 Definicja zbioru wszystkich zbiorów

Jak udowodniliśmy wyżej, kluczowe pojęcia Kubusiowej Teorii Zbiorów:
- Uniwersum (U)
- Zbiór pusty ([]) w sensie absolutnym
- Dziedzina absolutna (DA)
To pojęcia rzeczywiste, weryfikowalne w naszym Wszechświecie.
Stąd mamy łatwo wyprowadzoną definicję zbioru wszystkich zbiorów.

Zbiór wszystkich zbiorów:
Zbiór wszystkich zbiorów jest tożsamy z dziedziną absolutną DA.

12.9.3 Prawo Owieczki

Definicja Uniwersum:
Uniwersum U to zbiór wszelkich pojęć zrozumiałych dla człowieka.

Definicja zbioru pustego [] w sensie absolutnym:
Zbiór pusty [] to zbiór zawierający zero pojęć zrozumiałych dla człowieka.

Zbiór pusty zawiera nieskończenie wiele pojęć niezrozumiałych dla człowieka, jeszcze niezdefiniowanych. Definiować elementy w naszym Wszechświecie może wyłącznie człowiek, świat martwy sam sobie nic nie definiuje.

Przed pojawieniem się człowieka na ziemi zawartość zbioru pustego była taka:
[] - wszystkie elementy naszego Wszechświata w sensie absolutnym, nie ma jeszcze człowieka który by cokolwiek definiował.

W dniu dzisiejszym sytuacja jest inna, taka:
Kod:

T1
Algebra Kubusia:
-----------------------------------------------------------------
| Uniwersum U                 | Zbiór pusty []                  |
| Pojęcia przez człowieka już | Pojęcia jeszcze przez człowieka |
| zdefiniowane                | niezdefiniowane                 |
| Zrozumiałe dla człowieka    | Niezrozumiałe dla człowieka     |
| U=~[]                       | []=~U                           |
-----------------------------------------------------------------
|                 DA - dziedzina absolutna                      |
-----------------------------------------------------------------

Na mocy powyższego zachodzi:
U = ~[] - zbiór Uniwersum U to zaprzeczenie zbioru pustego [] w dziedzinie absolutnej DA
[] = ~U - zbiór pusty [] to zaprzeczenie Uniwersum U w dziedzinie absolutnej DA

Na mocy definicji dziedziny absolutnej DA mamy:
1: U+~U = U+[] =U =1
2: U*~U = U*[] =[] =0
Komentarz:
1.
Do zbioru Uniwersum (pojęcia zrozumiałe dla człowieka) możemy dodać elementy ze zbioru ~U (pojęcia niezrozumiałe dla człowieka np. kgstl), ale na mocy definicji Uniwersum wszelkie takie elementy musimy natychmiast usunąć, inaczej gwałcimy definicję Uniwersum.
2.
U*~U=[] =0
Iloczyn logiczny elementów ze zbioru U (pojęcia zrozumiałe dla człowieka) i ~U (pojęcia niezrozumiałe dla człowieka) jest zbiorem pustym tzn. nie ma ani jednego elementu wspólnego w zbiorach U i ~U=[].

Prawo Owieczki:
Prawdziwe jest zdanie ziemskich matematyków iż „ze zbioru pustego [] wynika wszystko” wtedy i tylko wtedy gdy definicje zbioru pustego [] i Uniwersum U będą zgodne z definicjami obowiązującymi w algebrze Kubusia.
Powrót do góry
Zobacz profil autora
Wyświetl posty z ostatnich:   
Napisz nowy temat   Odpowiedz do tematu    Forum ŚFiNiA Strona Główna -> Metodologia / Forum Kubusia Wszystkie czasy w strefie CET (Europa)
Idź do strony Poprzedni  1, 2, 3 ... 128, 129, 130
Strona 130 z 130

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

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