Sunteți pe pagina 1din 15

Teza Church Turing

Prof. coordonator: Ttrm Monica Student: Popescu tefan-George

Bucureti, Ianuarie 2011

Cuprins:
Capitolul I: Introducere .. 3
Descrierea Tezei. 3 Impactul Tezei 4 Spectrul lucrrii.. 4 Structura lucrrii. 4

Capitolul II: Contextul Istoric 5


Autorii lucrrii 5 Maini Turing. 6 Problema Opririi. 7 Entscheidungsproblem 8

Capitolul III: Prezentarea Tezei .. 9


Teza Turing. 10 Teza lui Church...11

Capitolul IV: Prezentarea Tezei.12


Diverse interpretri ale Tezei..........12 Interpretri greite ale Tezei14 Teza M..14

Bibliografie.15

Capitolul I
Introducere
Teza Church-Turing afirm c pentru orice metod efectiv de calcul (sau algoritm) M se poate construi o Main Turing care s o calculeze, cu condiia ca M s ndeplineasc urmtoarele condiii: M este formulat ca o serie finit de instruciuni clare (fiecare instruciune fiind exprimata cu un ir finit de simboluri). n cazul n care nu se ajunge ntr-o stare de eroare, M va obine rezultatul dorit ntr-un numr finit de pai. M poate fi parcurs de ctre un om avnd la dispoziia sa doar hrtie i unelte de scris. M nu necesit ingeniozitate sau imaginaie din partea persoanei desemnate s l parcurg.

Descrierea Tezei
Teza Church-Turing nu este o axiom ci mai degrab o idee o reuniune a rezultatelor obinute de doi mari matematicieni: Alan M. Turing i Alonzo Church n principal ca urmare a analizei Problemei de Decizie (Entscheidungsproblem) propus de David Hilbert. Problema consta n gsirea unui algoritm (sau dovedirea c acesta nu exist) care s primeasc la intrare o descriere a unui limbaj formal i o afirmaie n acel limbaj, i s ntoarc un mesaj corespunztor valorii de adevr a afirmaiei. Ambii autori au ajuns la concluzia c nu exist un astfel de algoritm. Dei scopul celor dou lucrri era s dea un rspuns problemei de decizie, rezultatul a avut un mai mare impact asupra societii tiinifice. n primul rnd, Church, n lucrarea sa, a folosit pentru prima dat noiunile de funcii recursive i funii lambdadefinibile. n timp ce n lucrarea sa, Turing introduce conceptul de Main Turing, denumit de el LCM (logical computing machine) ducnd o echivalena ntre funciile intuitiv calculabile i cele calculabile pe o Main Turing. El a mai artat c nu exist o soluie pentru problema deciziei demonstrnd c Problema Opririi (Halting Problem) este nedecidabil pe o Main Turing. n mod asemntor, definiia lui Church pentru funii intuitiv calculabile are dou forme echivalente: 1. O funcie de numere ntregi pozitive este efectiv calculabil dac aceasta este -definibil. 2. O funcie format din numere ntregi se numete efectiv calculabil dac aceasta este recursiv.

Pe baza acestora Church a ajuns la concluzia c nu exist o funcie calculabil care s decid dac dou expresii -calculabile sunt echivalente sau nu. [wikipeida.org]

Impactul Tezei
Teza Church-Turing a avut, i nc are o mare influen n rndul cercettorilor. Teza are implicaii profunde n domeniul inteligenei artificiale domeniu n care Turing nsui i-a dezvoltat multe dintre teoriile sale ulterioare i unde a introdus faimosul su joc de imitaie. Testul consta dintr-o persoan numit interogator care trebuia s afle care dintre cele dou entiti cu care comunic este main i care este om pe baza rspunsurilor date unor ntrebri adresate.

Spectrul lucrrii
Lucrarea de fa i are ca scop: Prezentarea pe larg a Tezei i contextul n care aceasta a fost compus Interpretri i consecine al Tezei Interpretri greite ale Tezei Importana Tezei n domeniul informaticii

