Emil Leon Post (11. února 1897 Augustów, Ruské impérium – 21. dubna 1954 New York, USA) byl polsko-americký matematik a logik. Je známý zejména díky svému přínosu v matematické logice, teorii vyčíslitelnosti a teorii formálních jazyků.Post je autorem výpočtového modelu, ekvivalentního Turingova stroje, nazývaného také Postův-Turingův stroj. Nerozhodnutelnost tzv. Postova korespondenčního problému navíc hraje mimořádně důležitou roli při dokazování nerozhodnutelnosti mnoha jiných problémů.

PropertyValue
prop-cs:jazyk
  • sk
prop-cs:revize
  • 5617560 (xsd:integer)
prop-cs:wikiPageUsesTemplate
prop-cs:článek
  • Emil Leon Post
dbpedia-owl:abstract
  • Emil Leon Post (11. února 1897 Augustów, Ruské impérium – 21. dubna 1954 New York, USA) byl polsko-americký matematik a logik. Je známý zejména díky svému přínosu v matematické logice, teorii vyčíslitelnosti a teorii formálních jazyků.Post je autorem výpočtového modelu, ekvivalentního Turingova stroje, nazývaného také Postův-Turingův stroj. Nerozhodnutelnost tzv. Postova korespondenčního problému navíc hraje mimořádně důležitou roli při dokazování nerozhodnutelnosti mnoha jiných problémů.
dbpedia-owl:wikiPageID
  • 1012997 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 1237 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 28 (xsd:integer)
dbpedia-owl:wikiPageRevisionID
  • 13889376 (xsd:integer)
dbpedia-owl:wikiPageWikiLink
dbpedia-owl:wikiPageWikiLinkText
  • Emil Leon Post
  • Emila Posta
  • Emilem Postem
dcterms:subject
rdf:type
rdfs:comment
  • Emil Leon Post (11. února 1897 Augustów, Ruské impérium – 21. dubna 1954 New York, USA) byl polsko-americký matematik a logik. Je známý zejména díky svému přínosu v matematické logice, teorii vyčíslitelnosti a teorii formálních jazyků.Post je autorem výpočtového modelu, ekvivalentního Turingova stroje, nazývaného také Postův-Turingův stroj. Nerozhodnutelnost tzv. Postova korespondenčního problému navíc hraje mimořádně důležitou roli při dokazování nerozhodnutelnosti mnoha jiných problémů.
rdfs:label
  • Emil Leon Post
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbpedia-owl:wikiPageDisambiguates of
is dbpedia-owl:wikiPageWikiLink of
is foaf:primaryTopic of