Aller au contenu

Emil Post

Un article de Wikipédia, l'encyclopédie libre.
Emil Post
Emil Leon Post
Biographie
Naissance
Décès
Sépulture
Nom de naissance
Emil Leon PostVoir et modifier les données sur Wikidata
Nationalité
Formation
Townsend Harris High School(en)(jusqu'en)
City College of New York(jusqu'en)
Université Columbia(-)Voir et modifier les données sur Wikidata
Activités
Autres informations
A travaillé pour
City College of New York(-)
George Washington High School(en)(-)
Université Cornell(-)
Université Columbia(-)
Université de Princeton(-)Voir et modifier les données sur Wikidata
Directeur de thèse
Archives conservées par
American Philosophical Society Library(d)(Mss.Ms.Coll.45)Voir et modifier les données sur Wikidata
Œuvres principales

Emil Leon Post(né leàAugustówet mort leà New York) est unmathématicienaméricainné sur le territoire de l'actuellePolognedans une famillejuive. Il est à l'origine duproblème de correspondance de Post[1].

Il a également publié en 1921 une étude exhaustive desclonesdes algèbres à deux éléments.


Emil Post est né enPologneen 1897 sous le nom de Postawelski, il émigre avec sa famille vers lesÉtats-Unisen 1904 où son nom est américanisé.

Il est amputé du bras gauche à l’âge de 13 ans à la suite d’un accident avec une voiture. Il n’évoquera pas cet événement tout au long de sa vie et pose toujours en photo de manière que l’on ne voie pas le bras manquant.

Brillant élève, il obtient une thèse à l’université Columbiaen 1920, puis commence ses recherches en logique dès l’année suivante àPrincetongrâce à une bourse.

Il subit une crise en 1921, puis une seconde en 1924 qui l’écarte de ses travaux sur la logique jusqu’en 1936 où il se remet au travail en temps limité.

Il meurt le 21 avril 1954 à la suite d'un traitement par électrochocs, il était interné depuis l’été précédent[2].

Travaux sur le calcul propositionnel

[modifier|modifier le code]

Dans sonIntroduction to a general theory of elementary propositionsde 1921, il établit lacomplétudesémantique ducalcul propositionneldesPrincipia MathematicadeWhiteheadetRussellpar le système destables de vérité.Puis il généralise ce résultat à tout calcul propositionnel fini-valent (et non uniquementbivalent).

Le problème de correspondance de Post

[modifier|modifier le code]

On part de deux suites finies U et V contenant le même nombre de mots finis sur un Alpha bet quelconque. Par exemple

.

On cherche une suite d'indicestelle que la concaténation descorresponde à celle des.Ici la suite (1,2,3,2,1) est une solution puisque

.

Le problème de correspondance de Post (en abrégé PCP) consiste à déterminer s'il existe une telle suite. Il estindécidable:il n'existe pas d'algorithme général capable de fournir une réponse pour des U et V arbitraires.

Bibliographie

[modifier|modifier le code]

Note et référence

[modifier|modifier le code]
  1. (en)E. L. Post, «A variant of a recursively unsolvable problem»,Bull. Amer. Math. Soc,vol.52,‎(lire en ligne)
  2. Pierre Cassou-Noguès,Les démons de Gödel, Logique et folie,Seuil,,411p.,Partie IV: Le cas Post, une brève digression. Pages 253-257

Articles connexes

[modifier|modifier le code]