Emil Leon Post est un mathématicien américain né sur le territoire de l’actuelle Pologne dans une famille juive. Il est à l’origine du problème de correspondance de Post.

Dans son Introduction to a general theory of elementary propositions de 1921, il établit la complétude sémantique du calcul propositionnel des Principia Mathematica de Whitehead et Russell par le système des table de vérités. Puis il généralise ce résultat à tout calcul propositionnel fini-valent (et non uniquement bivalent ).

En 1936 Emil Post développe, indépendamment d’Alan Turing, un modèle mathématique de calcul très proche du modèle de machine de Turing.