Depiction of Emil Leon Post

Emil Leon Post fue un matemático estadounidense de origen polaco especializado en lógica matemática. Entre sus aportaciones se encuentran la elaboración de un sistema para controlar la validez de las fórmulas de la lógica sentencial mediante las tablas de verdad. También propuso las lógicas polivalentes, introdujo el concepto de grado de indecidibilidad y creó el sistema formal llamado Máquina de Post, el cual es equivalente a la Máquina de Turing.

dbpedia-owl:birthPlace
rdfs:comment
  • Emil Leon Post fue un matemático estadounidense de origen polaco especializado en lógica matemática. Entre sus aportaciones se encuentran la elaboración de un sistema para controlar la validez de las fórmulas de la lógica sentencial mediante las tablas de verdad. También propuso las lógicas polivalentes, introdujo el concepto de grado de indecidibilidad y creó el sistema formal llamado Máquina de Post, el cual es equivalente a la Máquina de Turing. (es)
dbpedia-owl:deathPlace
foaf:depiction
Fecha De Fallecimiento
  • 21 (xsd:integer)
Fecha De Nacimiento
  • 11 (xsd:integer)
Imagen
  • Emil Leon Post.jpg (es)
foaf:isPrimaryTopicOf
rdfs:label
  • Emil Leon Post (es)
Lugar De Fallecimiento
  • , Nueva York (es)
Lugar De Nacimiento
  • , Augustow (es)
Nacionalidad
foaf:name
  • Emil Leon Post (es)
dbpedia-owl:nationality
Nombre
  • Emil Leon Post (es)
Ocupación
  • matemático, informático (es)
Is foaf:primaryTopic of
dcterms:subject
Tamaño
  • 150 (xsd:integer)
dbpedia-owl:thumbnail
rdf:type
prov:wasDerivedFrom
dbpedia-owl:wikiPageExternalLink
dbpedia-owl:wikiPageID
  • 278755 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 1009 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 20 (xsd:integer)
Is dbpedia-owl:wikiPageRedirects of
dbpedia-owl:wikiPageRevisionID
  • 73075424 (xsd:integer)
prop-latam:wikiPageUsesTemplate
dbpedia-owl:wikiPageWikiLink [14 values]
Is dbpedia-owl:wikiPageWikiLink of