Combinatori: Uno sguardo al centenario

Recensioni dei lettori

Il libro offre una visione accessibile del complesso argomento dei combinatori, organizzato in parti distinte con un mix di analisi, storia e approfondimenti personali dell'autore. Presenta illustrazioni di alta qualità ed è ben strutturato, il che lo rende di più facile lettura rispetto ad altre opere del settore. Tuttavia, potrebbe non servire adeguatamente come introduzione per coloro che non hanno familiarità con i combinatori.

⬤ Avvicinabile e ben strutturato
⬤ stampa e illustrazioni di alta qualità
⬤ contesto storico interessante
⬤ leggibile
⬤ presenta approfondimenti personali dell'autore.

⬤ L'autore ha fatto un po' di autopromozione
⬤ potrebbe risultare ostico per i lettori che non hanno una conoscenza pregressa dei combinatori
⬤ potrebbe risultare poco convincente per coloro che si aspettano un'introduzione completa.

(basato su 6 recensioni dei lettori)

Titolo originale:

Combinators: A Centennial View

Contenuto del libro:

I combinatori hanno ispirato idee sulla computazione fin dalla loro prima invenzione nel 1920. In questo libro innovativo, Stephen Wolfram fornisce una visione moderna dei combinatori e del loro significato. Basandosi sul suo lavoro sull'universo computazionale dei programmi possibili e sulla progettazione dei linguaggi computazionali, Wolfram spiega le idee nuove ed esistenti sui combinatori con una chiarezza unica e con visualizzazioni sbalorditive, oltre a fornire approfondimenti sulle loro connessioni storiche e sulla curiosa storia di Moses Schönfinkel, inventore dei combinatori. Sebbene siano stati inventati ben prima delle macchine di Turing, i combinatori sono stati spesso considerati come un approccio inaccessibilmente astratto al calcolo. Questo libro li fa rivivere come mai prima d'ora in un'esposizione stimolante e ampiamente accessibile, di interesse per la matematica e l'informatica, nonché per coloro che si occupano dei fondamenti del pensiero formale e computazionale e della storia delle idee.

Contenuti

Prefazione

Combinatori: Una visione centenaria:

L'astrazione simbolica definitiva - Calcolo con i combinatori - Cento anni dopo... - I combinatori in natura: un po' di zoologia - Visualizzazione dei combinatori - Schemi di aggiornamento e sistemi a più vie - La questione dell'ordine di valutazione - Il mondo del combinatore S - Grafi causali e fisicizzazione dei combinatori - Espressioni di combinatori come sistemi dinamici - Uguaglianza e dimostrazione di teoremi per i combinatori - Lemmi e struttura dello spazio dei combinatori - Teoria empirica della computazione con i combinatori - Il futuro dei combinatori - Note storiche e di altro tipo

I combinatori e la storia della computazione

La rappresentazione astratta delle cose - Di cosa è fatta la matematica e la logica? - Arrivano i combinatori - Qual è la loro matematica? - Il teorema di Gödel e la computabilità - Il calcolo lambda - La computazione pratica - I combinatori nella cultura - La progettazione del linguaggio simbolico - I combinatori nell'universo computazionale - I combinatori fino in fondo?

Da dove vengono i combinatori? A caccia della storia di Moses Schönfinkel

7 dicembre 1920 - Chi era Moses Schönfinkel? - L'inizio della storia - Andare all'università a Odessa - Gottinga, centro dell'universo matematico - I problemi stanno nascendo - Il documento del 1924 - Il documento del “1927” - A Mosca e oltre... - Altri Schönfinkels... - Haskell Curry - Schönfinkel riscoperto - Cosa dobbiamo fare di Schönfinkel?

Un po' più vicini a scoprire cosa ne è stato di Moses Schönfinkel, inventore dei combinatori

1920, 2020 e un premio di 20.000 dollari: Annuncio della S Combinator Challenge Nascosto in piena vista per un secolo? - L'impostazione di base - Il funzionamento della sfida S Combinator

Estratti da Un nuovo tipo di scienza (2002)

Bibliografia dei combinatori Documenti fondamentali - Libri - Indagini e sintesi - Combinatori come espressioni simboliche - Combinatori come costrutti matematici - Calcolo combinatorio - Estensioni e applicazioni - Questioni confuse

Indice