Tesi de Church-Turing: diferència entre les revisions
Contingut suprimit Contingut afegit
m Corregit: fins el(s) -> fins al(s) |
m Corregit: formal -> formal, ja que no |
||
Línia 43:
S'ha acordat que un procediment efectiu o algorisme consisteix en un nombre finit i precís de passos descrit en un nombre finit de símbols que podria ser també executat per un ésser humà. En general, l'execució d'un algorisme no requereix de més intel ligència que la necessària per entendre i seguir les instruccions (fins i tot només seguir).
Exemples de mètodes efectius o algorismes abunden, per exemple la suma, resta, multiplicació o divisió són algorismes d'operacions aritmètiques. L'algorisme d'Euclides per obtenir el màxim comú divisor de dos nombres naturals és un altre exemple. No obstant això, res d'això ha estat una definició formal, ja que no és clar què significa "instrucció precisa" o quin és el tipus d'intel ligència necessària per seguir les instruccions. Per aquesta mateixa raó, la idea abstracta d'una màquina que funciona com a paràmetre per decidir quan alguna cosa és un algorisme o procediment efectiu és de gran valor, això és una màquina de Turing.
== Èxit de la tesi ==
| |||