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 

NTI Fantastyczna dyskusja z ateisty.pl
Idź do strony Poprzedni  1, 2, 3 ... 55, 56, 57, 58  Następny
 
Napisz nowy temat   Odpowiedz do tematu    Forum ŚFiNiA Strona Główna -> Metodologia / Forum Kubusia
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

PostWysł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 profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 35257
Przeczytał: 24 tematy

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

PostWysł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 profil autora
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

PostWysł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 :D
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: 35257
Przeczytał: 24 tematy

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

PostWysł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 :D

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 profil autora
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

PostWysł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 profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 35257
Przeczytał: 24 tematy

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

PostWysł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 profil autora
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

PostWysł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.
Cytat:
To ty masz
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 profil autora
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

PostWysł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 profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 35257
Przeczytał: 24 tematy

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

PostWysł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 profil autora
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

PostWysł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 profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 35257
Przeczytał: 24 tematy

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

PostWysł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 profil autora
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

PostWysł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 profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 35257
Przeczytał: 24 tematy

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

PostWysł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 profil autora
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

PostWysł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 profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 35257
Przeczytał: 24 tematy

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

PostWysł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 profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 35257
Przeczytał: 24 tematy

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

PostWysł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ą :shock:


Ostatnio zmieniony przez rafal3006 dnia Czw 11:27, 07 Maj 2015, w całości zmieniany 3 razy
Powrót do góry
Zobacz profil autora
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

PostWysł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 profil autora
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

PostWysł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 profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 35257
Przeczytał: 24 tematy

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

PostWysł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 profil autora
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

PostWysł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 profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 35257
Przeczytał: 24 tematy

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

PostWysł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 profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
idiota




Dołączył: 10 Lut 2006
Posty: 3604
Przeczytał: 0 tematów

Skąd: stolnica

PostWysłany: Czw 12:26, 07 Maj 2015    Temat postu:

to nie ma bo debilizm czy jest?
Powrót do góry
Zobacz profil autora
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

PostWysł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 profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 35257
Przeczytał: 24 tematy

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

PostWysł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
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
idiota




Dołączył: 10 Lut 2006
Posty: 3604
Przeczytał: 0 tematów

Skąd: stolnica

PostWysłany: Czw 12:44, 07 Maj 2015    Temat postu:

Firkit, rafał chyba przyznał ci rację.
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 ... 55, 56, 57, 58  Następny
Strona 56 z 58

 
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