Viziunea lui Turing: Nașterea informaticii

Recenzii ale cititorilor

Cartea primește o largă apreciere pentru explicațiile clare și accesibile ale conceptelor complexe din informatică și logică matematică, în special în ceea ce îl privește pe Alan Turing și contribuțiile sale. Mulți cititori apreciază contextul său istoric și profunzimea informațiilor pe care le oferă, ceea ce o face valoroasă atât pentru entuziaști, cât și pentru profesioniștii din domeniul informaticii. Cu toate acestea, unele recenzii menționează neajunsuri, cum ar fi detalii insuficiente în anumite domenii, erori tipografice și dorința de a obține mai multe informații despre viața lui Turing și contextul mai larg în informatică.

⬤ Explicații clare și ușor de înțeles ale unor subiecte complexe din informatică și logică matematică.
⬤ Oferă un context istoric valoros și prezintă cititorilor figuri-cheie precum Alan Turing și Charles Sanders Pierce.
⬤ Accesibilă unui public general, fiind potrivită atât pentru începători, cât și pentru cei cu o anumită pregătire în domeniu.
⬤ Stil narativ captivant care menține interesul cititorilor.
⬤ Bibliografie bună pentru lecturi suplimentare.

⬤ Capitolul privind calculul lambda este considerat insuficient de detaliat.
⬤ O parte din conținutul tehnic poate fi dincolo de înțelegerea comună.
⬤ Cartea conține câteva erori tipografice.
⬤ Unii cititori doresc mai multe detalii despre viața lui Turing și dezvoltarea tehnologiei informatice.
⬤ Unele părți ale cărții pot părea grăbite sau lipsite de profunzime, în special spre sfârșit.

(pe baza a 20 recenzii ale cititorilor)

Titlul original:

Turing's Vision: The Birth of Computer Science

Conținutul cărții:

O explorare accesibilă și fascinantă a modului în care teoria matematică a lui Alan Turing a dat naștere informaticii și aplicațiilor moderne - de la computerul de birou la telefonul mobil

În 1936, când avea doar 24 de ani, Alan Turing a scris o lucrare remarcabilă în care a schițat teoria calculului, expunând ideile care stau la baza tuturor calculatoarelor moderne. Această teorie revoluționară și puternică stă acum la baza informaticii. În Turing's Vision, Chris Bernhardt explică teoria, cea mai importantă contribuție a lui Turing, pentru cititorul larg. Bernhardt susține că punctul forte al teoriei lui Turing este simplitatea sa și că, explicată într-o manieră directă, ea este foarte ușor de înțeles de către nespecialiști. După cum scrie Marvin Minsky, "simplitatea absolută a fundamentului teoriei și calea extraordinar de scurtă de la acest fundament la concluziile sale logice și surprinzătoare conferă teoriei o frumusețe matematică care singură îi garantează un loc permanent în teoria calculatoarelor". Bernhardt începe cu fundamentul și construiește sistematic până la concluziile surprinzătoare. De asemenea, el analizează teoria lui Turing în contextul istoriei matematicii, al altor viziuni asupra calculului (inclusiv cele ale lui Alonzo Church), al lucrărilor ulterioare ale lui Turing și al nașterii calculatorului modern.

În lucrarea "On Computable Numbers, with an Application to the Entscheidungsproblem", Turing se gândește cu atenție la modul în care oamenii efectuează calculul, împărțindu-l într-o secvență de pași, și apoi construiește mașini teoretice capabile să efectueze fiecare pas. Turing dorea să demonstreze că există probleme a căror rezolvare depășește capacitatea oricărui computer.

În special, el dorea să găsească o problemă de decizie despre care să poată demonstra că este indecidabilă. Pentru a explica ideile lui Turing, Bernhardt examinează trei probleme de decizie bine cunoscute pentru a explora conceptul de indecidabilitate.

Investighează mașinile de calcul teoretice, inclusiv mașinile Turing.

Explică mașinile universale.

Și dovedește că anumite probleme sunt indecidabile, inclusiv problema lui Turing privind numerele calculabile.