Kompuś - program który myśli jak człowiek (Fiklit C V)

Ś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.

FAQ

Szukaj

Użytkownicy

Grupy

Galerie

Rejestracja

Profil

Zaloguj się, by sprawdzić wiadomości

Zaloguj

Kompuś - program który myśli jak człowiek (Fiklit C V)
Idź do strony Poprzedni 1, 2, 3 ... 22, 23, 24 ... 26, 27, 28 Następny

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: 35363
Przeczytał: 23 tematy

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

Wysłany: Pią 16:20, 20 Lut 2015 Temat postu:

Witamy w nowej erze matematycznej - algebrze Kubusia!
Z dedykacją dla Fizyka i Idioty, dwóch biednych Ziemian z pancernym kagańcem KRZiRP na mózgu … który Kubuś za chwilę rozwali w puch, dla ich dobra, aby wrócili z matematycznych rojeń do matematyki normalnych, 5-cio latków i humanistów.

Lekcja 1
Wykłady z Teorii Mnogości autorstwa Kubusia i Idioty.
Definicja warunku wystarczającego => identyczna w Teorii Mnogości i algebrze Kubusia

Wstęp teoretyczny:
http://www.sfinia.fora.pl/forum-kubusia,12/kompus-program-ktory-mysli-jak-czlowiek-fiklit-c-v,7220-525.html#230876

rafal3006 napisał:

Zaczynamy króciuteńki wykład na temat bajecznie prostej algebry Kubusia!

Kubusiowe definicje poprawne w absolutnie każdej teorii zbiorów (nazwa obojętna - może być TM):
1.
=> - spójnik „na pewno”, warunek wystarczający
Zbiór na podstawie wektora => zwiera się w zbiorze wskazywanym przez strzałkę wektora =>
Zdanie tożsame:
Zbiór na podstawie wektora => jest podzbiorem zbioru wskazywanego przez strzałkę wektora =>
2.
~> - spójnik „może”, warunek konieczny
Zbiór na podstawie wektora ~> zawiera w sobie zbiór wskazywany przez strzałkę wektora ~>
Zdanie tożsame:
Zbiór na podstawie wektora ~> jest nadzbiorem zbioru wskazywanego przez strzałkę wektora ~>
3.
~~> - naturalny spójnik „może”
Zbiór na podstawie wektora ~~> ma co najmniej jeden element wspólny ze zbiorem wskazywanym przez strzałkę wektora ~~>

Na pewno nie możesz Fiklicie powiedzieć, że to nie są dobre definicje bo nie obowiązują w teorii mnogości, bowiem pewne jest, że obowiązują w każdej teorii zbiorów, o ile nie jest ona badziewiem.

Wniosek:
Te definicje są poprawne w aktualnej matematyce Ziemian!

Taz napisał:

rafal3006 napisał:

Dlaczego nie są definicjami?
... bo nie ma ich w twojej świętej książeczce, Wikipedii?

Bo nie odpowiadają na pytanie czym właściwie jest pojęcie, które mają definiować.
Definicja Kubusia: Pchnąć w tę łódź jeża lub ośm skrzyń fig.

rafal3006 napisał:

Kluczowe pytanie do Fizyka:
Jeśli zbiór p jest podzbiorem zbioru q, to czy masz pewność matematyczną, iż każdy element zbioru p należy do zbioru q

Mam pewność, bo to wynika wprost z definicji zawierania się, ale nie mam pojęcia czym się różni matematyczna pewność od nie matematycznej.

Masz Fizyku pewność, czyli masz gwarancję matematyczną!
Dlaczego więc tupiesz nogami iż pojecie „gwarancja matematyczna” to idiotyzm?

Powtórzę jeszcze raz:
Widzę Fizyku, że opanowałeś matematykę „na pamięć” i klepiesz wyuczone formułki, nie jesteś w stanie wyjść poza swoje badziewie, zwane KRZiRP.

[link widoczny dla zalogowanych]
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.

http://www.sfinia.fora.pl/forum-kubusia,12/nti-fantastyczna-dyskusja-z-ateisty-pl,4825-275.html#124499
Krótki wykład Idioty, wstęp do Teorii Mnogości

idiota napisał:

