-
X-Received: by 10.31.165.202 with SMTP id o193mr461576vke.9.1515064085638; Thu, 04
Jan 2018 03:08:05 -0800 (PST)
X-Received: by 10.31.165.202 with SMTP id o193mr461576vke.9.1515064085638; Thu, 04
Jan 2018 03:08:05 -0800 (PST)
Path: news-archive.icm.edu.pl!news.icm.edu.pl!news.nask.pl!news.nask.org.pl!news.unit
0.net!weretis.net!feeder6.news.weretis.net!feeder.usenetexpress.com!feeder-in1.
iad1.usenetexpress.com!border1.nntp.dca1.giganews.com!nntp.giganews.com!m31no17
0203qtf.0!news-out.google.com!t48ni71qtc.1!nntp.google.com!m31no170200qtf.0!pos
tnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: pl.comp.programming
Date: Thu, 4 Jan 2018 03:08:05 -0800 (PST)
In-Reply-To: <4...@g...com>
Complaints-To: g...@g...com
Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=134.191.220.72;
posting-account=f7iIKQoAAAAkDKpUafc-4IXhmRAzdB5r
NNTP-Posting-Host: 134.191.220.72
References: <f...@g...com>
<1...@g...com>
<7...@g...com>
<b...@g...com>
<a...@n...v.pl>
<2...@g...com>
<a...@n...v.pl>
<on23a3$85s$1@node1.news.atman.pl>
<a...@n...v.pl>
<on75ke$g4u$1@node2.news.atman.pl>
<5...@g...com>
<onfotu$lh6$1@node1.news.atman.pl>
<0...@g...com>
<3...@g...com>
<6...@g...com>
<c...@g...com>
<d...@g...com>
<5...@g...com>
<c...@g...com>
<3...@g...com>
<6...@g...com>
<c...@g...com>
<6...@g...com>
<f...@g...com>
<4...@g...com>
<6...@g...com>
<e...@g...com>
<e...@g...com>
<7...@g...com>
<7...@g...com>
<1...@g...com>
<0...@g...com>
<4...@g...com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <d...@g...com>
Subject: Re: Co jest nie tak z C++ (było: Rust)
From: g...@g...com
Injection-Date: Thu, 04 Jan 2018 11:08:05 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Lines: 148
Xref: news-archive.icm.edu.pl pl.comp.programming:212191
[ ukryj nagłówki ]W dniu czwartek, 4 stycznia 2018 10:52:07 UTC+1 użytkownik Maciej Sobczak napisał:
> > A procesy myślowe występują w naturze?
>
> Występują. Ale na moje oko nie są rekurencyjne.
> Tu wkraczamy na śliski teren, bo nie możemy udowodnić, że wszyscy myślą tak samo.
Jak się uprzesz, że myślisz rekurencyjnie, to nic na to nie poradzę. :-)
Otóż to ;)
> > Czy produkcja samochodów jest procesem występującym w naturze?
>
> Tak. Raczej jest to proces iteracyjny.
A wymyślanie algorytmów występuje w naturze? :)
> > I dlaczego to miałoby być istotne?
>
> Bo twierdzisz, że rekurencja jest *łatwiejsza* do zrozumienia.
Rzeczywiście w tej kwestii wyraziłem się nieprecyzyjnie, ale nie powiedziałem,
że rekurencja jest łatwiejsza do zrozumienia, tylko że jest prostsza
do zrozumienia.
Ale wycofałbym się z tego twierdzenia, bo ono jest niejasne.
Raczej powiedziałbym, że rekurencja jest pojęciowo prostsza, albo
bardziej pierwotna czy elementarna, niż iteracja.
I mówiąc to, mam na myśli, że przy pomocy rekurencji można zdefiniować
iterację, natomiast przy pomocy iteracji nie można zdefiniować rekurencji.
I w tym sensie iteracja jest prostsza od rekurencji, że ma mniejszą
siłę wyrazu (można przy jej pomocy zrobić mniej)
Na marginesie, pozwoliłem sobie wczorajużyć Twojej definicji przodka
w odpowiedzi na pytanie o funkcję "unfold":
https://www.quora.com/Why-is-an-unfold-function-usef
ul/answer/Panicz-Godek
> Łatwość czegokolwiek jest subiektywna,
Tak, łatwość jest subiektywna, ale prostota/złożoność nie jest.
> ale jeśli małbym ją jakoś obiektywizować, to właśnie przez odwołanie do natury. W
sensie - jeśli jakieś zjawisko występuje w naturze, to czuję się zupełnie
racjonalnie, jeśli rozumiem je lepiej, niż jakieś inne zjawisko, któro w naturze nie
występuje.
Ja uważam, że jest dokładnie na odwrót. W naturze występuje wiele
skomplikowanych zjawisk, które są niezgodne z intuicją. Na przykład
splątanie kwantowe, określone przez Einsteina, Rosena i Podolsky'ego
mianem "spooky action at a distance".
W naturze w ogóle nie ma czegoś takiego, jak zależności liniowe,
ale my je na siłę wpychamy do naszych analiz zjawisk naturalnych,
bo w taki sposób łatwiej nam rozumieć świat: toteż mamy na przykład
stałe przyspieszenie w polu grawitacyjnym Ziemi, albo siłę sprężystości
sprężyny liniowo proporcjonalną do wychylenia od "położenia naturalnego",
albo pojęcie "ruchu jednostajnego prostoliniowego".
> Niemniej, jeśli się uprzesz, że myślisz inaczej (w sensie - inaczej, niż natura
chciała), to ja nie mam narzędzi, żeby dyskutować dalej. Będziemy musieli te nasze
różnice po prostu zaakceptować. :-)
Moim zdaniem temat jest bardzo ciekawy, i wciąż ma duży potencjał
do dyskusji.
Wydaje mi się, że już z samym pojęciem natury jest pewien problem,
mianowicie taki, że trudno by było wskazać część świata, która
nie jest naturą. Z drugiej strony, czasem używa się go w tym celu,
żeby odróżnić to, co zostało zrobione przez człowieka (które są
"sztuczne") od pozostałych rzeczy (które są "naturalne").
Co więcej, nawet jeśli spojrzymy na język naturalny jako na wytwór
naturalny, to definicja - jako próba uchwycenia intuicji stojącej
za użyciem jakiegoś słowa - jest w jakimś sensie inherentnie
sztuczna. W tym oczywiście zarówno definicja rekurencyjna,
jak i iteracyjna.
Na przykład, mówi się o takim czymś, jak "liczby naturalne",
mając na myśli pewien konstrukt, który przychodzi ludziom do głowy
w sposób naturalny. Aksjomatyka Peano mówi tyle, że
- zero jest liczbą naturalną
- następnik liczby naturalnej jest liczbą naturalną
Pomijając kwestię tego, jak przełomowym osiągnięciem było wynalezienie
zera, i tego, że moglibyśmy używać liczb zupełnie nie zastanawiając się
nad tym, czym w istocie jest liczba, wydaje mi się, że trudno o prostsze
wyjaśnienie tego, czym jest liczba. I nie mam tutaj na myśli łatwości,
bo taka definicja rzeczywiście nie daje wskazówek odnośnie tego, dlaczego
liczby są użyteczne (np. do tego, żebyśmy mogli wiedziec, ile mamy krów,
albo czy obsiany areał wystarczy do tego, żeby wioska przetrwała zimę).
Zresztą, czy pytanie, czym są dane rzeczy, nie jest dla człowieka naturalne?
> > Jest zasadnicza różnica pomiędzy biologiczną reprodukcją, a obrotem
> > słońca dookoła ziemi.
>
> Ale deszcz jest z chmury, czy chmura z wody po deszczu? Co było wcześniej?
> Dla mnie to jest cykl a nie jakaś rekurencja.
To tylko woda zmieniająca stan skupienia. Woda, cały czas ta sama.
> > Zauważ również, że w samym tym pytaniu manifestuje się
> > myślenie rekurencyjne, czyli potrzeba ustalenia przypadku bazowego
>
> Potrzeba ustalenia przypadku bazowego wynika tylko z tego, że rekurencja tego
potrzebuje (czyli jest to sztuczna potrzeba, tak jak rekurencja jest sztucznym
mechanizmem, wetkniętym tu na siłę). Natura wcale tego nie potrzebowała:
Ja nie mówię o naturze, tylko o ludzkim myśleniu.
Następne wpisy z tego wątku
- 05.01.18 11:51 Maciej Sobczak
- 05.01.18 14:09 g...@g...com
- 05.01.18 22:57 Roman Tyczka
- 07.01.18 22:19 Maciej Sobczak
- 07.01.18 22:30 Maciej Sobczak
- 07.01.18 23:00 g...@g...com
- 08.01.18 14:20 Maciej Sobczak
- 08.01.18 20:25 g...@g...com
- 09.01.18 13:35 Maciej Sobczak
Najnowsze wątki z tej grupy
- TCL - problem z escape ostatniego \ w nawiasach {}
- Nauka i Praca Programisty C++ w III Rzeczy (pospolitej)
- testy-wyd-sort - Podsumowanie
- Tworzenie Programów Nieuprzywilejowanych Opartych Na Wtyczkach
- Do czego nadaje się QDockWidget z bibl. Qt?
- Bibl. Qt jest sztucznie ograniczona - jest nieprzydatna do celów komercyjnych
- Co sciaga kretynow
- AEiC 2024 - Ada-Europe conference - Deadlines Approaching
- Jakie są dobre zasady programowania programów opartych na wtyczkach?
- sprawdzanie słów kluczowych dot. zła
- Re: W czym sie teraz pisze programy??
- Re: (PDF) Surgical Pathology of Non-neoplastic Gastrointestinal Diseases by Lizhi Zhang
- CfC 28th Ada-Europe Int. Conf. Reliable Software Technologies
- Młodzi programiści i tajna policja
- Ada 2022 Language Reference Manual to be Published by Springer
Najnowsze wątki
- 2024-11-08 Warszawa => Head of International Freight Forwarding Department <=
- 2024-11-08 Warszawa => Key Account Manager <=
- 2024-11-08 Szczecin => Key Account Manager (ERP) <=
- 2024-11-08 Białystok => Full Stack web developer (obszar .Net Core, Angular6+) <
- 2024-11-08 Wrocław => Senior PHP Symfony Developer <=
- 2024-11-08 Warszawa => QA Engineer <=
- 2024-11-08 Warszawa => QA Inżynier <=
- 2024-11-08 Warszawa => Key Account Manager <=
- 2024-11-08 Gdańsk => Software .Net Developer <=
- 2024-11-08 Akumulator Hyundai
- 2024-11-08 Warszawa => Manager/Specialist e-commerce (B2C) <=
- 2024-11-08 Gdańsk => Specjalista ds. Sprzedaży <=
- 2024-11-08 Gdańsk => Kierownik Działu Spedycji Międzynarodowej <=
- 2024-11-08 znaj podstawe
- 2024-11-08 Chrzanów => Specjalista ds. public relations <=