Structura lucrrii
Capitolul I Introducere: descrie subiectul pe care se bazeaz aceast lucrare. n acest capitol se prezint o scurt descriere a Tezei precum i un scurt rezumat asupra importanei acelei lucrri. n sfrit, capitolul se ncheie cu prezentarea item-ilor ce vor fi tratai cu precdere pe parcursul lucrrii precum i un scurt rezumat pe capitole. Capitolul II Context istoric: n acest capitol vom prezenta o scurt biografie a celor doi autori i vom enuna dou dintre problemele ce au motivat lucrarea lui Turing din 1936. Capitolul III Prezentarea Tezei: vom realiza o descriere mai n amnunt a tezelor celor doi autori, a noiunilor introduse de ei i echivalena dintre ideile lor. Capitolul IV: . n acest capitol vom mai meniona diferite interpretri ale tezei precum i interpretri rezultate din nelegerea greit a tezei.

Capitolul II
Contextul istoric
n acest capitol vom prezenta o scurt biografie a celor doi mari matematicieni pentru a nelege mai bine, ntr-o anumit msura gndirea lor. Apoi, vom discuta despre istoria din spatele Tezei i despre noul concept propus de Turing n lucrarea sa din 1936: Maina Turing i despre problemele ce au motivat compunerea lucrrilor celor doi, Problema Deciziei i Problema Opririi.

Autorii lucrrii:

Alan M. Turing
Alan Mathison Turing a fost un matematician, logician, criptanalist i informatician britanic. Turing este adesea considerat a fi printele informaticii moderne. [ro.wikipedia.org] Alan Turing s-a nscut pe 23 iunie 1912. Un autodidact, pn la vrsta de 5 ani el deja nvase s citeasc. n 1926, la vrsta de 14 ani, s-a dus la Sherborne School, o coal public i reputat din Dorset. n prima zi de coal acolo, a avut o grev general n toat Anglia, dar era att de hotrt s mearg la coal nct a cltorit singur pe biciclet 97 km de la Southampton la coal, nnoptnd la un han. n 1936 public lucrarea intitulat Computable Numbers with an Application to the Entscheidungsproblem (Despre numere calculabile, cu aplicaii n Entscheidungsproblem). n aceast lucrare introduce conceptul de Main Turing i demonstreaz c nu exist o soluie a Problemei de Decizie artnd nti c Problema Opririi pentru mainile Turing este nedecidabil: nu se poate decide, n general, algoritmic, dac o main Turing dat se va opri. n timpul celui de-al doilea rzboi mondial el a lucrat n domeniul criptanalizei n a descifra mesajele germane. ntre anii 1945-1948 a lucrat n cadrul proiectului ACE (Automatic Computer Engine) unde i-a nceput cercetrile n domeniul inteligenei artificiale. Turing a fost persecutat pentru nclinaiile sale homosexuale (fapt pedepsit de codul penal britanic din acea perioad), acest fapt marcndu-l profund pentru tot restul vieii. A murit n 1954 din cauza otrvirii cu cianur.

Alonzo Church
Alonzo Church (14 iunie 1903 11 august 1995) a fost un matematician i logician american care a adus contribuii majore n domenii precum logica matematic i fundamentele informaticii teoretice [en.wikipedia.org] Nscut n Washington DC, el a urmat cursurile universitare la Universitatea Princeton de unde a obinut licena n anul 1924 i diploma de doctorat n anul 1927 avnd lucrarea intitulat Alternatives to Zermelo's Assumption. Dup doi ani el s-a ntors la Universitatea Princeton ca profesor. Lucrrile sale sunt de mare importan n logica matematic i informatica teoretic. Este creatorul -calculului. Este de asemenea cunoscut datorit tezei Church-Turing i al echivalenei trasate ntre puterea de calcul a mainilor Turing i a -calculului. Structura limbajelor de programare din familia LISP, precum si limbajele de programare funcional n general, a fost bazat pe lucrrile lui Church.

Maini Turing:
Turing a introdus pentru prima dat conceptul teoretic pentru o astfel de main denumit de el Logical Computing Machine- pentru a servi ca un model de calcul matematic n lucrarea sa din 1936 (Despre numere calculabile, cu aplicaii n Entscheidungsproblem).Scopul acestor maini era de a da o definiie noiunii de procedur mecanic. Mainile Turing au o structur uor de neles. Ele sunt alctuite dintr-o band nemrginit ctre dreapta, ce este mprit n celule (vezi figura de mai jos). Iniial, banda conine o serie finit de simboluri aparinnd unui alfabet de intrare, n rest, cmpurile fiind ocupate de un caracter special numit blank. Maina este dotat cu un cap de citire/scriere i numr finit de condiionri. Maina scaneaz un singur cmp de pe band la un moment dat i doar pe baza acestui simbol i a strii sale curente decide urmtorul pas.

