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 |
|
dbpedia-owl:deathPlace | |
foaf:depiction | |
Fecha De Fallecimiento |
|
Fecha De Nacimiento |
|
Imagen |
|
foaf:isPrimaryTopicOf | |
rdfs:label |
|
Lugar De Fallecimiento |
|
Lugar De Nacimiento |
|
Nacionalidad | |
foaf:name |
|
dbpedia-owl:nationality | |
Nombre |
|
Ocupación |
|
Is foaf:primaryTopic of | |
dcterms:subject | |
Tamaño |
|
dbpedia-owl:thumbnail | |
rdf:type | |
prov:wasDerivedFrom | |
dbpedia-owl:wikiPageExternalLink | |
dbpedia-owl:wikiPageID |
|
dbpedia-owl:wikiPageLength |
|
dbpedia-owl:wikiPageOutDegree |
|
Is dbpedia-owl:wikiPageRedirects of | |
dbpedia-owl:wikiPageRevisionID |
|
prop-latam:wikiPageUsesTemplate | |
dbpedia-owl:wikiPageWikiLink | [14 values] |
Is dbpedia-owl:wikiPageWikiLink of |