Emil L. Post
| Emil L. Post | |
| | |
| Född | Emil Leon Post 11 februari 1897[1][2][3] Augustów[1] |
|---|---|
| Död | 21 april 1954[1][2][3] (57 år) New York[1], USA |
| Begravd | Mount Hebron Cemetery[4][5] kartor |
| Medborgare i | USA |
| Utbildad vid | Columbia University, [6] Townsend Harris High School, [6] City College of New York, [6]  |
| Sysselsättning | Matematiker[1], logiker[1], filosof, universitetslärare |
| Arbetsgivare | Princeton University (1920–1921)[7] Columbia University (1921–1924)[7] Cornell University (1924–1927)[7] George Washington High School (1927–1932)[7][6] City College of New York (1932–1954)[7] |
| Redigera Wikidata | |
Emil L. Post, född den 11 februari 1897 i den polska staden Augustów i det ryska kejsardömet, död den 21 april 1954 i USA, var en amerikansk logiker och matematiker. Post, som var av judisk börd, gjorde betydande insatser inom områdena formella logiska system, abstrakt algebra och generella rekursiva funktioner.
Post studerade vid Columbiauniversitetet och vid Princeton. Han blev 1920 den förste, som gav ett fullständigt och generellt bevis för tillräckligheten av de två konnektiven {~, V}, icke och eller, definierade i Principia Mathematica. Post var samma år även den förste att ge ett bevis för konsistensen av det formaliserade satslogiska systemet i Principia Mathematica. Han visade att alla teorem i systemet är tautologier. Nyckeln till beviset är idén att det finns en egenskap, som är gemensam för varje axiom i systemet och som bevaras av dess slutledningsregler, en idé som ursprungligen lanserades av David Hilbert.
Post visade även att ett formellt satslogiskt system är semantiskt fullständigt, det vill säga att varje tautologi i systemet även är ett teorem i detta. Posts bevis klargör inte endast om en formel är en tautologi utan anger även en metod för hur ett bevis för denna kan konstrueras.
Bland Posts arbeten märks bland andra Introduction to a general theory of elementary propositions, i American Journal of Mathematics, volume 43, 1921.
Referenser
[redigera | redigera wikitext]- ^ [a b c d e f] läs online, www-gap.dcs.st-and.ac.uk , läst: 28 juni 2015.[källa från Wikidata]
- ^ [a b] MacTutor History of Mathematics archive, läst: 22 augusti 2017.[källa från Wikidata]
- ^ [a b] SNAC, SNAC Ark-ID: w6km04zh, läs online, läst: 9 oktober 2017.[källa från Wikidata]
- ^ Find a Grave, läs online.[källa från Wikidata]
- ^ läs online, www.mounthebroncemetery.com .[källa från Wikidata]
- ^ [a b c d] s. 618, läs online.[källa från Wikidata]
- ^ [a b c d e] MacTutor History of Mathematics archive.[källa från Wikidata]
- G. Hunter, Metalogic, MacMillan 1971.
- M. Davis, The Collected Works of Emil L. Post, Birkhauser, 1994.