Definiia unei maini Turing M poate fi formalizat astfel: M = <Q, V, U, , q0, B, F>, unde Q = mulime finit de stri; V = alfabetul de intrare; U = alfabetul de lucru; q0 = stare iniial; B simbolul pentru blank F = mulimea strilor finale O Main Turing Universal (MTU) este o main Turing ce poate simula alte maini Turing (astfel este ilustrat folosirea principiului recursiei de ctre mainile Turing). Exist ns probleme cnd intr n discuie funcii nedecidabile. Un cunoscut exemplu este acela ca o MTU s poat afla dac o main Turing aleatoare se va opri la primirea unui anumit input.

Problema Opririi:
Una dintre ntrebrile puse de Turing n lucrarea sa din 1936 este dac o main Turing ce a pornit n efectuarea unui proces se va opri sau nu. Turing a demonstrat c nu exist un algoritm general care s decid dac la primirea unui input arbitrar un program se va opri sau nu. Aceast problem nedecidabil (fr soluie) este cunoscut n literatur sub numele de Problema Opririi (Halting Problem). Turing a ajuns la concluzia c problema este nedecidabil demonstrnd c nu exist o MTU care s primeasc la intrare o configuraie a unei maini Turing nu va putea, n general, s decid dac acea main Turing se va opri pe o intrare dat. Presupunem c exist H(x,y) astfel nct la primirea parametrilor x (eticheta asociat unei maini Turing) i y (o valoare ce reprezint input-ul pentru maina Turing etichetat cu x), ntoarce rezultatul 1 dac x se oprete pe intrarea y i 0 n caz contrar. Presupunem prin absurd c maina H se oprete: atunci putem construi o alt main T(x) care va ntoarce 1 dac H(x,x)=0 i va rula la infinit dac H(x,x)=1. Din cele e mai sus ajungem la urmtoarele concluzii: Dac T(T) se oprete, atunci H(T,T) = 1 deci T(T) va rula la infinit. Contradicie. Dac T(T) ruleaz la infinit, atunci H(T,T) = 0 deci T(T) = 1. Contradicie. Problema Opririi a fost prima problem care a fost caracterizat ca fiind nedecidabil. Pentru probleme ulterioare, faptul c sunt nedecidabile a putut fi artat reducndu-le la Problema Opririi. Problema Deciziei este un astfel de exemplu. Explicaia st n faptul c propoziia care spune c un algoritm dat se va opri pe o intrare dat poate fi reformulat ca o afirmaie despre numere. Deoarece nu exist o metod prin

care s se poat decide dac un algoritm se oprete sau nu, se poate deduce c nu exist o metod (algoritm) prin care s se poat decide dac afirmaia despre numere este adevrat sau fals.

Entscheidungsproblem :
n matematic, Entscheidungsproblem (german pentru: Problema de Decizie), este o problem propus de David Hilbert n 1928. Problema de Decizie cere gsirea unui algoritm care primete ca input descrierea unui limbaj formal i un enun matematic n acel limbaj i s ntoarc adevrat sau fals n funcie de valoarea de adevr a enunului. Nu este nevoie ca algoritmul s i justifice rspunsul i nici s ofere o demonstraie, atta timp ct ntotdeauna ajunge la rezultatul corect. Un astfel de algoritm ar putea decide, spre exemplu, valoarea de adevr a unor conjecturi mult dezbtute. Originile problemei dateaz din secolul XVII, cnd Leibniz propunea construcia unei maini ce putea efectua calcule astfel nct s determine valorile de adevr ale unor afirmaii matematice. Rspunsul la problem a fost gsit de Alonzo Church n 1935-1936 i de Alan Turing n 1936-1937, n mod independenta unul de cellalt. Church a dovedit c nu exist o funcie calculabil ce s primeasc dou expresii de calcul i s returneze dac cele dou expresii sunt echivalente sau nu. Turing a redus Problema Opririi pentru mainile Turing la Problema Deciziei astfel ajungnd la acelai rezultat ca i Church. Ambele lucrri au fost influenate de gndirea i rezultatele obinute de Kurt Gdel precum metoda sa de a asigna un sistem numeric formulelor logice pentru a reduce logica la calcul aritmetic.

