Accés més ràpid que el navegador!
33 les relacions: Alan Turing, Alfred Foster, Axiomes de Peano, Càlcul lambda, Dana Scott, Entscheidungsproblem, Estats Units d'Amèrica, Informàtica, John George Kemeny, Lògica, Lògica combinatòria, Lisp, Martin Davis, Matemàtic, Màquina de Turing, Michael Oser Rabin, Oswald Veblen, Presbiterianisme, Problema de decisió, Problema de la parada, Programació funcional, Raymond Smullyan, Tesi de Church-Turing, Transformació de Lorentz, Universitat Case Western Reserve, Universitat d'Amsterdam, Universitat de Buffalo, Universitat de Califòrnia a Los Angeles, Universitat de Chicago, Universitat de Princeton, Universitat Georg-August de Göttingen, Universitat Harvard, Washington DC.
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.
Nou!!: Alonzo Church і Alan Turing · Veure més »
Alfred Foster
va ser un matemàtic estatunidenc.
Nou!!: Alonzo Church і Alfred Foster · Veure més »
Axiomes de Peano
Els axiomes de Peano (o postulats de Peano) són un conjunt d'axiomes de segon ordre que defineixen de manera exacta la teoria dels nombres naturals.
Nou!!: Alonzo Church і Axiomes de Peano · Veure més »
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ó.
Nou!!: Alonzo Church і Càlcul lambda · Veure més »
Dana Scott
Dana Stewart Scott (nascut l'11 d'octubre de 1932) és professor emèrit de la càtedra Hillman d'informàtica, filosofia i lògica matemàtica de la Carnegie Mellon; ara està retirat i viu a Berkeley (Califòrnia).
Nou!!: Alonzo Church і Dana Scott · Veure més »
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.
Nou!!: Alonzo Church і Entscheidungsproblem · Veure més »
Estats Units d'Amèrica
Els Estats Units d'Amèrica (anglès: United States of America) són una república federal i constitucional integrada per 50 estats i un districte federal.
Nou!!: Alonzo Church і Estats Units d'Amèrica · Veure més »
Informàtica
Ordinador executant la distribució Debian del sistema operatiu GNU/Linux. (any 2002) La Informàtica és la ciència o tècnica relativa a la tecnologia que estudia el tractament automàtic de la informació utilitzant dispositius electrònics i sistemes computacionals.
Nou!!: Alonzo Church і Informàtica · Veure més »
John George Kemeny
va ser un matemàtic, científic informàtic i educador nord-americà d'origen hongarès, conegut per desenvolupar el llenguatge de programació BASIC el 1964 juntament amb Thomas E. Kurtz.
Nou!!: Alonzo Church і John George Kemeny · Veure més »
Lògica
Aplicació lògica La lògica és l'estudi dels sistemes de raonament que un ésser racional podria utilitzar per raonar.
Nou!!: Alonzo Church і Lògica · Veure més »
Lògica combinatòria
La lògica combinatòria és la lògica última i com a tal pot ser un model simplificat del còmput, usat en la teoria de computabilitat (l'estudi de què pot ser computat) i la teoria de la prova (l'estudi de què es pot provar matemàticament).
Nou!!: Alonzo Church і Lògica combinatòria · Veure més »
Lisp
Lisp (o LISP) és un dels grans pioners dels llenguatges de programació, creador del paradigma funcional.
Nou!!: Alonzo Church і Lisp · Veure més »
Martin Davis
va ser un matemàtic estatunidenc.
Nou!!: Alonzo Church і Martin Davis · Veure més »
Matemàtic
Leonhard Euler (1707-1783) és àmpliament considerat un dels matemàtics més importants de la història. Representació anacrònica d'Hipàcia en el mural feminista de Gandia Un/a matemàtic/a és una persona l'àrea primària d'estudi i investigació de la qual és la matemàtica.
Nou!!: Alonzo Church і Matemàtic · Veure més »
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.
Nou!!: Alonzo Church і Màquina de Turing · Veure més »
Michael Oser Rabin
Michael Oser Rabin (nascut el 1931 a Breslau, Alemanya, avui dia part de Polònia) és un notable científic de la computació i guanyador del Premi Turing, el guardó més prestigiós en aquest camp.
Nou!!: Alonzo Church і Michael Oser Rabin · Veure més »
Oswald Veblen
va ser un matemàtic nord-americà.
Nou!!: Alonzo Church і Oswald Veblen · Veure més »
Presbiterianisme
El presbiterianisme és el nom donat a la doctrina d'algunes esglésies protestants, principalment les Esglésies Reformades, basades en els ensenyaments de la Bíblia, que tenen a Joan Calví com un dels comentaristes més importants.
Nou!!: Alonzo Church і Presbiterianisme · Veure més »
Problema de decisió
En teoria de la computabilitat i en complexitat computacional, un problema de decisió és una qüestió en algun sistema formal amb una resposta sí o no.
Nou!!: Alonzo Church і Problema de decisió · Veure més »
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.
Nou!!: Alonzo Church і Problema de la parada · Veure més »
Programació funcional
En informàtica, la programació funcional és un paradigma de programació que tracta les computacions com un procés d'aplicació de funcions, evitant les dades mudables amb els seus canvis d'estat.
Nou!!: Alonzo Church і Programació funcional · Veure més »
Raymond Smullyan
va ser un matemàtic americà, concertista de piano, lògic, filòsof taoista i mag.
Nou!!: Alonzo Church і Raymond Smullyan · Veure més »
Tesi de Church-Turing
La Tesi de Church-Turing, simplificant, es pot enunciar així: "Tot algorisme o procediment efectiu és Turing-computable".
Nou!!: Alonzo Church і Tesi de Church-Turing · Veure més »
Transformació de Lorentz
La transformació de Lorentz (Hendrik Lorentz, 1853 - 1928) estableix una de les bases matemàtiques de la teoria de la relativitat especial que havia estat introduïda per a resoldre certes inconsistències entre l'electromagnetisme i la mecànica clàssica.
Nou!!: Alonzo Church і Transformació de Lorentz · Veure més »
Universitat Case Western Reserve
La Universitat de Case Western Reserve, és una universitat privada que es troba a Cleveland, Ohio (en els Estats Units d'Amèrica).
Nou!!: Alonzo Church і Universitat Case Western Reserve · Veure més »
Universitat d'Amsterdam
La Universitat d'Amsterdam (en neerlandès: Universiteit van Amsterdam, UvA) és una institució d'educació superior pública localitzada al cor de la ciutat d'Amsterdam, Països Baixos.
Nou!!: Alonzo Church і Universitat d'Amsterdam · Veure més »
Universitat de Buffalo
La Universitat de Buffalo (State University of New York at Buffalo en idioma anglès), també coneguda pels acrònims UB o SUNY at Buffalo, és una universitat nord-americana ubicada a Buffalo (Estat de Nova York).
Nou!!: Alonzo Church і Universitat de Buffalo · Veure més »
Universitat de Califòrnia a Los Angeles
The seal of the University of California, Los Angeles (UCLA) La Universitat de Califòrnia a Los Angeles, més coneguda en anglès com a UCLA o University of California, Los Angeles, ubicada al barri de Westwood de la ciutat de Los Angeles, Califòrnia, Estats Units és una universitat pública destinada a la formació acadèmica i a la recerca científica.
Nou!!: Alonzo Church і Universitat de Califòrnia a Los Angeles · Veure més »
Universitat de Chicago
La Universitat de Chicago és una universitat privada de recerca a Chicago, Illinois, Estats Units.
Nou!!: Alonzo Church і Universitat de Chicago · Veure més »
Universitat de Princeton
La Universitat de Princeton, és una institució d'educació superior situada a Princeton, Nova Jersey (Estats Units).
Nou!!: Alonzo Church і Universitat de Princeton · Veure més »
Universitat Georg-August de Göttingen
Universitat de Göttingen La Universitat de Göttingen (Georg-August-Universität Göttingen, o Geòrgia Augusta) va ser fundada l'any 1734 per Jordi II, príncep elector de Hannover i rei de la Gran Bretanya.
Nou!!: Alonzo Church і Universitat Georg-August de Göttingen · Veure més »
Universitat Harvard
La Universitat Harvard (en anglès: Harvard University) és una universitat privada situada a Cambridge, Massachusetts, als Estats Units d'Amèrica, prop de la ciutat de Boston.
Nou!!: Alonzo Church і Universitat Harvard · Veure més »
Washington DC
Washington DC (en anglèsː Washington D.C.), formalment el Districte de Colúmbia i comunament coneguda com a Washington, és la capital dels Estats Units d'Amèrica.
Nou!!: Alonzo Church і Washington DC · Veure més »
