Un satelit Lambda Calculus

Recenzii ale cititorilor

Cartea este lăudată pentru conținutul său extins privind calculul lambda, oferind o introducere solidă, galerii foto utile și rezultate de ultimă oră care inspiră cercetarea viitoare. Cu toate acestea, unii utilizatori au întâmpinat probleme cu calitatea imprimării, un recenzent primind o copie piratată.

⬤ Introducere amplă
⬤ conținut matematic bun
⬤ capitole de sine stătătoare care rezumă lucrările anterioare
⬤ rezultate de ultimă oră privind calculul lambda
⬤ livrare rapidă
⬤ calitate bună a imprimării (exemplare originale).

Unele exemplare sunt de calitate slabă, în special versiuni piratate cu imprimare neclară și hârtie de calitate inferioară.

(pe baza a 3 recenzii ale cititorilor)

Titlul original:

A Lambda Calculus Satellite

Conținutul cărții:

În 1936, noțiunea de calculabilitate intuitivă a fost operaționalizată în două moduri diferite: prin intermediul mașinilor Turing și prin intermediul lambda-calculului. Diferența consta în manipularea mărgelelor (biților) pentru prima abordare față de manipularea arborilor (rescrierea termenilor lambda) pentru cea de-a doua. Ambele propuneri s-au dovedit a formaliza aceeași noțiune de calculabilitate și au condus la teza Church-Turing, susținând că calculabilitatea intuitivă este capturată în mod corect.

Aceasta a dus la fundamentarea programării imperative și funcționale. Variante ale calcului lambda sunt utilizate într-un alt domeniu puternic de aplicații, și anume proof-checking, baza pentru certificarea teoremelor matematice și, prin urmare, a produselor industriale de înaltă tehnologie. Aceste două domenii de cercetare sunt încă cercetate activ și fac din calculul lambda un instrument major în etapele actuale ale științei și ale revoluției industriale.

În această carte, calculul lambda este privit dintr-un alt unghi: ca un studiu al acestor structuri arborescente, investigând relația dintre forma lor și acțiunea lor. Acest lucru este ca și cum am studia numerele din punct de vedere calitativ, mai degrabă decât pentru aplicațiile lor care tratează cantitativ obiectele și fenomenele din lume.

Cartea lui Barendregt "The Lambda Calculus, its Syntax and Semantics" (1981/84), tratează subiectul din același punct de vedere metodologic și include mai multe conjecturi deschise. În cele peste patru decenii care au trecut, majoritatea - dar nu toate - acestor conjecturi au fost rezolvate, uneori în teze de doctorat ingenioase. Acest "Satelit" la cartea menționată mai sus prezintă aceste soluții într-un stil uniform și adaugă alte subiecte de interes.