Capitolul III
Prezentarea Tezei
Noiunea de metod efectiv calculabila este una informal i lipsit de o definiie riguroas. Una dintre realizrile lui Turing din lucrarea sa On Computable Numbers, With an Application to the Entscheidungsproblem(1936) a fost introducerea unui predicat formal care s nlocuiasc predicatul informal calculabil printr-o metod efectiv. Church a introdus ceva similar n lucrarea An Unsolvable Problem of Elementary Number Theory (1936). Predicatele nlocuitoare propuse de Turing i Church pot prea, la o prim vedere, foarte diferite unul de cellalt, dar s-a demonstrat c cele dou sunt noiuni echivalente, in sensul c ambele predicate descriu aceeai mulime de funcii matematice. teza Church-Turing const n a presupune c acea mulime de funcii conine toate funciile efectiv calculabile. Un algoritm poate fi descris ca o metod de rezolvare pas - cu - pas a unei probleme. Mai exact, n descrierea unui algoritm sugerm existena unei entiti (agent de calcul) capabile s efectueze calculele necesare pentru a urma paii succesivi ai algoritmului. Mai mult, spunem c un algoritm este incomplet n cazul n care exist pai care sa fie ambigui. Vom numi poriunea din algoritm care ii permite agentului de calcul s treac la urmtorul pas ca instruciune. Agentul de calcul trebuie s tie ce pai trebuie s urmeze pentru fiecare instruciune pe care o poate ntlni precum i ordinea n care trebuie executate seria de instruciuni. A rezolva o problem nseamn c agentul de calcul, cruia i s-a prezentat enunul problemei, respect instruciunile algoritmului i n cele din urm ajunge la rspuns. Vom numi descrierea problemei (enunul problemei) ca input al algoritmului iar rezultatul produs de acesta l vom denumi output. Ne dorim ca noiunea noastr informal de algoritm sa fie astfel nct s ne putem imagina cu uurin executarea acesteia e ctre un agent uman sau mecanic. Prin urmare, este necesar ca obiectele pe care agentul de calcul trebuie s le examineze la orice pas, s fie elemente din mulimi finite. Dar, de asemenea ne dorim s reprezentm probleme i rspunsuri care necesit ca agentul de calcul s poat distinge dintr-un numr arbitrar de posibiliti. Aceast necesitate este satisfcut prin construirea de input-uri, output-uri i valori intermediare folosind simboluri alese din mulimi finite. Instruciunile algoritmului de asemenea trebuie formulate folosind mulimi finite de simboluri mai mult, un algoritm poate avea un numr limitat de instruciuni O imagine descriptiv asupra acestei noiuni este cea din citatul urmtor, luat din lucrarea lui Rogers din 1959:

