 |
Ś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ść |
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 8:28, 07 Maj 2015 Temat postu: |
|
|
| rafal3006 napisał: | | Już tłumaczę jak działa instrukcja warunkowa w asemblerze, czy też w dowolnym innym języku. |
Nie ma czegoś takiego, jak "instrukcja warunkowa w dowolnym języku". W językach czysto funkcyjnych w ogóle nie występuje instrukcja warunkowa, a tylko wyrażenie warunkowe. W niektórych językach mamy jedno i drugie.
| Cytat: | | Etykiety E2 i E1 nie mogą być tymi samymi etykietami. |
Proszę zatem wskazać, w jakim języku niemożliwym jest napisanie i uruchomienie programu, gdzie w obu przypadkach mamy tę samą etykietę/polecenie/blok instrukcji.
Że już zupełnie pominę fakt, że klauzula "else" nie jest koniecznie potrzebna w żadnym imperatywnym języku, gdyż zawsze istnieje możliwość jej zastąpienia kolejnym blokiem.
| Kod: |
if a:
f1()
else:
f2()
|
Można zastąpić
| Kod: |
if a:
f1()
if not a:
f2()
|
Można więc z powodzeniem używać języka imperatywnego bez else. Ty zaś się zafiksowałeś na tym else od kilku lat jako czymś koniecznym.
| Cytat: | | Niemożliwe jest napisanie sensownego programu z użyciem implikacji. |
Jeśli to twierdzenie - proszę o dowód.
|
|
| Powrót do góry |
|
 |
