Recenzie čitateľov
Zhrnutie:Kniha poskytuje prístupný pohľad na zložitú tému kombinátorov, rozdelenú do jednotlivých častí so zmesou analýzy, histórie a osobných postrehov autora. Obsahuje kvalitné ilustrácie a je dobre štruktúrovaná, vďaka čomu sa v porovnaní s inými prácami v tejto oblasti číta ľahšie. Nemusí však dostatočne poslúžiť ako úvod pre tých, ktorí sa s kombinátormi nestretli.
Výhody:⬤ Prístupná a dobre štruktúrovaná
⬤ kvalitná tlač a ilustrácie
⬤ zaujímavé historické súvislosti
⬤ čitateľná
⬤ predstavuje osobné postrehy autora.
Nevýhody:⬤ Určité sebapropagovanie zo strany autora
⬤ môže byť náročné pre čitateľov bez predchádzajúcich znalostí kombinátorov
⬤ môže byť nedostačujúce pre tých, ktorí očakávajú komplexný úvod.
(na základe 6 čitateľských recenzií)
Pôvodný názov:
Combinators: A Centennial View
Obsah knihy:
Kombinátory inšpirovali myšlienky o výpočtoch už od ich prvého vynálezu v roku 1920 a Stephen Wolfram v tejto inovatívnej knihe prináša moderný pohľad na kombinátory a ich význam. Wolfram, ktorý vychádza zo svojej práce o výpočtovom vesmíre možných programov a o návrhu výpočtových jazykov, vysvetľuje nové a existujúce myšlienky o kombinátoroch s jedinečnou jasnosťou a úžasnými vizualizáciami, ako aj poskytuje poznatky o ich historických súvislostiach a zaujímavý príbeh Mosesa Schönfinkela, vynálezcu kombinátorov. Hoci boli kombinátory vynájdené dávno pred Turingovými strojmi, často sa považovali za neprístupný abstraktný prístup k výpočtom. Táto kniha ich oživuje ako nikdy predtým v podnetnom a široko prístupnom výklade, ktorý je zaujímavý pre celú matematiku a informatiku, ako aj pre tých, ktorí sa zaoberajú základmi formálneho a počítačového myslenia a históriou myšlienok.
Obsah
Predslov
Kombinátory: Storočný pohľad:
Ultimátna symbolická abstrakcia - Výpočty s kombinátormi - o sto rokov neskôr... - Kombinátory v prírode: trochu zoológie - Vizualizácia kombinátorov - Aktualizačné schémy a viaccestné systémy - Otázka poradia vyhodnocovania - Svet kombinátora S - Kauzálne grafy a fyzikalizácia kombinátorov - Kombinátorové výrazy ako dynamické systémy - Rovnosť a dokazovanie tvrdení pre kombinátory - Lemmy a štruktúra kombinátorového priestoru - Empirická teória výpočtu s kombinátormi - Budúcnosť kombinátorov - Historické a iné poznámky
Kombinátory a príbeh výpočtu
Abstraktná reprezentácia vecí - Z čoho sa skladá matematika a logika? - Príchod kombinátorov - v čom spočíva ich matematika? - Gödelova veta a vypočítateľnosť - Lambda kalkulus - Praktické výpočty - Kombinátory v kultúre - Navrhovanie symbolického jazyka - Kombinátory vo výpočtovom vesmíre - Kombinátory až na koniec?
Odkiaľ sa vzali kombinátory? Lov na príbeh Mojžiša Schönfinkela
7. decembra 1920 - Kto bol Mojžiš Schönfinkel? - Začiatok príbehu - Odchod na vysokú školu do Odesy - Göttingen, centrum matematického vesmíru - Problémy sa rodia - Dokument z roku 1924 - Dokument z roku 1927 - Do Moskvy a ďalej... - Ďalší Schönfinkels... - Haskell Curry - Schönfinkel znovuobjavený - Čo si máme myslieť o Schönfinkelovi?
O niečo bližšie k zisteniu, čo sa stalo s Mosesom Schönfinkelom, vynálezcom kombinátorov
Rok 1920, rok 2020 a cena 20 000 dolárov: Výzva S Combinator Skrýval sa na prvý pohľad celé storočie? - Základné nastavenie - fungovanie výzvy S Combinator Challenge
Úryvky z knihy Nový druh vedy (2002)
Bibliografia kombinátorov Základné dokumenty - Knihy - Prehľady a zhrnutia - Kombinátory ako symbolické výrazy - Kombinátory ako matematické konštrukcie - Kombinátorové výpočty - Rozšírenia a aplikácie - Mätúce otázky
Index
