Emil Leon Post
aus Wikipedia, der freien Enzyklopädie
Emil Leon Post (* 11. Februar 1897 in Augustów, Polen; † 21. April 1954 in New York, USA) ist ein polnisch-US-amerikanischer Mathematiker und Logiker.
Emil Leon Post hat unabhängig von Łukasiewicz und etwa gleichzeitig Systeme mehrwertiger Aussagenlogik betrachtet.
Post entwickelte diese Systeme im Kontext der Untersuchung der klassischen Aussagenlogik, insbesondere ihrer funktionalen Vollständigkeit. Post führt beliebige endlichwertige Systeme ein.
Post diskutiert den Fall, dass außer dem Wert 1 noch weitere Quasiwahrheitswerte ausgezeichnet sein können.
Post verwendet dabei als Negation die so genannte Post-Negation und als Alternative die Łukasiewicz-Tarski-Alternative.
Es findet sich bei Post eine Implikation, die eine Kopplung der Łukasiewicz-Tarski-Implikation und der Gödel-Implikation ist und Post-Implikation genannt wird.
1936 entwickelte er ein Maschinenmodell, das ebenso mächtig ist wie die Turingmaschine.
Siehe auch: Postsches Korrespondenzproblem
| Personendaten | |
|---|---|
| NAME | Post, Emil Leon |
| KURZBESCHREIBUNG | Polnisch - US-amerikanischer Mathematiker und Logiker |
| GEBURTSDATUM | 11. Februar 1897 |
| GEBURTSORT | Augustów, Polen |
| STERBEDATUM | 21. April 1954 |
| STERBEORT | New York City, USA |
