This HTML5 document contains 78 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

PrefixNamespace IRI
category-eshttp://es.dbpedia.org/resource/Categoría:
n21https://www.cambridge.org/core/services/aop-cambridge-core/content/view/EDB7DCE04575AF06CCC94E95B3DD0F72/S1079898600008040a.pdf/in-memoriam-alonzo-church-1903-1995.
dcthttp://purl.org/dc/terms/
wikipedia-eshttp://es.wikipedia.org/wiki/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n22http://es.dbpedia.org/resource/Washington_D._C.
n31http://es.dbpedia.org/resource/Hartley_Rogers,
n10http://es.dbpedia.org/resource/J.
n16http://es.dbpedia.org/resource/Categoría:Nacidos_en_Washington_D._C.
n8https://www.nytimes.com/1995/09/05/obituaries/alonzo-church-92-theorist-of-the-limits-of-mathematics.
dbpedia-eshttp://es.dbpedia.org/resource/
n13http://es.dbpedia.org/resource/EE._UU.
prop-eshttp://es.dbpedia.org/property/
schemahttp://schema.org/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n12http://es.dbpedia.org/resource/Washington,_D.C.
n6http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#
n20http://johnmacfarlane.net/church.
n30http://rdf.freebase.com/ns/m.
n14http://es.dbpedia.org/resource/C.
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n28http://arks.princeton.edu/ark:/88435/
owlhttp://www.w3.org/2002/07/owl#
n25https://projecteuclid.org/euclid.rml/
n24http://es.wikipedia.org/wiki/Alonzo_Church?oldid=127797509&ns=
n26https://www.independent.co.uk/news/obituaries/obituary-alonzo-church-1600980.
n15http://es.dbpedia.org/resource/Hudson,
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
dbrhttp://dbpedia.org/resource/
wikidatahttp://www.wikidata.org/entity/
Subject Item
dbr:Alonzo_Church
owl:sameAs
dbpedia-es:Alonzo_Church
Subject Item
dbpedia-es:Oswald_Veblen
prop-es:estudiantesDoctorales
dbpedia-es:Alonzo_Church
Subject Item
dbpedia-es:Alonzo_Church
rdf:type
wikidata:Q215627 n6:NaturalPerson dbo:Agent wikidata:Q5 owl:Thing n6:Agent dbo:Person wikidata:Q24229398 schema:Person foaf:Person
rdfs:label
Alonzo Church
rdfs:comment
Alonzo Church (14 de junio de 1903 - 11 de agosto de 1995), matemático y lógico estadounidense creador de la base de la computación teórica. Nacido en la ciudad de Washington, se diplomó en 1924 y obtuvo su doctorado en 1927 en la Universidad de Princeton, donde ejerció como profesor entre 1929 y 1967. Entre los más conocidos estudiantes de doctorado de Church están Stephen Kleene, , , John George Kemeny, Michael O. Rabin, Dana Scott, y Raymond Smullyan. El cálculo lambda influenció el diseño del lenguaje Lisp así como los lenguajes de programación funcional.
owl:sameAs
n30:0d6m5
dct:subject
category-es:Alumnado_de_la_Universidad_de_Princeton category-es:Profesores_de_la_Universidad_de_California_en_Los_Ángeles category-es:Lógicos_de_Estados_Unidos n16: category-es:Presidentes_de_la_American_Philosophical_Association category-es:Alumnado_de_la_Universidad_de_Harvard category-es:Informáticos_teóricos_de_Estados_Unidos category-es:Matemáticos_de_Estados_Unidos category-es:Graduados_honorarios_de_la_Universidad_de_Princeton category-es:Profesores_de_la_Universidad_de_Princeton category-es:Presbiterianos_de_Estados_Unidos
foaf:isPrimaryTopicOf
wikipedia-es:Alonzo_Church
prop-es:almaMáter
dbpedia-es:Universidad_de_Princeton
prop-es:conocidoPor
dbpedia-es:Ontología_de_Frege-Church dbpedia-es:Tesis_de_Church-Turing dbpedia-es:Teorema_de_Church-Rosser dbpedia-es:Cálculo_lambda
prop-es:empleador
UCLA 1967–95 Universidad de Princeton 1929–67
prop-es:estudiantesDoctorales
n10:_Barkley_Rosser dbpedia-es:Alan_Turing dbpedia-es:David_Kaplan dbpedia-es:Peter_Andrews dbpedia-es:Martin_Davis n14:_Anthony_Anderson dbpedia-es:John_George_Kemeny dbpedia-es:Stephen_Kleene dbpedia-es:Raymond_Smullyan dbpedia-es:Michael_Oser_Rabin dbpedia-es:Dana_Scott dbpedia-es:Leon_Henkin n31:_Jr dbpedia-es:Nathan_Salmon dbpedia-es:George_Alfred_Barnard
prop-es:fechaDeFallecimiento
11
prop-es:fechaDeNacimiento
14
prop-es:lugarDeFallecimiento
Hudson, Ohio, EE. UU.
prop-es:lugarDeNacimiento
n22: dbpedia-es:Estados_Unidos
prop-es:nacionalidad
dbpedia-es:Estados_Unidos
prop-es:supervisorDoctoral
dbpedia-es:Oswald_Veblen
prop-es:área
dbpedia-es:Lógica dbpedia-es:Matemáticas
dbo:deathPlace
n15:_Ohio n13:
dbo:birthPlace
n12: n13:
dbo:wikiPageID
53499
dbo:wikiPageRevisionID
127797509
dbo:wikiPageExternalLink
n8:html n20:html n21:pdf n25:1204835575 n26:html n28:fx719m49m
dbo:wikiPageLength
5462
dbo:almaMater
dbpedia-es:Universidad_de_Princeton
dbo:employer
dbpedia-es:UCLA dbpedia-es:Universidad_de_Princeton
dbo:nationality
dbpedia-es:EEUU
prov:wasDerivedFrom
n24:0
dbo:abstract
Alonzo Church (14 de junio de 1903 - 11 de agosto de 1995), matemático y lógico estadounidense creador de la base de la computación teórica. Nacido en la ciudad de Washington, se diplomó en 1924 y obtuvo su doctorado en 1927 en la Universidad de Princeton, donde ejerció como profesor entre 1929 y 1967. Su obra más conocida es el desarrollo del cálculo lambda, y su trabajo de 1936 que muestra la existencia de problemas indecidibles. Este trabajo precedió el famoso trabajo de su alumno Alan Turing sobre el problema de parada que también demostró la existencia de problemas irresolubles por dispositivos mecánicos. Luego de revisar la tesis doctoral de Turing, demostraron que el cálculo lambda y la máquina de Turing utilizada para expresar el problema de parada tenían igual poder de expresión; posteriormente demostraron que una variedad de procesos mecánicos alternos para realizar cálculos tenían poder de cómputo equivalente. Como resultado se postuló la Tesis de Church-Turing.​ Entre los más conocidos estudiantes de doctorado de Church están Stephen Kleene, , , John George Kemeny, Michael O. Rabin, Dana Scott, y Raymond Smullyan. Church publicó entre 1924 y 1995 trabajos sobre Lógica, filosofía, matemáticas y computación. En su trabajo de 1936 An unsolvable problem of elementary number theory Church formuló por primera vez lo que ahora se conoce como la tesis de Church que es la identificación del concepto vago de calculabilidad efectiva con la noción precisa de función recursiva. Su artículo A note on the entscheidungsproblem presentó lo que ahora se conoce como el teorema de Church: La indecidibilidad de la validez de la lógica de primer orden. En 1941 publicó su monografía The calculi of lambda-conversión. Este trabajo tiene gran influencia en el área de computación teórica.​ El cálculo lambda influenció el diseño del lenguaje Lisp así como los lenguajes de programación funcional.
Subject Item
wikipedia-es:Alonzo_Church
foaf:primaryTopic
dbpedia-es:Alonzo_Church