Fie o camer B, nuntrul creia se afl o persoan, L, mpreun cu un birou, unelte de scris i coli de hrtie. La unul dintre pereii lui B se afl dou slot-uri ce fac legtura cu exteriorul, denumite input i output. Dac am scrie un numr pe o foaie i i-am livra-o prin slot-ul denumit input, L o va primi i va ncepe s efectueze anumite calcule. Atunci cnd termin, dac termin, el va scrie numrul obinut dup calcule i ni-l returneaz prin slot-ul marcat output. Vom presupune c L posed un set finit de instruciuni deterministe, finite n lungime, care se refer la modul n care calculele ar trebui fcute. Ne vom referi la aceste instruciuni cu numele de P. n cele din urm, presupunem c rezervele de hrtie sunt nelimitate i c n B exist spaiu suficient pentru stocarea unei cantiti necesare de hrtie i rechizite pentru efectuarea calculelor. Ar mai trebui s presupunem i c persoana L este ea nsi de neobosit, din moment ce nu ne intereseaz ct de mult dureaz apariia unui rezultat, cu condiia ca, n cele din urm, acesta s apar dup efectuarea unui numr limitat de calcule. Teza Turing: Orice proces intuitiv de calcul poate fi implementat pe o main Turing. Conceptul formal introdus de Turing este acela de calculabil pe o main Turing. El a susinut c ori de cte ori exist o metod efectiv (algoritm) pentru obinerea valorii unei funcii matematice, funcia poate fi calculat de ctre o main Turing. Reciproca este uor de demonstrat, deoarece programul unei maini Turing este el nsui o specificaie a unei metode efective de calcul: fr a se folosi de ingeniozitate, un om poate parcurge toate instruciunile programului i s efectueze operaiile cerute. Dificultatea validrii tezei lui Turing st in informalitatea conceptului de algoritm: nu poate exist o metod formal de a descrie proprietile clasei tuturor algoritmilor dac nu avem o definiie formal clar pentru noiunea de algoritm. Dei nu exist o demonstraie riguroas care s o susin i este puternic dezbtut, teza lui Turing este n general acceptat ca fiind un adevr empiric. Turing i-a formulat teza cu scopul de a argumenta c Entscheidungsproblem, o problem de decizie, nu poate a avea rspuns. Church ajunsese la acelai rezultat cu cteva luni nainte, folosindu-se de conceptul de definibilitate n locul calculului pe maini Turing. (O funcie de numere ntregi pozitive se numete definibil dac valoarea funciei poate fi calculat printr-un proces alctuit din substituii repetate.) Rezultatele celor doi au fost descoperite independent unul faa de cellalt, ns conceptele lor s-au dovedit a fi echivalente.

10

Noiunea de funcie definibil este rezultatul lucrrilor lui Church i Kleene iar cel de funcie recursiv se datoreaz lui Gdel i Herbrand.

Teza lui Church: O funcie de numere ntregi pozitive este efectiv calculabil dac este recursiv. Kleene pare a fi cel care a introdus denumirea de teza Church-Turing. El a ajuns la concluzia c cele dou teze sunt echivalente i a sugerat ca ambele teze s fie adresate sub numele de teza Church sau teza Church-Turing din moment ce una din lucrri trateaz mainile Turing. Copeland consider c Kleene, n capitolele 12 i 13 din lucrarea sa Introduction to Mathematics: Amsterdam North-Holland face una dintre cele mai bune analize ale Tezei, i le rezum astfel: 1) Oricare funcie efectiv calculabil ce a fost cercetat s-a dovedit a fi calculabil de ctre o main Turing. 2) Toate metodele cunoscute pentru obinerea de noi funcii efectiv calculabile folosind o serie dat de funcii efectiv calculabile au metode echivalente pentru construirea de noi maini Turing plecnd de la setul de maini Turing echivalent pentru funciile date. 3) Toate ncercrile de a da o analiz exact a noiunii intuitive a unei funcii efectiv calculabile s-au dovedit a fi echivalente n sensul c fiecare analiz ce a fost prezentat s-a dovedit a fi descris aceeai clas de funcii, i anume clasa de funcii calculabile pe o main Turing.

Capitolul IV

Diverse interpretri ale Tezei :

11

Copeland pune accent pe definiiile pentru noiunea de metod efectiv sau mecanic i subliniaz faptul c sensul pe care aceasta o are n cadrul tezei Church-Turing este diferit faa de sensul lor propriu. El evideniaz faptul c aici se creeaz deseori interpretri greite ale Tezei. (Definiiile lui pentru metod efectiv i metod mecanic pe care le consider noiuni echivalente se gsesc la nceputul Capitolului I) Stannett, n lucrarea sa Computation and Hypercomputation Minds and machines, formuleaz teza Church-Turing astfel: funcia numeric ce poate fi evaluat de () un om () fr spirit intuitiv, fr contiin de sine sau creativitate i fr nici nelegere a domeniului problemei () sunt exact acele funcii care pot fi evaluate de ctre calculator (de exemplu o Main Turing Universal). Precum Copeland, i Stannet este preocupat de modul n care se definesc noiunile de efectiv i mecanic. n lucrarea mai sus menionat, el susine ideea c abilitatea unui om de a urma o serie de instruciuni ntr-o manier mecanic poate fi caracterizat ca fiind un comportament uman efectiv i ajunge la concluzia urmtoare (vezi figura din dreapta): Oamenii, n principiu, pot simula gndirea unui calculator. Diane Proudfoot i Jack Copeland i descriu modul de

