Similituds entre Alonzo Church і Teoria de la computació
Alonzo Church і Teoria de la computació tenen 6 coses en comú (en Uniopèdia): Alan Turing, Càlcul lambda, Entscheidungsproblem, Màquina de Turing, Problema de la parada, Tesi de Church-Turing.
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.
Alan Turing і Alonzo Church · Alan Turing і Teoria de la computació ·
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ó.
Alonzo Church і Càlcul lambda · Càlcul lambda і Teoria de la computació ·
Entscheidungsproblem
El Entscheidungsproblem (en català: problema de decisió) fou el repte en lògica simbòlica de trobar un algorisme que decidís si una fórmula de càlcul de primer ordre és un teorema.
Alonzo Church і Entscheidungsproblem · Entscheidungsproblem і Teoria de la computació ·
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.
Alonzo Church і Màquina de Turing · Màquina de Turing і Teoria de la computació ·
Problema de la parada
En teoria de la computabilitat el problema de la parada és un problema de decisió que es pot formular de forma informal: Alan Turing va provar el 1936 que un algorisme general per resoldre el problema de la parada per totes les possibles parelles programa-entrades no pot existir.
Alonzo Church і Problema de la parada · Problema de la parada і Teoria de la computació ·
Tesi de Church-Turing
La Tesi de Church-Turing, simplificant, es pot enunciar així: "Tot algorisme o procediment efectiu és Turing-computable".
Alonzo Church і Tesi de Church-Turing · Teoria de la computació і Tesi de Church-Turing ·
La llista anterior respon a les següents preguntes
- En què s'assemblen Alonzo Church і Teoria de la computació
- Què tenen en comú Alonzo Church і Teoria de la computació
- Semblances entre Alonzo Church і Teoria de la computació
Comparació entre Alonzo Church і Teoria de la computació
Alonzo Church té 33 relacions, mentre que Teoria de la computació té 49. Com que tenen en comú 6, l'índex de Jaccard és 7.32% = 6 / (33 + 49).
Referències
En aquest article es mostra la relació entre Alonzo Church і Teoria de la computació. Per accedir a cada article de la qual es va extreure la informació, si us plau visiteu: