de Jonathon Keats

în 1935, Alan Turing și-a propus să-și construiască o reputație prin flancarea matematicianului de frunte din lume. Turing avea 22 de ani și un nou coleg la Cambridge. Obiectivul său, David Hilbert, a fost veneratul profesor de la Universitatea din G, care a stabilit singur agenda de cercetare pentru matematica secolului 20.

Hilbert nu a fost un meci pentru parvenitul Britanic. În cartea sa viziunea lui Turing, Chris Bernhardt arată cu abilitate cum Turing a doborât una dintre marile ambiții ale lui Hilbert cu o dovadă magistrală – în cursul căreia a inventat din greșeală computerul modern.

titlul lucrării lui Turing, „On Computable Numbers, With an Application to the Entscheidungsproblem” (care înseamnă „problemă de decizie”), este greu de invitat, iar citirea necesită o pregătire avansată. Acest lucru poate explica de ce, pe măsură ce faima lui Turing a explodat, cele mai populare scrieri s-au concentrat pe spargerea codurilor din timpul războiului, scrierea postbelică despre inteligența artificială – sau persecuția și urmărirea penală pentru că a fost gay și grațierea Regală postumă.

dar ceea ce îi lipsește cărții lui Bernhardt în dramă, compensează în explicații lucide. Viziunea lui Turing permite cititorilor atenți să aprecieze dovada care a făcut numele lui Turing și, ca bonus, să înțeleagă elementele de bază ale computerelor moderne.

problema Entscheidungsproblem a făcut parte din lucrarea lui Hilbert pentru a arăta că axiomele de bază ale matematicii sunt logic consecvente. În acest scop, Hilbert a căutat un algoritm – o procedură de calcul-care să indice dacă o afirmație matematică dată ar putea fi dovedită doar din acele axiome. Turing a arătat decisiv că nu există un astfel de algoritm.

„Turing a dovedit că nu există un set mecanic de reguli pentru rezolvarea tuturor problemelor matematice”

pentru a face acest lucru, explică Bernhardt, Turing a trebuit mai întâi să stabilească o definiție de lucru pentru termenul algoritm – pentru a defini ce înseamnă să calculezi. Turing s – a uitat la „computerele” umane-oameni care făceau calcule. Sarcina implică scrierea simbolurilor pe hârtie, a menționat el. „Comportamentul computerului în orice moment este determinat de simbolurile… pe care le observă și de „starea sa de spirit”.”descompunând cogitarea aparent complexă în proceduri aritmetice simple, Turing a făcut calculul explicit și a eliminat elementul uman. „Perspectiva proaspătă a lui Turing a fost definirea algoritmilor în termeni de mașini de calcul teoretice”, scrie Bernhardt. „Orice lucru care poate fi calculat poate fi calculat de o mașină Turing.”

De aceea mașinile erau esențiale pentru hârtia lui Turing. Pentru a arăta că există algoritmi că mașinile Turing ar funcționa la nesfârșit și neconcludent a fost un mod de a arăta că Hilbert a greșit. Turing a dovedit „că au existat întrebări care erau dincolo de puterea algoritmilor de a răspunde”. Triumful său a fost spectaculos și devastator pentru cei care au crezut (așa cum a făcut Hilbert) că toate problemele pot fi rezolvate.cu toate acestea, la fel de importante ca și mașinile teoretice pentru dovada lui Turing, s-au dovedit a avea un impact și mai mare în sine, oferind un model conceptual pentru computerele moderne. Influența a fost directă, informând John von neumanndesignul de pionierat din 1945 pentru computerele electronice și mașinile de dimensiuni de cameră care i-au aplicat arhitectura. La fel ca mașinile lui Turing, computerele foloseau unu și zero pentru a codifica programe și date. Acest lucru rămâne esențial pentru limbile și rețelele de nivel înalt, astfel încât, atunci când învață despre mașinile Turing, cititorii preiau principiile informaticii.

există și ramificații filosofice astăzi. Având computerele bazate pe comportamentul uman, Turing a remarcat că oamenii sunt într-adevăr mașini Turing. Computerele sunt oglinzile noastre: indiferent dacă ne minunăm sau ne cutremurăm de cea mai recentă ia, ne uităm doar la noi înșine.

Acest articol a apărut tipărit sub titlul „suntem mașini Turing?”

(*când cumpărați prin link-uri de pe această pagină, este posibil să câștigăm un mic comision, dar acest lucru nu joacă niciun rol în ceea ce revizuim sau în opinia noastră despre acesta.)

Mai multe despre aceste subiecte:

• matematică
• calcul
• algoritmi