Un satellite del calcolo Lambda

Recensioni dei lettori

Il libro è apprezzato per l'ampio contenuto sul calcolo lambda, con una solida introduzione, utili gallerie fotografiche e risultati all'avanguardia che ispirano la ricerca futura. Tuttavia, alcuni utenti hanno riscontrato problemi con la qualità di stampa e un recensore ha ricevuto una copia chiaramente piratata.

⬤ Introduzione esauriente
⬤ buon contenuto matematico
⬤ capitoli autocontenuti che riassumono i lavori precedenti
⬤ risultati all'avanguardia sul calcolo lambda
⬤ spedizione veloce
⬤ buona qualità di stampa (copie autentiche).

Alcune copie sono di scarsa qualità, in particolare le versioni pirata con stampa sfocata e carta di bassa qualità.

(basato su 3 recensioni dei lettori)

Titolo originale:

A Lambda Calculus Satellite

Contenuto del libro:

Nel 1936 la nozione di computabilità intuitiva fu resa operativa in due modi diversi: tramite macchine di Turing e tramite lambda-calculus. La differenza consisteva nella manipolazione di perline (bit) per il primo approccio e nella manipolazione di alberi (riscrittura di lambda-termini) per il secondo. Entrambe le proposte si sono rivelate formalizzare la stessa nozione di computabilità e hanno portato alla Tesi di Church-Turing, che sostiene che la computabilità intuitiva è catturata nel modo corretto.

Questo ha portato alla fondazione della programmazione imperativa e funzionale. Varianti del lambda-calculus vengono utilizzate in un altro potente campo di applicazioni, ovvero il proof-checking, la base per la certificazione di teoremi matematici e quindi di prodotti industriali ad alta tecnologia. Queste due aree di ricerca sono ancora in fase di studio attivo e fanno del lambda-calculus uno strumento importante nelle fasi attuali della scienza e della rivoluzione industriale.

In questo libro il lambda-calcolo viene considerato da un altro punto di vista: come uno studio di queste strutture ad albero, indagando la relazione tra la loro forma e la loro azione. È come studiare i numeri dal punto di vista qualitativo, piuttosto che per le loro applicazioni, trattando quantitativamente gli oggetti e i fenomeni del mondo.

Il libro di Barendregt The Lambda Calculus, its Syntax and Semantics (1981/84) tratta l'argomento dallo stesso punto di vista metodologico e include diverse congetture aperte. Negli oltre quattro decenni trascorsi, la maggior parte di queste congetture - ma non tutte - sono state risolte, talvolta in ingegnose tesi di dottorato. Questo "Satellite" al libro citato presenta queste soluzioni in uno stile uniforme e aggiunge altri argomenti di interesse.