Taula de continguts
10 les relacions: Alan Turing, Alonzo Church, Càlcul lambda, Complexitat computacional, Jerarquia de Chomsky, Llenguatge de programació, Martin Davis, Màquina de Turing, Temps polinòmic, Teoria de la computabilitat.
- Computabilitat
Alan Turing
Alan Mathison Turing (Maida Vale, 23 de juny de 1912 - Wilmslow, 7 de juny de 1954) fou un científic, matemàtic, lògic, criptoanalista, biomatemàtic i maratonià britànic.
Veure Tesi de Church-Turing і Alan Turing
Alonzo Church
fou un matemàtic americà i lògic que va fer importants contribucions a la lògica matemàtica i als fonaments la informàtica teòrica.
Veure Tesi de Church-Turing і Alonzo Church
Càlcul lambda
El càlcul lambda (o càlcul-λ) és un sistema formal dissenyat per investigar la definició de funció, la noció d'aplicacions de funcions i la recursió.
Veure Tesi de Church-Turing і Càlcul lambda
Complexitat computacional
La teoria de complexitat computacional és la part de la teoria de la computabilitat que estudia els recursos requerits durant el càlcul per resoldre un problema.
Veure Tesi de Church-Turing і Complexitat computacional
Jerarquia de Chomsky
Dins de les ciències de la computació, i en l'àrea dels llenguatges de programació, la jerarquia de Chomsky (també coneguda com a Jerarquia de Chomsky-Schützenberger) és una classificació jeràrquica de classes de gramàtiques formals que generen llenguatges formals.
Veure Tesi de Church-Turing і Jerarquia de Chomsky
Llenguatge de programació
Codi font d'un programa escrit en llenguatge BASIC. Un llenguatge de programació és un llenguatge informàtic utilitzat per controlar el comportament d'una màquina, normalment un ordinador.
Veure Tesi de Church-Turing і Llenguatge de programació
Martin Davis
va ser un matemàtic estatunidenc.
Veure Tesi de Church-Turing і Martin Davis
Màquina de Turing
Fotografia d'Alan Turing (1930) La màquina de Turing és un model computacional introduït per Alan Turing en el treball "On computable numbers, with an application to the Entscheidungsproblem", publicat per la Societat Matemàtica de Londres, en el qual s'estudiava la qüestió plantejada per David Hilbert sobre si les matemàtiques són decidibles, és a dir, si hi ha un mètode definit que pugui aplicar-se a qualsevol sentència matemàtica i que resolgui si és certa o no.
Veure Tesi de Church-Turing і Màquina de Turing
Temps polinòmic
En teoria de complexitat, temps polinòmic es refereix al temps de computació d'un problema on el temps, m(n), no és major que una funció polinòmica de la mida del problema, n. Donada qualsevol màquina abstracta tindrà una classe de complexitat corresponent als problemes que es poden resoldre en temps polinòmic en dita màquina.
Veure Tesi de Church-Turing і Temps polinòmic
Teoria de la computabilitat
La teoria de la computabilitat és la part de la computació que estudia els problemes de decisió que poden ser resolts amb un algorisme o equivalentment amb una màquina de Turing.
Veure Tesi de Church-Turing і Teoria de la computabilitat
Vegeu també
Computabilitat
- Algorisme recursiu
- Càlcul lambda
- Complexitat de Kolmogórov
- Conjunt recursiu
- ELEMENTARY
- Entscheidungsproblem
- Funció computable
- Funció d'Ackermann
- Funció recursiva
- Funcions recursives primitives
- Jerarquia aritmètica
- Jerarquia de Grzegorczyk
- Llenguatge recursiu
- Màquina de Turing
- Màquina oracle
- Nombre computable
- Problema de decisió
- Problema de la parada
- R (Complexitat)
- Teoria de la computabilitat
- Tesi de Church-Turing