równoważność zbiorów A i B oznacza co następuje:
każdy element ze zbioru A jest elementem zbioru B i vice versa.
implikowanie zbioru B przez zbiór A oznacza, że każdy element zbioru B jest też pewnym elementem zbioru A.

Relacje między zbiorami

Równość zbiorów
Zbiory A i B nazywamy równymi wtedy i tylko wtedy, gdy każdy
element zbioru A jest elementem zbioru B i na odwrót.

A = B ⇔ ∀x (x∈A ⇔ x∈B).

Inkluzja zbiorów

Jeżeli każdy element zbioru A jest elementem zbioru B, to mówimy,
że A jest podzbiorem B i zapisujemy A⊂B.
A nazywamy podzbiorem B, zbiór B zaś nadzbiorem zbioru A.
Symbol ⊂ nazywamy znakiem inkluzji.

A ⊂ B ⇔∀x (x∈A ⇒ x∈B)

inkluzja zbiorów jest odpowiednikiem wynikania a równość zbiorów odpowiednikiem równoważności zdań.
wiedziałem, że będę musiał zaczynać od lekcji pierwszej teorii mnogości.

Bycie podzbiorem to implikacja a bycie podzbiorem pełnym to równoważność.
i tak samo jeśli A jest podzbiorem B i B jest podzbiorem A to A i B są tożsame... czyli A jest pełnym podzbiorem B (i na odwrót).

Definicja pewności matematycznej = Definicja gwarancji matematycznej!
Gwarancja matematyczna to 100% pewność zajścia konkretnego zdarzenia, nie budząca wątpliwości żadnego matematyka … przy zdrowych zmysłach.

Przykłady gwarancji matematycznych (matematycznych pewności) na mocy definicji:
1.
W odcinku łączącym dwa dowolne punkty można umieścić nieskończenie wiele punktów
2.
Punkt nie ma wymiarów
3.
Matematyczna płaszczyzna idealna to płaszczyzna nie ulegająca żadnym fizycznym zakrzywieniom np. w myśl hipotezy o fizycznym zakrzywieniu naszego Wszechświata.

Na mocy aksjomatu 3 twierdzenie Pitagorasa, obowiązujące na płaszczyźnie idealnej, jest prawdziwe w sposób absolutny, czyli nie budzący zastrzeżeń żadnego Ziemskiego matematyka … przy zdrowych zmysłach.

Twierdzenie Pitagorasa:
[link widoczny dla zalogowanych]

W dowolnym trójkącie prostokątnym, narysowanym na matematycznej płaszczyźnie idealnej, suma kwadratów długości przyprostokątnych jest równa kwadratowi długości przeciwprostokątnej tego trójkąta. Zgodnie z oznaczeniami na rysunku obok zachodzi tożsamość
a^2+b^2=c^2

Geometrycznie oznacza to, że jeżeli na bokach trójkąta prostokątnego zbudujemy kwadraty, to suma pól kwadratów zbudowanych na przyprostokątnych tego trójkąta będzie równa polu kwadratu zbudowanego na przeciwprostokątnej. W sytuacji na rysunku obok: suma pól kwadratów "czerwonego" i "niebieskiego" jest równa polu kwadratu "fioletowego".

Dalsza część Wikipedii to brednie nie dotyczące twierdzenia Pitagorasa!
Nie musi być ono prawdziwe dla „rzeczywistych” trójkątów mierzonych we wszechświecie, w geometrii nieeuklidesowej. Jednym z pierwszych matematyków, którzy zdali sobie z tego sprawę był Carl Friedrich Gauss, który bardzo starannie mierzył wielkie trójkąty w swoich badaniach geograficznych, aby sprawdzić prawdziwość twierdzenia. Na powierzchni kuli twierdzenie to nie jest spełnione, gdyż obowiązuje tam geometria sferyczna będąca szczególnym przypadkiem nieeuklidesowej geometrii Riemanna. Ogólna teoria względności mówi, że w polach grawitacyjnych twierdzenie jest fałszywe, gdyż tam także obowiązuje zmodyfikowana geometria Riemanna. Również w olbrzymich skalach kosmicznych to twierdzenie może być nie spełnione w związku z krzywizną przestrzeni w wielkiej skali − problem krzywizny jest jednym z otwartych problemów.