Teza Church-Turing: adaptare din Computation and Hypercomputation Minds and machines (2003)

12

nelegere al tezei prin definirea noiunilor de gndire trivial, algoritmic i algoritmic calculabil: Paii unei proceduri sunt considerai a fi triviali dac nu este necesar nelegerea subiectului, ingenuitate sau creativitate pentru a i ndeplini. O procedur pentru obinerea unui anumit rezultat este considerat algoritmic atunci cnd: a. Fiecare pas din procedur este unul trivial b. La sfritul fiecrui pas este trivial de ales urmtorul pas ce trebuie fcut (nu este nevoie de ingenuitate pentru a trece la urmtorul pas) i c. Procedura garanteaz faptul c se va ajunge la rezultatul corect ntr-un numr finit de pai (presupunnd c fiecare pas este efectuat corect) Un sistem (real sau abstract) este algoritmic calculabil doar n cazul n care exist un algoritm cunoscut sau necunoscut pentru a-i prezice comportamentul. Cu alte cuvinte, sistemul este calculabil din punct de vedere algoritmic dac i numai dac exist un algoritm care s ofere o descriere corect a output-ului sistemului (incluznd rspunsul vid) cunoscnd o descriere a inputului sistemului i o descriere a strii iniiale a sistemului, pentru toate input-urile posibile care returneaz un output. (Anumite input-uri n anumite sisteme calculabile algoritmic nu produc output deoarece conduc sistemul ntr-un ciclu infinit.) Date aceste definiii, interpretarea lor a tezei Church-Turing sun astfel: Orice sistem calculabil algoritmic poate fi simulat pe o main Turing. n sensul c, o main Turing poate genera o descriere corect a outputului unui sistem din descrierea input-ului primit de sistem i a strii curente a sistemului, pentru toate datele de intrare posibile ce produc output. Folosindu-ne de teza Church-Turing putem spune c nu exist un aparat care s efectueze calcule algoritmice mai puternic dect o main Turing Universal

13

Interpretri greite ale Tezei :


Este important s difereniem dintre teza Church-Turing i diferitele enunuri care sugereaz c orice poate fi calculat de ctre o main poate fi calculat de o main Turing, sau c main Turing ar fi o limit nnscut a puterii de calcul. Gandy (1980) este unul dintre autorii care a difereniat clar teza lui Turing de afirmaia descris mai sus, denumind-o pe cea din urm Teza M

Teza M: Orice poate fi calculat de o main (ce lucreaz pe o mulime finit de date n concordana cu o serie finit de instruciuni) este calculabil de o main Turing. Tezei M. i se pot asocia dou interpretri, dup cum fraza poate fi calculat de ctre o main poate fi interpretat n sens restrns, adic poate fi calculat de o main care se conformeaz legilor fizicii ale lumii existente, sau n sens larg, care face abstracie de faptul c o astfel de main ar putea exista. Versiunea restrns a Tezei M este o propoziie empiric a crei valoare de adevr este necunoscut. Speculaii c ar exista procese fizice, i deci poteniale operaii mecanice, a cror comportament poate fi folosit pentru a calcula funcii necalculabile de o main Turing, se ntind pe ultimele cinci decenii; Versiunea extins este ns fals. Exist o larg varietate de descrieri a unor maini teoretice capabile s calculeze funcii care nu sunt calculabile cu maini Turing.

14

Bibliografie:
Copeland, J. B., Turing, Wittgenstein and the Science of the Mind Proudfoot D. (1994). <http://www.hums.canterbury.ac.nz/phil/people/personal_pages/jack_copeland/pub/leibe r.html> Peter J. DENNING, Jack B. DENNIS, Joseph E. QUALITZ: Machines, Languages and Computation, Prentice Hall Inc. Englewood Cliffs, NJ, 1978 Eleni PAGANI: The Physical and Philosophical Implications of the Church Turing Thesis 2004 <plato.stanford.edu> <research.microsoft.com/en-us/um/people/gurevich/Opera/164.pdf> <en.wikipedia.org> <www.alanturing.net>

15