Un satellite del calcolo Lambda

Recensioni dei lettori

Il libro è generalmente apprezzato per il suo contenuto completo e la sua qualità, in particolare per l'ampia introduzione, le gallerie fotografiche e le informazioni aggiornate sul calcolo lambda. Tuttavia, ci sono preoccupazioni per le edizioni contraffatte che presentano una scarsa qualità di stampa.

⬤ Ottimi contenuti, tra cui un'ampia introduzione e materiale matematico
⬤ risultati all'avanguardia nel calcolo lambda
⬤ manoscritto autocontenuto
⬤ buona qualità di stampa e spedizione rapida per le edizioni autentiche.

Rischio di acquistare copie pirata con stampa confusa e scarsa qualità della carta; le edizioni originali sono costose.

(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.