Opinie czytelników
Podsumowanie:Książka zapewnia przystępne podejście do złożonego tematu kombinatorów, podzielonego na odrębne części z połączeniem analizy, historii i osobistych spostrzeżeń autora. Zawiera wysokiej jakości ilustracje i jest dobrze skonstruowana, dzięki czemu jest łatwiejsza w czytaniu w porównaniu z innymi pracami w tej dziedzinie. Może jednak nie służyć jako wprowadzenie dla osób niezaznajomionych z kombinatorami.
Zalety:⬤ Przystępna i dobrze skonstruowana
⬤ wysokiej jakości druk i ilustracje
⬤ interesujący kontekst historyczny
⬤ czytelna
⬤ przedstawia osobiste spostrzeżenia autora.
Wady:⬤ Pewna autopromocja ze strony autora
⬤ może być wyzwaniem dla czytelników bez wcześniejszej wiedzy o kombinatorach
⬤ może być rozczarowująca dla tych, którzy oczekują kompleksowego wprowadzenia.
(na podstawie 6 opinii czytelników)
Oryginalny tytuł:
Combinators: A Centennial View
Zawartość książki:
Kombinatory inspirowały idee dotyczące obliczeń od czasu ich wynalezienia w 1920 roku, a w tej innowacyjnej książce Stephen Wolfram przedstawia nowoczesne spojrzenie na kombinatory i ich znaczenie. Opierając się na swojej pracy nad obliczeniowym wszechświatem możliwych programów i projektowaniem języków obliczeniowych, Wolfram wyjaśnia nowe i istniejące idee dotyczące kombinatorów z wyjątkową przejrzystością i oszałamiającymi wizualizacjami, a także zapewnia wgląd w ich historyczne powiązania i ciekawą historię Mojżesza Schönfinkela, wynalazcy kombinatorów. Chociaż kombinatoryka została wynaleziona na długo przed maszynami Turinga, często była postrzegana jako niedostępne abstrakcyjne podejście do obliczeń. Ta książka ożywia je jak nigdy dotąd w prowokującej do myślenia i szeroko dostępnej ekspozycji interesującej dla matematyki i informatyki, a także dla osób zainteresowanych podstawami myślenia formalnego i obliczeniowego oraz historią idei.
Spis treści
Przedmowa
Kombinatoryka: A Centennial View:
Ostateczna abstrakcja symboliczna - Obliczenia z użyciem kombinatorów - Sto lat później... - Kombinatory na wolności: trochę zoologii - Wizualizacja kombinatorów - Schematy aktualizacji i systemy wielodrogowe - Kwestia kolejności ewaluacji - Świat kombinatora S - Grafy przyczynowe i fizykalizacja kombinatorów - Wyrażenia kombinatoryczne jako systemy dynamiczne - Równość i dowodzenie twierdzeń dla kombinatorów - Lematy i struktura przestrzeni kombinatorów - Empiryczna teoria obliczeń z użyciem kombinatorów - Przyszłość kombinatorów - Uwagi historyczne i inne
Kombinatory i historia obliczeń
Abstrakcyjna reprezentacja rzeczy - z czego składa się matematyka i logika? - Pojawienie się kombinatorów - czym jest ich matematyka? - Twierdzenie Gödla i obliczalność - Rachunek lambda - Praktyczne obliczenia - Kombinatory w kulturze - Projektowanie języka symbolicznego - Kombinatory we wszechświecie obliczeniowym - Kombinatory aż do końca?
Skąd się wzięły kombinatory? Polowanie na historię Mojżesza Schönfinkla
7 grudnia 1920 - Kim był Moses Schönfinkel? - Początek historii - studia w Odessie - Getynga, centrum matematycznego wszechświata - narastające problemy - artykuł z 1924 roku - artykuł z 1927 roku - do Moskwy i dalej... - Inne Schönfinkels... - Haskell Curry - Schönfinkel odkryty na nowo - Co powinniśmy zrobić z Schönfinklem?
Nieco bliżej odkrycia losów Mosesa Schönfinkela, wynalazcy kombinatorów
Rok 1920, 2020 i nagroda w wysokości 20 000 dolarów: Ogłoszenie konkursu S Combinator Challenge Ukrywający się na widoku przez stulecie? - Podstawowa konfiguracja - działanie konkursu S Combinator Challenge
Fragmenty książki A New Kind of Science (2002)
A Bibliography of Combinators Foundational Documents - Books - Surveys & Summaries - Combinators as Symbolic Expressions - Combinators as Mathematical Constructs - Combinator Computation - Extensions & Applications - Confusing Issues
Indeks
