Accés més ràpid que el navegador!
20 les relacions: Alan Turing, Algorisme, Alonzo Church, Axiomes de Peano, Càlcul lambda, David Hilbert, Fórmula (lògica), Gottfried Wilhelm Leibniz, Kurt Gödel, Lògica matemàtica, Llenguatge de programació, Màquina de Turing, Nombre natural, Problema de decisió, Problema de la parada, Stephen Kleene, Teorema, Teorema d'incompletesa de Gödel, Wilhelm Ackermann, 1928.
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!!: Entscheidungsproblem і Alan Turing · Veure més »
Algorisme
nombres primers Un algorisme (o, alternativament, algoritme) és un conjunt finit d'instruccions o passos que serveixen per a executar una tasca o resoldre un problema.
Nou!!: Entscheidungsproblem і Algorisme · Veure més »
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.
Nou!!: Entscheidungsproblem і Alonzo Church · 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!!: Entscheidungsproblem і 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!!: Entscheidungsproblem і Càlcul lambda · Veure més »
David Hilbert
David Hilbert (Königsberg, Prússia Oriental, 23 de gener de 1862 – Göttingen, Alemanya, 14 de febrer de 1943) va ser un matemàtic alemany.
Nou!!: Entscheidungsproblem і David Hilbert · Veure més »
Fórmula (lògica)
En lògica matemàtica, una fórmula és un objecte sintàctic formal que expressa una proposició.
Nou!!: Entscheidungsproblem і Fórmula (lògica) · Veure més »
Gottfried Wilhelm Leibniz
Gottfried Wilhelm Leibniz o Leibnitz (Leipzig, Ducat de Saxònia, Sacre Imperi, 1 de juliol de 1646 - Hannover, Ducat de Brunsvic-Lüneburg, Sacre Imperi, 14 de novembre de 1716) fou un filòsof, científic, matemàtic, lògic, diplomàtic, jurista, bibliotecari i filòleg, alemany de llinatge sòrab, que va escriure en llatí, francès i alemany.
Nou!!: Entscheidungsproblem і Gottfried Wilhelm Leibniz · Veure més »
Kurt Gödel
fou un matemàtic austríac-americà, un lògic profund que va desenvolupar el teorema d'incompletesa, afirmant que qualsevol sistema axiomàtic consistent prou potent per descriure l'aritmètica dels enters permet proposicions (sobre enters) que no es poden demostrar ni refutar.
Nou!!: Entscheidungsproblem і Kurt Gödel · Veure més »
Lògica matemàtica
La lògica matemàtica és la disciplina inclosa en la matemàtica que estudia els sistemes formals en relació amb la manera en què aquests codifiquen els conceptes intuïtius de demostració matemàtica i computació com una part dels fonaments de la matemàtica.
Nou!!: Entscheidungsproblem і Lògica matemàtica · Veure més »
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.
Nou!!: Entscheidungsproblem і Llenguatge de programació · 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!!: Entscheidungsproblem і Màquina de Turing · Veure més »
Nombre natural
Un nombre natural és qualsevol dels nombres 0, 1, 2, 3…, 19, 20, 21..., que es poden utilitzar per a comptar els elements d'un conjunt finit.
Nou!!: Entscheidungsproblem і Nombre natural · 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!!: Entscheidungsproblem і 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!!: Entscheidungsproblem і Problema de la parada · Veure més »
Stephen Kleene
Stephen Kleene (5 de gener de 1909, Hartford (Connecticut), Estats Units - 25 de gener de 1994, Madison (Wisconsin), EUA) fou un lògic i matemàtic estatunidenc.
Nou!!: Entscheidungsproblem і Stephen Kleene · Veure més »
Teorema
editor.
Nou!!: Entscheidungsproblem і Teorema · Veure més »
Teorema d'incompletesa de Gödel
Kurt Gödel a 19 anys, cinc anys abans de la demostració dels teoremes. En lògica matemàtica, els teoremes d'incompletesa de Gödel són dos cèlebres teoremes demostrats per Kurt Gödel l'any 1930.
Nou!!: Entscheidungsproblem і Teorema d'incompletesa de Gödel · Veure més »
Wilhelm Ackermann
va ser un matemàtic alemany.
Nou!!: Entscheidungsproblem і Wilhelm Ackermann · Veure més »
1928
Enderroc de les Quatre Columnes. Placa de la casa de la vila de Santa Pau Terrassa, Can Vinyals, al carrer Major, el 1928;Països Catalans.
Nou!!: Entscheidungsproblem і 1928 · Veure més »
