Evaluare:
Cartea oferă o abordare accesibilă a subiectului complex al combinatorilor, organizat în părți distincte cu un amestec de analiză, istorie și perspective personale ale autorului. Cartea prezintă ilustrații de înaltă calitate și este bine structurată, ceea ce o face mai ușor de citit în comparație cu alte lucrări din domeniu. Cu toate acestea, este posibil să nu servească în mod adecvat ca o introducere pentru cei care nu sunt familiarizați cu combinatorii.
Avantaje:⬤ Abordabil și bine structurat
⬤ tipar și ilustrații de înaltă calitate
⬤ context istoric interesant
⬤ ușor de citit
⬤ prezintă perspective personale din partea autorului.
⬤ O anumită autopromovare din partea autorului
⬤ poate fi o provocare pentru cititorii care nu au cunoștințe prealabile despre combinatoare
⬤ ar putea fi dezamăgitoare pentru cei care se așteaptă la o introducere cuprinzătoare.
(pe baza a 6 recenzii ale cititorilor)
Combinators: A Centennial View
Combinatorii au inspirat idei despre calcul încă de când au fost inventați pentru prima dată în 1920, iar în această carte inovatoare, Stephen Wolfram oferă o viziune modernă asupra combinatorilor și a semnificației lor. Având la bază lucrările sale despre universul computațional al programelor posibile și despre proiectarea limbajelor computaționale, Wolfram explică idei noi și existente despre combinatori cu o claritate unică și cu vizualizări uimitoare, precum și oferă informații despre conexiunile lor istorice și despre povestea curioasă a lui Moses Schönfinkel, inventatorul combinatorilor. Deși au fost inventate cu mult înaintea mașinilor Turing, combinatoarele au fost adesea privite ca o abordare inaccesibil de abstractă a calculului. Această carte le aduce la viață ca niciodată până acum, într-o expunere care provoacă la reflecție și este ușor accesibilă, de interes pentru matematică și informatică, precum și pentru cei preocupați de fundamentele gândirii formale și computaționale și de istoria ideilor.
Cuprins
Prefață
Combinatorii: O perspectivă centenară:
Abstracția simbolică supremă - Calculul cu combinatori - O sută de ani mai târziu... - Combinatorii în sălbăticie: puțină zoologie - Vizualizarea combinatorilor - Schemele de actualizare și sistemele cu mai multe căi - Problema ordinii de evaluare - Lumea combinatorului S - Grafurile cauzale și fizicalizarea combinatorilor - Expresiile combinatorilor ca sisteme dinamice - Egalitatea și demonstrarea teoremelor pentru combinatori - Lemele și structura spațiului combinator - Teoria calculului empiric cu combinatori - Viitorul combinatorilor - Note istorice și de altă natură
Combinatorii și istoria calculului
Reprezentarea abstractă a lucrurilor - Din ce sunt făcute matematica și logica? - Sosirea combinatoarelor - Care este matematica lor? - Teorema lui Gödel și calculabilitatea - Calculul lambda - Calculul practic - Combinatorii în cultură - Proiectarea limbajului simbolic - Combinatorii în universul computațional - Combinatorii până la capăt?
De unde provin combinatoarele? Vânând povestea lui Moses Schönfinkel
7 decembrie 1920 - Cine a fost Moses Schönfinkel? - Începutul poveștii - Mergând la facultate la Odessa - Göttingen, centrul universului matematic - Se nasc probleme - Lucrarea din 1924 - Lucrarea „1927” - La Moscova și dincolo... - Alte Schönfinkels... - Haskell Curry - Schönfinkel redescoperit - Ce ar trebui să facem cu Schönfinkel?
Puțin mai aproape de a afla ce s-a ales de Moses Schönfinkel, inventatorul combinatoarelor
1920, 2020 și un premiu de 20 000 de dolari: Anunțarea provocării S Combinator Ascuns la vedere timp de un secol? - Configurația de bază - Funcționarea S Combinator Challenge
Extrase din A New Kind of Science (2002)
O bibliografie a combinatorilor Documente fundamentale - Cărți - Studii și rezumate - Combinatorii ca expresii simbolice - Combinatorii ca structuri matematice - Calculul combinator - Extensii și aplicații - Probleme confuze
Index
© Book1 Group - toate drepturile rezervate.
Conținutul acestui site nu poate fi copiat sau utilizat, nici parțial, nici integral, fără permisiunea scrisă a proprietarului.
Ultima modificare: 2024.11.08 07:02 (GMT)