Un satelit Lambda Calculus

Recenzii ale cititorilor

Cartea este în general bine primită pentru conținutul său cuprinzător și pentru calitatea sa, remarcându-se în special pentru introducerea sa extinsă, galeriile foto și informațiile actualizate privind calculul lambda. Cu toate acestea, există îngrijorări cu privire la edițiile contrafăcute care prezintă o calitate slabă a imprimării.

⬤ Conținut deosebit, inclusiv o introducere extinsă și materiale matematice
⬤ rezultate de ultimă oră în calculul lambda
⬤ manuscris de sine stătător
⬤ calitate bună a imprimării și expediere rapidă pentru edițiile autentice.

Riscul de a achiziționa copii piratate cu imprimare neclară și calitate slabă a hârtiei; edițiile originale sunt scumpe.

(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 cadrul unor teze de doctorat ingenioase. Acest "satelit" al cărții menționate mai sus prezintă aceste soluții într-un stil uniform și adaugă alte subiecte de interes.