-
Data: 2018-01-02 21:27:03
Temat: Re: Co jest nie tak z C++ (było: Rust)
Od: g...@g...com szukaj wiadomości tego autora
[ pokaż wszystkie nagłówki ]W dniu wtorek, 2 stycznia 2018 17:27:52 UTC+1 użytkownik Maciej Sobczak napisał:
> > Moje wyzwanie nie jest takie, żebyś wskazał różne obszary, w których
> > pojęcie przodka nie jest użyteczne - bo takich obszarów jest wiele
> > (np. ciesielstwo albo kowalstwo artystyczne), tylko takie, żebyś zdefiniował
> > pojęcie przodka w sposób, który będzie równoważny powyższemu (tzn. będzie
> > uchwytywało naszą intuicję odnośnie tego, co to znaczy być czyimś przodkiem),
> > a który będzie nierekurencyjny.
>
> Przodek to rodzic lub jego rodzic, itd.
>
> Słowo kluczowe "itd." pełni rolę pętli. Ta definicja jest iteracyjna, jest nawet
gramatycznie krótsza i nie używa definiowanego słowa po prawej stronie, więc łatwiej
się ją parsuje.
> Dla mnie OK.
Jeżeli już, to raczej bym napisał to jako
"przodek to rodzic, albo rodzic rodzica, albo rodzic rodzica rodzica, itd."
(w Twojej definicji jest amfibolia)
Ale OK, to jest dobra definicja, i użycie wielokropka czy też operatora
generalizacji ma jak najbardziej sens.
Mogę się nawet zgodzić, że tego rodzaju definicja jest łatwiejsza
do zrozumienia, ale nie jest prostsza, ze względu na to, że samo
działanie operatora "itd" jest czymś raczej skomplikowanym.
Najwidoczniej mówimy tutaj o dwóch porządkach, bo kiedy ja mówię
o prostocie, mam na myśli prostotę pojęciową, a nie łatwość rozumienia.
> > Rzecz w tym, że otóż właśnie ludzie tak myślą.
>
> W takim razie to są jacyś inni ludzie, niż ci, którzy piszą definicje zawodowo:
Podejrzewam, że to raczej zależy od zawodu i lokalnych idiosynkrazji.
Ale tak, w ogólności ludzie różnią się między sobą.
> > Spróbuj zaimplementować quicksorta albo mergesorta bez użycia rekurencji.
>
> Tak, ja wiem, że rekurencja przydaje się do implementacji rekurencyjnych
algorytmów. Sztuczne i nienaturalne narzędzie do rozwiązywania sztucznych i
nienaturalnych problemów. :-)
>
> (Naturalnym mechanizmem sortowania są bąbelki, stąd właśnie ta nazwa.)
Jaka nazwa? Nazwa "sortować" wzięła się od łacińskiego słowa "sors",
oznaczającego przeznaczenie albo wyrok, i nie ma nic wspólnego
z bąbelkami. Nazwa "sortowanie bąbelkowe" wzięła się od pewnej metafory,
zaś kwestia, czy metafory są, czy nie są czymś "naturalnym" jest
zupełnie niejasna.
> Czyli znowu mamy ten sam schemat: rekurencja okazuje się być narzędziem do
realizacji rekurencyjnych algorytmów, co wcale nie jest odkrywcze. Ciekawe by było
dopiero stwierdzenie, że rekurencja jest procesem naturalnym a tak nie jest, ani w
sortowaniu, ani nawet w transformacie Fouriera.
Nie do końca rozumiem, co masz na myśli mówiąc o "procesach naturalnych".
Jeżeli mamy kurę, która składa jajko, z którego wykluwa się kura, która
składa jajko, z którego wykluwa się ..., to czy to nie jest proces
reKUREncyjny par excellence?
Podobnie jest zresztą z opisem języków. Hierarcha Chomsky'ego zrodziła
się przy okazji badań nad językami naturalnymi, i pewne cechy języków
uniwersalnych -- zarówno mówionych, jak i tych używanych do programowania,
znajdują najprostszy wyraz w opisie rekurencyjnym. Praktycznie wszystkie
języki programowania opisuje się rekurencyjnie przy pomocy BNF.
Taki opis jest zrozumiały, i nie wydaje się, żebyśmy dysponowali
do tego celu jakimś lepszym narzędziem.
Nie rozumiem Twojego argumentu odnośnie tego, czy "rekurencja jest
procesem naturalnym", i co to w ogóle wg. Ciebie znaczy "proces
naturalny", i ogólniej - czym jest "naturalność".
Następne wpisy z tego wątku
- 03.01.18 10:58 Maciej Sobczak
- 03.01.18 12:24 g...@g...com
- 03.01.18 14:17 slawek
- 03.01.18 20:13 Roman Tyczka
- 04.01.18 10:36 Maciej Sobczak
- 04.01.18 10:52 Maciej Sobczak
- 04.01.18 12:08 g...@g...com
- 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
Najnowsze wątki z tej grupy
- Grok zaczął nadużywać wulgaryzmów i wprost obrażać niektóre znane osoby
- Can you activate BMW 48V 10Ah Li-Ion battery, connecting to CAN-USB laptop interface ?
- We Wrocławiu ruszyła Odra 5, pierwszy w Polsce komputer kwantowy z nadprzewodzącymi kubitami
- Ada-Europe - AEiC 2025 early registration deadline imminent
- John Carmack twierdzi, że gdyby gry były optymalizowane, to wystarczyły by stare kompy
- Ada-Europe Int.Conf. Reliable Software Technologies, AEiC 2025
- Linuks od wer. 6.15 przestanie wspierać procesory 486 i będzie wymagać min. Pentium
- ,,Polski przemysł jest w stanie agonalnym" - podkreślił dobitnie, wskazując na brak zamówień.
- Rewolucja w debugowaniu!!! SI analizuje zrzuty pamięci systemu M$ Windows!!!
- Brednie w wiki - hasło Dehomag
- Perfidne ataki krakerów z KRLD na skrypciarzy JS i Pajton
- Instytut IDEAS może zacząć działać: "Ma to być unikalny w europejskiej skali ośrodek badań nad sztuczną inteligencją."
- Instytut IDEAS może zacząć działać: "Ma to być unikalny w europejskiej skali ośrodek badań nad sztuczną inteligencją."
- Instytut IDEAS może zacząć działać: "Ma to być unikalny w europejskiej skali ośrodek badań nad sztuczną inteligencją."
- U nas propagują modę na SI, a w Chinach naukowcy SI po kolei umierają w wieku 40-50lat
Najnowsze wątki
- 2025-07-27 Dziwne... :)
- 2025-07-27 Czy to jeszcze dziala
- 2025-07-27 Fotele firmy RECARO Aircraft Seating ze Świebodzina dla nowych samolotów LOT
- 2025-07-27 Fotele firmy RECARO Aircraft Seating ze Świebodzina dla nowych samolotów LOT
- 2025-07-26 Elektrownia Siersza w kolejce do zaorania
- 2025-07-26 Odkryte w Polsce złoża ropy i gazu powodują nerwowość u Niemców
- 2025-07-26 Odbiornik ADS-B i wzmacniacze
- 2025-07-26 Next.Gazeta informuje, że od 2029 roku (lub 2030 roku) cyfrowe euro stanie się prawnym środkiem płatniczym w całej UE
- 2025-07-26 Warszawa => Head of Technology <=
- 2025-07-26 Warszawa => Strategic Account Manager <=
- 2025-07-26 Mołdawia. Demokratura zastępuje demokrację.
- 2025-07-26 Prawicowa influencerka Candace Owens zapowiada walkę do końca ,,dla całego świata" [z parą prezydencką Macron]
- 2025-07-26 Next.Gazeta informuje, że od 2029 roku (lub 2030 roku) cyfrowe euro stanie się prawnym środkiem płatniczym w całej UE
- 2025-07-26 Ukraińscy kibice [w trakcie meczu] wzywali do zabijania Serbów
- 2025-07-26 Przejechałbym babę...