Olvasói vélemények
Összegzés:A könyv a kombinátorok összetett témakörét közelíti meg, különálló részekre tagolva, a szerző elemzésének, történelmének és személyes meglátásainak keverékével. A könyv kiváló minőségű illusztrációkkal és jól felépített, így a terület más műveihez képest könnyebben olvasható. Ugyanakkor nem biztos, hogy megfelelően szolgál bevezetésként azok számára, akik nem ismerik a kombinátorokat.
Előnyök:⬤ Megközelíthető és jól strukturált
⬤ kiváló minőségű nyomtatás és illusztrációk
⬤ érdekes történelmi kontextus
⬤ olvasmányos
⬤ a szerző személyes meglátásait mutatja be.
Hátrányok:⬤ Némi önreklám a szerző részéről
⬤ kihívást jelenthet a kombinátorokkal kapcsolatos előzetes ismeretekkel nem rendelkező olvasók számára
⬤ nem lehet kielégítő azok számára, akik átfogó bevezetést várnak.
(6 olvasói vélemény alapján)
Eredeti címe:
Combinators: A Centennial View
Könyv tartalma:
A kombinátorok 1920-as feltalálásuk óta inspirálják a számítással kapcsolatos gondolatokat, és ebben az innovatív könyvben Stephen Wolfram modern képet ad a kombinátorokról és jelentőségükről. A lehetséges programok számítási univerzumával és a számítási nyelvek tervezésével kapcsolatos munkássága alapján Wolfram egyedülállóan érthetően és lenyűgöző vizualizációval magyarázza el a kombinátorokkal kapcsolatos új és meglévő elképzeléseket, valamint betekintést nyújt a kombinátorok történelmi összefüggéseibe és a kombinátorok feltalálójának, Moses Schönfinkelnek a különös történetébe. Bár jóval a Turing-gépek előtt találták fel, a kombinátorokat gyakran a számítás megközelíthetetlenül absztrakt megközelítésének tekintették. Ez a könyv úgy eleveníti fel őket, mint még soha korábban, egy olyan gondolatébresztő és széles körben hozzáférhető kiállításban, amely a matematika és az informatika, valamint a formális és számítástudományi gondolkodás alapjaival és az eszmetörténettel foglalkozók számára is érdekes.
Tartalom:
Előszó
Kombinátorok: A Centennial View:
Végső szimbolikus absztrakció - Számítás kombinátorokkal - Száz évvel később... - Kombinátorok a vadonban: némi zoológia - Kombinátorok vizualizálása - Frissítési sémák és többutas rendszerek - Az értékelési sorrend kérdése - Az S kombinátor világa - Kauzális gráfok és a kombinátorok fizikalizálása - Kombinátor-kifejezések mint dinamikus rendszerek - Egyenlőség és tételtanítás kombinátorokra - Lemmák és a kombinátortér struktúrája - Empirikus számításelmélet kombinátorokkal - A kombinátorok jövője - Történelmi és egyéb megjegyzések.
Kombinátorok és a számítás története
A dolgok absztrakt reprezentációja - Miből áll a matematika és a logika? - Megérkeztek a kombinátorok - Mi a matematikájuk? - Gödel tétele és a kiszámíthatóság - Lambda-kalkulus - Gyakorlati számítás - Kombinátorok a kultúrában - A szimbolikus nyelv tervezése - Kombinátorok a számítási univerzumban - Kombinátorok egészen lefelé?
Honnan jöttek a kombinátorok? Vadászat Mózes Schönfinkel történetére
1920. december 7. - Ki volt Mózes Schönfinkel? - A történet kezdete - Főiskolára jár Odesszában - Göttingen, a matematikai univerzum központja - Gondok gyülekeznek - Az 1924-es dolgozat - Az „1927-es” dolgozat - Moszkvába és azon túl... - Más Schönfinkelek... - Haskell Curry - Schönfinkel újra felfedezve - Mit kezdjünk Schönfinkelrel?
Egy kicsit közelebb kerültünk ahhoz, hogy kiderítsük, mi lett Moses Schönfinkel, a kombinátorok feltalálója sorsa.
1920, 2020 és egy 20 000 dolláros díj: Az S Combinator Challenge meghirdetése Egy évszázadon át rejtőzködött? - Az alapfelállás - Az S Combinator Challenge működése
Szemelvények az Egy újfajta tudományból (2002)
A kombinátorok bibliográfiája Alapdokumentumok - Könyvek - Áttekintések és összefoglalók - Kombinátorok mint szimbolikus kifejezések - Kombinátorok mint matematikai konstrukciók - Kombinátorszámítás - Bővítések és alkalmazások - Zavaró kérdések
Index