|
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 32600
Przeczytał: 41 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Czw 8:47, 07 Maj 2015 Temat postu: |
|
|
if a ET1
if not a ET1
To jest to samo co:
jmp ET1
Nie jest to zatem instrukcja warunkowa
cnd
To ty masz znaleźć kontrprzykład, czyli pokazać przykład instrukcji w dowolnym języku programowania wykorzystującej operator implikacji
Powodzenia.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Taz
Dołączył: 29 Mar 2012
Posty: 471
Przeczytał: 0 tematów
Skąd: Warszawa
Płeć: Mężczyzna
|
| Wysłany: Czw 8:51, 07 Maj 2015 Temat postu: |
|
|
| rafal3006 napisał: | | To ty masz znaleźć kontrprzykład |
Zgodnie z Twoją definicją, kontrprzykładem będzie:
"Istnieje język programowania, w którym instrukcja warunkowa wykorzystuje operator implikacji."
Proszę, znalazłem 
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 32600
Przeczytał: 41 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Czw 9:05, 07 Maj 2015 Temat postu: |
|
|
| Taz napisał: | | rafal3006 napisał: | | To ty masz znaleźć kontrprzykład |
Zgodnie z Twoją definicją, kontrprzykładem będzie:
"Istnieje język programowania, w którym instrukcja warunkowa wykorzystuje operator implikacji."
Proszę, znalazłem |
Bardzo proszę, pokaże osiołkom jak działa instrukcja implikacji, i niech osiołki napiszą program z tą instrukcją.
if a ET1
if not a
CALL (generator liczb losowych)
Wstaw wygenerowaną liczbą losową do rejestru rozkazów PC
Do dzieła osiołki, piszcie
|
|
| 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 9:07, 07 Maj 2015 Temat postu: |
|
|
| Cytat: | Bardzo proszę, pokaże osiołkom jak działa instrukcja implikacji, i niech osiołki napiszą program z tą instrukcją.
if a ET1
if not a
CALL (generator liczb losowych)
Wstaw wygenerowaną liczbą losową do rejestru rozkazów PC |
to by był kontrprzykład w normalnym rozumieniu. W twoim rozumieniu kontrprzykładu Taz już go podał. Choć mógł to napisać "lepiej": "jeśli język programowania to może ~~> instrukcja warunkowa wykorzystywać operator implikacji".
Pozatym czemu oczekujesz, że ktoś będzie szukał "operatora implikacji" w twoim rozumieniu? My go inaczej rozumiemy.
Ostatnio zmieniony przez fiklit dnia Czw 9:08, 07 Maj 2015, 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: 32600
Przeczytał: 41 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Czw 9:16, 07 Maj 2015 Temat postu: |
|
|
| fiklit napisał: | | Cytat: | Bardzo proszę, pokaże osiołkom jak działa instrukcja implikacji, i niech osiołki napiszą program z tą instrukcją.
if a ET1
if not a
CALL (generator liczb losowych)
Wstaw wygenerowaną liczbą losową do rejestru rozkazów PC |
to by był kontrprzykład w noermalnym rozumieniu. W twoim rozumieniu kontrprzykładu Taz już go podał. Choć mógł to napisać "lepiej": "jeśli język programowania to może ~~> instrukcja warunkowa wykorzystywać operator implikacji". |
Fiklicie moje twierdzenie od zawsze jest takie.
Implikacja to absolutny DEBILIZM w świecie techniki, w tym w językach programowania.
W moim cytacie doskonale widać dlaczego.
Oczywistym jest że bez sensu jest implikacja rodem z KRZ, bo tu musisz znać z góry dokładnie tą losową etykietę z generatora liczb losowych. Odpowiednikiem w świecie żywych jest tu wymóg znajomości co drugi człowiek uczyni w przyszłości - czyli wchodzimy w kompetencje boga.
Oczywiście możesz powtarzać wywoływanie generatora liczb losowych aż ten nie zwróci ci etykiety zgodnej z twoim życzeniem, taki program ma sens i będzie działał poprawnie.
|
|
| 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 9:24, 07 Maj 2015 Temat postu: |
|
|
| rafal3006 napisał: | if a ET1
if not a ET1 |
Jaki to język?
| Cytat: | To jest to samo co:
jmp ET1 |
Nie do końca. Co na przykład, jeśli np ewaluacja wyrażenia a będzie miała jakiś efekt uboczny?
| Cytat: | | Nie jest to zatem instrukcja warunkowa |
Z punktu widzenia samej składni języka - jest.
Nie. Nie mam. Twierdzenie z definicji jest udowodnione. Jeśli nie masz dowodu na jakiś sąd, to może to być aksjomat (przyjmujesz jego prawdziwość bez dowodu), lub przypuszczenie (nie wiesz, czy jest prawdziwy). Ale nie twierdzenie. | Cytat: | | znaleźć kontrprzykład, czyli pokazać przykład instrukcji w dowolnym języku programowania wykorzystującej operator implikacji |
Proszę bardzo:
| Kod: |
import Data.List (find)
a `imp` b = (not a) || b
a `divisible` b = a `rem` b == 0
-- This will show that the implication
-- "if a is divisible by 8 then a is divisible by 2" holds for every number
-- from 1 to 100
results = [(a `divisible` 8) `imp` (a `divisible` 2)| a <- [1..100]]
main = putStrLn (if False `elem` results then "Implication doesn't hold" else "Implication holds")
|
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Taz
Dołączył: 29 Mar 2012
Posty: 471
Przeczytał: 0 tematów
Skąd: Warszawa
Płeć: Mężczyzna
|
| Wysłany: Czw 9:40, 07 Maj 2015 Temat postu: |
|
|
| zefciu napisał: | Proszę bardzo:
| Kod: |
import Data.List (find)
a `imp` b = (not a) || b
a `divisible` b = a `rem` b == 0
-- This will show that the implication
-- "if a is divisible by 8 then a is divisible by 2" holds for every number
-- from 1 to 100
results = [(a `divisible` 8) `imp` (a `divisible` 2)| a <- [1..100]]
main = putStrLn (if False `elem` results then "Implication doesn't hold" else "Implication holds")
|
|
Coś podobnego mu kiedyś podrzuciłem tutaj :p
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 32600
Przeczytał: 41 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Czw 10:00, 07 Maj 2015 Temat postu: |
|
|
| zefciu napisał: | Proszę bardzo:
| Kod: |
import Data.List (find)
a `imp` b = (not a) || b
a `divisible` b = a `rem` b == 0
-- This will show that the implication
-- "if a is divisible by 8 then a is divisible by 2" holds for every number
-- from 1 to 100
results = [(a `divisible` 8) `imp` (a `divisible` 2)| a <- [1..100]]
main = putStrLn (if False `elem` results then "Implication doesn't hold" else "Implication holds")
|
|
Nie znam innego języka niż asembler, pokazałem wyżej o co chodzi w implikacji.
Na danych (domyślam sie) to se zefciu może operować do woli, graczowi grajacemu w głupią gierkę komputerową wydaje się że postaci z którymi razem żyje mają wolną wolę (implikację), w rzeczywistości to gówno prawda.
Implikacja to jest coś nie do przewidzenia przez samego programistę, i dotyczy samych ROZKAZÓW - nigdy jakichkolwiek danych.
Przecież implikacja to rozkaz, żadne dane, czy to tak trudno osiołkom zrozumieć?
Chodzi o to że matematycy w KRZ nie mogą pojąć iż dowolna implikacja to w jednej połówce 100% determinizm, natomiast w drugiej to "rzucania monetą".
Nie wolno brac sobie z definicji operatora tylko determinizmu i twierdzić, że ma się do czynienia z implikacją.
Równoważność gdzie po stronie a i not a jest 100% determinizm to fundamentalnie co innego niż implikacja.
Ostatnio zmieniony przez rafal3006 dnia Czw 10:01, 07 Maj 2015, 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 10:05, 07 Maj 2015 Temat postu: |
|
|
"Przecież implikacja to rozkaz, żadne dane, czy to tak trudno osiołkom zrozumieć? "
Implikacja nie jest rozkazem.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 32600
Przeczytał: 41 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Czw 10:10, 07 Maj 2015 Temat postu: |
|
|
| fiklit napisał: | "Przecież implikacja to rozkaz, żadne dane, czy to tak trudno osiołkom zrozumieć? "
Implikacja nie jest rozkazem. |
W technice cyfrowej ewidentnym rozkazem jest zarówno równoważność jak i implikacja.
Użyteczny jest wyłącznie rozkaz równoważności, rozkaz implikacji w technice cyfrowej to debilizm.
Rozkaz równowazności dziala tak:
if a ET1
if not a ET2
Natomiast rozkaz implikacji działałby (gdyby to było sensowne) tak:
if a ET1
if not a
CALL (generator liczb losowych)
Wstaw wygenerowaną liczbą losową do rejestru rozkazów PC
|
|
| 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 10:17, 07 Maj 2015 Temat postu: |
|
|
if a ET1
oznacza "jeśli a to SKOCZ do ET1"
"Skocz" jest poleceniem. Nie ma wartości logicznej. Zatem całe "if a ET1" jest poleceniem, konkretnie poleceniem warunkowym, a nie zdaniem logicznym, operatorem logicznym, funkcją logiczną. Zatem nie jest implikacją. To że używa zwrotu wprowadzającego warunek "jeśli" o niczym nie świadczy.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 32600
Przeczytał: 41 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Czw 10:30, 07 Maj 2015 Temat postu: |
|
|
| fiklit napisał: | if a ET1
oznacza "jeśli a to SKOCZ do ET1"
"Skocz" jest poleceniem. Nie ma wartości logicznej. Zatem całe "if a ET1" jest poleceniem, konkretnie poleceniem warunkowym, a nie zdaniem logicznym, operatorem logicznym, funkcją logiczną. Zatem nie jest implikacją. To że używa zwrotu wprowadzającego warunek "jeśli" o niczym nie świadczy. |
Na poziomie asemblera rozkaz warunkowy obsługiwany jest przez operator równoważności, wiem, bo jestem ekspertem w technice mikroprocesorowej.
Nie ma innego sensownego matematycznego opisu działania instrukcji warunkowej.
if a ET1
if not a ET2
|
|
| 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 10:47, 07 Maj 2015 Temat postu: |
|
|
| Cytat: | Implikacja to jest coś nie do przewidzenia przez samego programistę, i dotyczy samych ROZKAZÓW - nigdy jakichkolwiek danych.
Przecież implikacja to rozkaz, żadne dane, czy to tak trudno osiołkom zrozumieć? |
Skoro twierdzisz że implikacja to rozkaz to panie ekspercie pokaż jaki to rozkaz.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 32600
Przeczytał: 41 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Czw 10:59, 07 Maj 2015 Temat postu: |
|
|
...
Ostatnio zmieniony przez rafal3006 dnia Czw 11:24, 07 Maj 2015, w całości zmieniany 5 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: 32600
Przeczytał: 41 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Czw 11:22, 07 Maj 2015 Temat postu: |
|
|
| fiklit napisał: | | Cytat: | Implikacja to jest coś nie do przewidzenia przez samego programistę, i dotyczy samych ROZKAZÓW - nigdy jakichkolwiek danych.
Przecież implikacja to rozkaz, żadne dane, czy to tak trudno osiołkom zrozumieć? |
Skoro twierdzisz że implikacja to rozkaz to panie ekspercie pokaż jaki to rozkaz. |
Bardzo proszę, symboliczna definicja operatora równoważności z AK i techniki cyfrowej:
| Kod: |
Symboliczna definicja rownowaznosci
A: p=> q =1
B: p~~>~q=0
C:~p=>~q =1
D:~p~~>q =0
|
Czyli:
Jeśli zachodzi warunek p to musisz => skoczyć do etykiety q, bo do ~q masz zakaz.
Jeśli zachodzi warunek ~p to musisz => skoczyć do etykiety ~q, bo do q masz zakaz
cnd
Matematyka jest piękna bo ta sama matematyka obsługuje wiele skrajnie różnych zjawisk w świecie fizycznym.
Mnie na przykład układ równań liniowych kojarzy się przede wszystkim z sieciami elektrycznymi i prawami Kirchhoffa - komu jeszcze?
Może Fizykowi?
Zgadłem?
Jak działa rozkaz Implikacji, pokazałem wyżej, nie bede powtarzał, bo implikacja to debilizm w programowaniu i w technice też.
..albo pokażę:
| Kod: |
Symboliczna definicja operatora implikacji
A: p=> q =1
B: p~~>~q=0
C:~p~>~q =1
D:~p~~>q =1
|
Jeśli zachodzi warunek p to musisz => skoczyć do etykiety q, bo do ~q masz zakaz.
Jeśli zachodzi warunek ~p to rzuć sobie monetą i skocz gdzie ci się podoba, do ~q lub q
cnd
P.S.
Symboliczną definicję równoważności jak wyżej znałem od czasów studiów, implikacji oczywiście na oczy nie widziałem ale w ciągu około 6 miesięcy od pojawienia się na sfinii już rozumiałem jej symboliczną definicję, myślałem głupi że jak ją pokaże matematykom to się uciszą i w trzy minuty wszystko zrozumieją 
Ostatnio zmieniony przez rafal3006 dnia Czw 11:27, 07 Maj 2015, w całości zmieniany 3 razy
|
|
| 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:27, 07 Maj 2015 Temat postu: |
|
|
"Jak działa rozkaz Implikacji, pokazałem wyżej, nie bede powtarzał, bo implikacja to debilizm w programowaniu i w technice też. "
Pokazałeś fragment kodu korzystający z instrukcji (rozkazu) skoku warunkowego.
Ja pytam o polecenie (rozkaz) implikacji.
Twierdzisz że implikacja to rozkaz. Pokaż mi w assemblerze rozkaz implikacji.
|
|
| 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:30, 07 Maj 2015 Temat postu: |
|
|
| rafal3006 napisał: | | Nie znam innego języka niż asembler |
Ale Ci to nie przeszkadza stawiać ogólnych tez zaczynających się od "w żadnym języku programowania...".
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 32600
Przeczytał: 41 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Czw 11:32, 07 Maj 2015 Temat postu: |
|
|
| fiklit napisał: | "Jak działa rozkaz Implikacji, pokazałem wyżej, nie bede powtarzał, bo implikacja to debilizm w programowaniu i w technice też. "
Pokazałeś fragment kodu korzystający z instrukcji (rozkazu) skoku warunkowego.
Ja pytam o polecenie (rozkaz) implikacji.
Twierdzisz że implikacja to rozkaz. Pokaż mi w assemblerze rozkaz implikacji. |
W asemblerze Z80 rozkaz skoku warunkowego (równoważności) wygląda tak:
JP CY,ET1
KONIEC
Rozkazu implikacji oczywiście nie ma bo to debilizm - wyjaśnienie w poście wyżej (rzucanie monetą).
|
|
| 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:34, 07 Maj 2015 Temat postu: |
|
|
"Rozkazu implikacji oczywiście nie ma bo to debilizm"
A wcześniej napisałeś
"Przecież implikacja to rozkaz, żadne dane, czy to tak trudno osiołkom zrozumieć?"
To jak jest?
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 32600
Przeczytał: 41 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Czw 11:48, 07 Maj 2015 Temat postu: |
|
|
| fiklit napisał: | "Rozkazu implikacji oczywiście nie ma bo to debilizm"
A wcześniej napisałeś
"Przecież implikacja to rozkaz, żadne dane, czy to tak trudno osiołkom zrozumieć?"
To jak jest? |
Prawdą jest co wytłuściłem, od strony technicznej nie ma problemu by taki rozkaz zaimplementować (generator liczb losowych).
Tylko z powodu że to debilizm takiego rozkazu nie ma.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
idiota
Dołączył: 10 Lut 2006
Posty: 3604
Przeczytał: 0 tematów
Skąd: stolnica
|
| Wysłany: Czw 12:26, 07 Maj 2015 Temat postu: |
|
|
|
to nie ma bo debilizm czy jest?
|
|
| 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:33, 07 Maj 2015 Temat postu: |
|
|
|
Rafał wymyślił sobie swoją implikację, potem wymyślił sobie debilny rozkaz implikacji, a teraz go obala. Natomiast przykładu z wykorzystaniem normalnego operatora implikacji najwyraźniej nie rozumie, bo nie odpowiada jego implikacji. Chyba nie ma co z tym dyskutować.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 32600
Przeczytał: 41 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Czw 12:43, 07 Maj 2015 Temat postu: |
|
|
| fiklit napisał: | | Rafał wymyślił sobie swoją implikację, potem wymyślił sobie debilny rozkaz implikacji, a teraz go obala. Natomiast przykładu z wykorzystaniem normalnego operatora implikacji najwyraźniej nie rozumie, bo nie odpowiada jego implikacji. Chyba nie ma co z tym dyskutować. |
Implikacja to matematyczny opis wolnej woli istot żywych, jest absolutnie genialna - w technice to debilizm bo żadne urządzenie nie może mieć wolnej woli, program komputerowy także.
Wolna wola to zrobienie czegoś wbrew intencjom programisty, wszelkie pluskwy można uznac za objaw wolnej woli
Ostatnio zmieniony przez rafal3006 dnia Czw 12:44, 07 Maj 2015, w całości zmieniany 1 raz
|
|
| 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
|
FAQ
Szukaj
Użytkownicy
Grupy
Galerie
Rejestracja
Zaloguj się, by sprawdzić wiadomości
Zaloguj