W dowolnej teorii zbiorów (nazwa obojętna, może być TM albo Nowa Teoria Zbiorów z AK) zachodzą poniższe gwarancje matematyczne na mocy definicji.

Definicja podzbioru Idioty z Teorii Mnogości:

idiota napisał:

Inkluzja zbiorów

Jeżeli każdy element zbioru A jest elementem zbioru B, to mówimy,
że A jest podzbiorem B i zapisujemy A⊂B.

Zachodzi tożsamość znaczków z TM i AK:
p⊂q = p=>q
Przejdźmy na standard z AK przypisując:
p=A
q=B
Oznaczenia zgodne z TM:
q - element zbioru Q (mała litera)
Q - zbiór Q (duża litera)

I.
Definicja prosta podzbioru Idioty z TM v1:
Jeśli każdy element p zbioru P należy => również do zbioru Q to na pewno => zbiór P jest podzbiorem => zbioru Q
(p=>q) => (P=>Q)
Twierdzenie Jaszczurki:
Jeśli zbiór P jest podzbiorem => zbioru Q to matematycznie zachodzi:
Iloczyn logiczny zbiorów P i Q jest równy zbiorowi P, co zapisujemy [P*Q=P]
P=>Q = [P*Q=P] =[P=P]

Tożsama definicja prosta podzbioru Idioty z TM v2:
Jeśli każdy element p zbioru P należy => również do zbioru Q to mamy pewność matematyczną => (gwarancję matematyczną =>!) iż zbiór P jest podzbiorem => zbioru Q
(p=>q) => (P=>Q)
Twierdzenie Jaszczurki:
Jeśli zbiór P jest podzbiorem => zbioru Q to matematycznie zachodzi:
Iloczyn logiczny zbiorów P i Q jest równy zbiorowi P, co zapisujemy [P*Q=P]
P=>Q = [P*Q=P] =[P=P]

Tożsama definicja prosta podzbioru Idioty z TM v3:
Jeśli każdy element p zbioru P należy => również do zbioru Q to jest to warunek wystarczający => do tego, aby zbiór P był podzbiorem => zbioru Q.
(p=>q) => (P=>Q)
Twierdzenie Jaszczurki:
Jeśli zbiór P jest podzbiorem => zbioru Q to matematycznie zachodzi:
Iloczyn logiczny zbiorów P i Q jest równy zbiorowi P, co zapisujemy [P*Q=P]
P=>Q = [P*Q=P] =[P=P]

II.
Definicja odwrotna podzbioru Idioty z TM v1:
Jeśli zbiór P jest podzbiorem => zbioru Q to na pewno => każdy element p zbioru P należy => również do zbioru Q
(P=>Q) => (p=>q)
Twierdzenie Jaszczurki:
Jeśli zbiór P jest podzbiorem => zbioru Q to matematycznie zachodzi:
Iloczyn logiczny zbiorów P i Q jest równy zbiorowi P, co zapisujemy [P*Q=P]
P=>Q = [P*Q=P] =[P=P]

Tożsama definicja odwrotna podzbioru Idioty z TM v2:
Jeśli zbiór P jest podzbiorem => zbioru Q to przynależność dowolnego elementu p do zbioru P daje nam matematyczną pewność => (gwarancję matematyczną =>!) iż ten element będzie należał => również do zbioru Q.
(P=>Q) => (p=>q)
Twierdzenie Jaszczurki:
Jeśli zbiór P jest podzbiorem => zbioru Q to matematycznie zachodzi:
Iloczyn logiczny zbiorów P i Q jest równy zbiorowi P, co zapisujemy [P*Q=P]
P=>Q = [P*Q=P] =[P=P]

Tożsama definicja odwrotna podzbioru Idioty z TM v3:
Jeśli zbiór P jest podzbiorem => zbioru Q to na pewno => przynależność dowolnego elementu p do zbioru P jest warunkiem wystarczającym => aby ten element należał również do zbioru Q
(P=>Q) => (p=>q)
Twierdzenie Jaszczurki:
Jeśli zbiór P jest podzbiorem => zbioru Q to matematycznie zachodzi:
Iloczyn logiczny zbiorów P i Q jest równy zbiorowi P, co zapisujemy [P*Q=P]
P=>Q = [P*Q=P] =[P=P]

