Kombinátory: Pohled ke stému výročí

Recenze čtenářů

Kniha poskytuje přístupný pohled na složité téma kombinátorů, které je rozděleno do jednotlivých částí se směsí analýzy, historie a osobních postřehů autora. Je vybavena kvalitními ilustracemi a je dobře strukturovaná, což ji činí snadnějším čtením ve srovnání s jinými pracemi v oboru. Nemusí však dostatečně posloužit jako úvod pro ty, kteří se s kombinátory neseznámili.

⬤ Přístupná a dobře strukturovaná
⬤ kvalitní tisk a ilustrace
⬤ zajímavé historické souvislosti
⬤ čtivá
⬤ předkládá osobní postřehy autora.

⬤ Určitá sebepropagace autora
⬤ může být náročná pro čtenáře bez předchozí znalosti kombinátorů
⬤ může být nedostačující pro ty, kteří očekávají komplexní úvod.

(na základě 6 hodnocení čtenářů)

Původní název:

Combinators: A Centennial View

Obsah knihy:

Kombinátory inspirovaly myšlenky o výpočtech již od jejich prvního vynálezu v roce 1920 a Stephen Wolfram v této inovativní knize přináší moderní pohled na kombinátory a jejich význam. Wolfram, který vychází ze své práce o výpočetním vesmíru možných programů a o návrhu výpočetních jazyků, vysvětluje nové i stávající myšlenky o kombinátorech s jedinečnou srozumitelností a úžasnými vizualizacemi a poskytuje také poznatky o jejich historických souvislostech a zajímavém příběhu Mosese Schönfinkela, vynálezce kombinátorů. Ačkoli byly kombinátory vynalezeny mnohem dříve než Turingovy stroje, byly často považovány za nepřístupně abstraktní přístup k výpočtům. Tato kniha je oživuje jako nikdy předtím v podnětném a široce přístupném výkladu, který je zajímavý pro celou matematiku a informatiku, stejně jako pro ty, kteří se zabývají základy formálního a informatického myšlení a historií myšlenek.

Obsah

Předmluva

Kombinátory: Stoletý pohled:

Ultimátní symbolická abstrakce - Počítání s kombinátory - sto let poté... - Kombinátory ve volné přírodě: trocha zoologie - Vizualizace kombinátorů - Aktualizační schémata a vícecestné systémy - Otázka pořadí vyhodnocování - Svět kombinátoru S - Kauzální grafy a fyzikalizace kombinátorů - Kombinátorové výrazy jako dynamické systémy - Rovnost a dokazování tvrzení pro kombinátory - Lemmy a struktura kombinátorového prostoru - Empirická teorie výpočtů s kombinátory - Budoucnost kombinátorů - Historické a další poznámky

Kombinátory a příběh výpočtu

Abstraktní reprezentace věcí - Z čeho se skládá matematika a logika? - Kombinátory přicházejí - Jaká je jejich matematika? - Gödelova věta a vypočitatelnost - Lambda kalkulus - Praktické výpočty - Kombinátory v kultuře - Navrhování symbolického jazyka - Kombinátory ve výpočetním vesmíru - Kombinátory až na dno?

Odkud se vzaly kombinátory? Lov na příběh Mojžíše Schönfinkela

7. prosince 1920 - Kdo byl Moses Schönfinkel? - Začátek příběhu - Odchod na vysokou školu do Oděsy - Göttingen, centrum matematického vesmíru - Problémy se rodí - Článek z roku 1924 - Článek z roku 1927 - Do Moskvy a dál... - Další Schönfinkelové... - Haskell Curry - Schönfinkel znovuobjeven - Co si máme myslet o Schönfinkelovi?

O něco blíže k nalezení toho, co se stalo s Mosesem Schönfinkelem, vynálezcem kombinátorů.

Rok 1920, rok 2020 a cena 20 000 dolarů: Vyhlášení soutěže S Combinator Challenge Století se skrývá na očích? - Základní nastavení - fungování výzvy S Combinator Challenge

Výňatky z knihy Nový druh vědy (2002)

Bibliografie kombinátorů Základní dokumenty - Knihy - Přehledy a shrnutí - Kombinátory jako symbolické výrazy - Kombinátory jako matematické konstrukce - Kombinátorové výpočty - Rozšíření a aplikace - Matoucí problémy

Rejstřík