turing
A propos de l'Espace-Turing | Partenaires | Nous contacter
twitterfacebookrssyoutube
Accueil > Historique > Historique > Naissance de « Emil Post », mathématicien américain

Naissance de « Emil Post », mathématicien américain

11 février 1897

Voir en ligne : http://fr.wikipedia.org/wiki/Emil_Post
JPEG - 12 ko

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.


info portfolio

titre documents joints


Suivre la vie du site RSS 2.0 | Plan du site | Espace privé | SPIP | squelette | Contact site : marc.monticelli [at] unice [point] fr