Wniosek:
Zachodzi równoważność!
Zbiór P jest podzbiorem => zbioru Q wtedy i tylko wtedy <=> gdy każdy element p zbioru P należy => również do zbioru Q
(P=>Q) <=> (p=>q) = [(P=>Q) => (p=>q)]*[(p=>q) => (P=>Q)] =1*1 =1

Porównajmy!

Definicja prosta podzbioru Idioty z TM v1:
Jeśli każdy element p zbioru P należy => również do zbioru Q to na pewno => zbiór P jest podzbiorem => zbioru Q
(p=>q) => (P=>Q)

Przykład:
A.
Jeśli dowolna liczba jest podzielna przez 8 to na pewno => jest podzielna przez 2
P8=>P2
Definicja warunku wystarczającego => spełniona bo:
Zbiór P8=[8,26,24..] jest podzbiorem => zbioru P2=[2,4,6,8..]
Bezpośrednio z tego faktu wynika, że w zbiorach zachodzi:
Twierdzenie Jaszczurki:
Jeśli zbiór P8 jest podzbiorem => zbioru P2 to matematycznie zachodzi:
Iloczyn logiczny zbiorów P8 i P2 jest równy zbiorowi P8, co zapisujemy [P8*P2=P8]
P8=>P2 = [P8*P2=P8] = [P8=P8]

Wniosek:
Zbiór P8 jest podzbiorem => zbioru P2 wtedy i tylko wtedy gdy zdanie A iterujemy wyłącznie po zbiorze P8!

Warunek wystarczający => A zapisany kwantyfikatorem dużym z AK:
A1.
/\x P8(x)=>P2(x)
Dla dowolnego x, jeśli x należy do zbioru P8(x) to na pewno => x należy do zbioru P2(x)

Wniosek:
Zbiór P8(x) jest podzbiorem => zbioru P2(x) wtedy i tylko wtedy gdy zdanie A1 iterujemy wyłącznie po zbiorze P8(x)!
Wtedy i tylko wtedy zdanie A1 jest prawdziwe.

Jeśli w poprzedniku zdania A1 będziemy iterować po kompletnej dziedzinie (tu zbiór liczb naturalnych LN), jak to robi aktualna logika „matematyczna” Ziemian, to zdanie A1 będzie fałszywe!

Dowód:
Dla iterowania po całej dziedzinie liczb naturalnych (LN) zdanie A1 jest fałszywe, bo!
Zbiór rozpatrywany w poprzedniku:
LN = P8(x) = [1,2,3,4,5,6,7,8..]
NIE jest podzbiorem => zbioru zdefiniowanego w następniku!
P2(x) = [2,4,6,8…]
cnd

Zauważmy, że zapis:
LN = P8(x) = [1,2,3,4,5,6,7,8..]
To ewidentny błąd czysto matematyczny (matematyczne brednie) bo wynika z niego głupota jakoby:
Zbiór liczb naturalnych (LN) był tożsamy ze zbiorem liczb podzielnych przez 8 (P8)
LN=P8

W ten oto banalnie prosty sposób posłaliśmy do piekła (tam jest jej miejsce) definicję kwantyfikatora dużego rodem z „matematyki” Ziemian … a wraz z nią całą logikę matematyczną Ziemian w 100%!

Witamy w nowej erze matematycznej - algebrze Kubusia!
… logice absolutnie wszystkich ludzi na Ziemi, od 5-cio latków i humanistów poczynając na profesorach matematyki kończąc!

Ci ostatni doskonale posługują się algebrą Kubusia w komunikacji z normalnymi ludźmi (nie matematykami) … tylko nie wiedzą iż ich naturalny język mówiony (ich naturalna logika człowieka), to jest właśnie matematyka ścisła!

Napisz Fizyku czego nie rozumiesz?
Czy dalej twierdzisz, iż wszystko co pisze Kubuś to matematyczne brednie?

Jeśli tak to bredzi również Idiota, bo wszystkie definicje wyżej to definicje z Teorii Mnogości Idioty.
Identyczne definicje występują także w Nowej Teorii Zbiorów z algebry Kubusia … i w dowolnej innej teorii zbiorów, o ile nie jest ona badziewiem!

Ostatnio zmieniony przez rafal3006 dnia Pią 18:48, 20 Lut 2015, w całości zmieniany 12 razy