bn:03491727n
Noun Concept
Categories: Calculabilité
FR
problème de correspondance de Post
FR
En mathématiques et en informatique théorique, et plus précisément en théorie de la calculabilité, le problème de correspondance de Post est un problème de décision indécidable qui fut introduit par Emil Post en 1946. Wikipedia
Definitions
Relations
Sources
FR
En mathématiques et en informatique théorique, et plus précisément en théorie de la calculabilité, le problème de correspondance de Post est un problème de décision indécidable qui fut introduit par Emil Post en 1946. Wikipedia
DIFFERENT FROM
DISCOVERER OR INVENTOR
NAMED AFTER