Emil Leon Post (original) (raw)
Emil Post (polonès: Emil Leon Post) (Augustów, 11 de febrer de 1897 - Nova York, 21 d'abril de 1954) va ser un matemàtic nord-americà, nascut al que actualment és Polònia.
| Property | Value |
|---|---|
| dbo:abstract | Emil Post (polonès: Emil Leon Post) (Augustów, 11 de febrer de 1897 - Nova York, 21 d'abril de 1954) va ser un matemàtic nord-americà, nascut al que actualment és Polònia. (ca) Emil Leon Post (11. února 1897 Augustów, Ruské impérium (v současnosti Polsko) – 21. dubna 1954 New York, USA) byl polsko-americký matematik a logik židovského původu. Je známý zejména díky svému přínosu v matematické logice, teorii vyčíslitelnosti a teorii formálních jazyků. (cs) إيميل ليون بوست عالم الرياضيات الأمريكي، ولد في الحادي عشر من فبراير 1879 في أوغسطوف (بالروسية: Augustów) الإمبراطورية الروسية (سابقا)/بولندا (حاليا) لأسرة يهودية وتوفي في 21 أبريل 1954. يعرف بالمشكلة المنسوبة إليه مشكلة بوست للتوافق. نشر أيضا سنة 1921 دراسة مستوفية عن المستنسخات (بالإنجليزية: ) في الجبر بعنصرين. (ar) Emil Leon Post (* 11. Februar 1897 in Augustów, Kongresspolen; † 21. April 1954 in New York, USA) war ein polnisch-US-amerikanischer Mathematiker und Logiker. (de) Emil Leon POST [EMil LIan post] (naskiĝis la 11-an de februaro 1897, mortis la 21-an de aprilo, 1954) estis pola matematikisto kiu esploris aro-teorion kaj la teorion de komputado. Post naskiĝis en Augustów, Pollando. Li doktoriĝis ĉe la Universitato Columbia en 1920 per disertaĵokiu pruvis la koherecon de la priskribita en de Bertrand Russell kaj . Li aliĝis al la fakultato de Urba Universitato de Novjorko en 1932, kie li restis ĝis lia morto en 1954. Kvankam malsaneco daŭre interrompis lian karieron, Post grave kontribuis al la konceptoj de kompleteco kaj kaj al , fundamenta al moderna komputada teorio. En 1936, li enkondukis la koncepton de , enkondukaĵo al la nocio de programo fare de John von Neumann. Studantoj de komputada teorio renkontos la nomon de Post en la , kiun li enkondukis 1946 kiel ekzemplo de . (eo) Emil Leon Post (/poʊst/; February 11, 1897 – April 21, 1954) was an American mathematician and logician. He is best known for his work in the field that eventually became known as computability theory. (en) Emil Leon Post (11 de febrero de 1897 en Augustów - 21 de abril de 1954 en Nueva York) fue un matemático estadounidense. Creó el sistema formal llamado Máquina de Post, el cual es equivalente a la Máquina de Turing. (es) Emil Leon Post (né le 11 février 1897 à Augustów et mort le 21 avril 1954 à New York) 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. Il a également publié en 1921 une étude exhaustive des clones des algèbres à deux éléments. (fr) Emil Leon Post (Augustów, 11 febbraio 1897 – New York, 21 aprile 1954) è stato un matematico e logico statunitense di origine polacca. (it) 에밀 레온 포스트(Emil Leon Post, 1897년 2월 11일 ~ 1954년 4월 21일)는 폴란드계 미국인 수학자, 논리학자이다. 계산가능성 이론 등에 공헌하였다. (ko) エミール・レオン・ポスト（英: Emil Leon Post、1897年2月11日 - 1954年4月21日）は、アメリカ合衆国の数学者、論理学者。 (ja) Emil Leon Post (Augustów, 11 februari 1897 - New York, 21 april 1954) was een Pools wiskundige en logicus. Hij is het meest bekend voor zijn werk op het gebied dat uiteindelijk zou uitgroeien tot de berekenbaarheidstheorie. (nl) Emil Leon Post (ur. 11 lutego 1897 w Augustowie, zm. 21 kwietnia 1954 w Nowym Jorku) – amerykański matematyk i logik pochodzenia żydowskiego pochodzący z terenów dzisiejszej Polski. (pl) 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. (sv) Emil Leon Post (Augustów, Polônia do Congresso, no Império Russo (atual Polônia), 11 de fevereiro de 1897 – Nova York, Estados Unidos, 21 de abril de 1954) foi um matemático polonês-estadunidense. (pt) Эмиль Леон Пост (англ. Post Emil Leon, 11 февраля 1897, Августов, Царство Польское, Российская империя) — 21 апреля 1954, Нью-Йорк, США) — американский математик и логик; один из основателей многозначной логики (1921); основные труды по математической логике: алгебра Поста, классы Поста функций алгебры логики; предложил абстрактную вычислительную машину — машину Поста. (ru) Еміль Леон Пост (пол. Emil Leon Post) (11 лютого 1897, Августув, Царство Польське — 21 квітня 1954, Нью-Йорк) — американський математик та логік, один із засновників багатозначної логіки; основні праці з математичної логіки: алгебра Поста, класи Поста функцій алгебри логіки; запропонував абстрактну обчислювальну машину — машину Поста. Найбільш відомий своїми досягненнями у теорії рекурсії. (uk) |
| dbo:academicDiscipline | dbr:Mathematics dbr:Logic |
| dbo:almaMater | dbr:Columbia_University dbr:City_College_of_New_York |
| dbo:birthDate | 1897-02-11 (xsd:date) |
| dbo:birthPlace | dbr:Congress_Poland dbr:Russian_Empire dbr:Augustów dbr:Suwałki_Governorate |
| dbo:deathDate | 1954-04-21 (xsd:date) |
| dbo:doctoralAdvisor | dbr:Cassius_Jackson_Keyser |
| dbo:knownFor | dbr:Principia_Mathematica dbr:Post's_lattice dbr:Post_correspondence_problem dbr:Post–Turing_machine dbr:Post's_theorem dbr:Post's_inversion_formula |
| dbo:thumbnail | wiki-commons:Special:FilePath/Emil_Leon_Post.jpg?width=300 |
| dbo:wikiPageExternalLink | https://inference-review.com/article/psychological-fidelity/ https://www.ams.org/journals/bull/1944-50-05/S0002-9904-1944-08111-1/home.html%7Ctitle=Recursively https://www.ams.org/journals/tran/1940-048-02/S0002-9947-1940-0002894-7/home.html%7Ctitle=Polyadic https://www.ams.org/notices/200805/ https://www.ualberta.ca/~francisp/papers/UrquhartPost.pdf https://www.maa.org/sites/default/files/321922608817.pdf.bannered.pdf https://archive.org/details/undecidablebasic00davi_950 https://archive.org/details/undecidablebasic00davi_950/page/n291 https://ghostarchive.org/varchive/youtube/20211221/ultMxODJE7o https://web.archive.org/web/20100820215747/http:/www.amphilsoc.org/mole/view%3FdocId=ead%2FMss.Ms.Coll.45-ead.xml https://www.youtube.com/watch%3Fv=ultMxODJE7o |
| dbo:wikiPageID | 362382 (xsd:integer) |
| dbo:wikiPageLength | 13759 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1121322789 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Cassius_Jackson_Keyser dbr:Princeton_University dbr:Principia_Mathematica dbr:N-ary_group dbr:List_of_pioneers_in_computer_science dbr:Depression_(mood) dbr:List_of_multiple_discoveries dbr:Post's_lattice dbr:Columbia_University dbr:Computability_theory dbr:Congress_Poland dbr:Mathematics dbr:Russian_Empire dbr:City_College_of_New_York dbr:Electroconvulsive_therapy dbr:Myocardial_infarction dbr:Theorem dbr:Arithmetical_hierarchy dbr:Logic dbr:Ludwig_Wittgenstein dbr:Functional_completeness dbr:Post_correspondence_problem dbr:Tag_system dbr:Many-one_reduction dbr:Mathematician dbr:Augustów dbc:1897_births dbc:1954_deaths dbc:20th-century_American_mathematicians dbc:American_people_of_Polish-Jewish_descent dbc:Columbia_University_alumni dbc:Congress_Poland_emigrants_to_the_United_States dbc:Mathematicians_from_New_York_(state) dbc:People_with_bipolar_disorder dbc:20th-century_Polish_people dbc:People_from_Augustów dbc:Townsend_Harris_High_School_alumni dbr:Townsend_Harris_High_School dbr:Truth_table dbr:Post_canonical_system dbr:Alan_Turing dbr:American_Mathematical_Society dbr:American_Philosophical_Society dbr:Formal_languages dbr:Halting_problem dbr:Jean_van_Heijenoort dbr:Tautology_(logic) dbc:City_College_of_New_York_faculty dbc:American_amputees dbr:Charles_Sanders_Peirce dbc:American_logicians dbc:Computability_theorists dbr:Suwałki_Governorate dbr:Modus_ponens dbr:Doctor_of_philosophy dbr:Post–Turing_machine dbr:Kurt_Gödel dbr:Recursively_enumerable_set dbr:Mathematics_Magazine dbr:Turing_machine dbr:Post's_theorem dbr:Logician dbr:Post's_inversion_formula dbr:Turing_degree dbr:Post's_problem dbr:Polish_Jews dbr:Formulation_1 dbr:Recursion_theory dbr:String_rewriting |
| dbp:almaMater | dbr:Columbia_University dbr:City_College_of_New_York |
| dbp:birthDate | 1897-02-11 (xsd:date) |
| dbp:birthPlace | dbr:Congress_Poland dbr:Russian_Empire dbr:Augustów dbr:Suwałki_Governorate (en) |
| dbp:deathDate | 1954-04-21 (xsd:date) |
| dbp:deathPlace | New York City, U.S. (en) |
| dbp:doctoralAdvisor | dbr:Cassius_Jackson_Keyser |
| dbp:field | dbr:Mathematics dbr:Logic |
| dbp:knownFor | dbr:Post's_lattice dbr:Post_correspondence_problem dbr:Post–Turing_machine dbr:Post's_theorem dbr:Post's_inversion_formula Completeness-proof of Principia's propositional calculus (en) |
| dbp:name | Emil Leon Post (en) |
| dbp:thesisTitle | Introduction to a General Theory of Elementary Propositions (en) |
| dbp:thesisYear | 1920 (xsd:integer) |
| dbp:wikiPageUsesTemplate | dbt:Authority_control dbt:Cbignore dbt:Citation dbt:Cite_book dbt:Cite_journal dbt:Cite_web dbt:IPAc-en dbt:Reflist dbt:Short_description dbt:Death_date_and_age dbt:Infobox_scientist |
| dbp:wordnet_type | http://www.w3.org/2006/03/wn/wn20/instances/synset-scientist-noun-1 |
| dbp:workInstitution | dbr:Princeton_University |
| dct:subject | dbc:1897_births dbc:1954_deaths dbc:20th-century_American_mathematicians dbc:American_people_of_Polish-Jewish_descent dbc:Columbia_University_alumni dbc:Congress_Poland_emigrants_to_the_United_States dbc:Mathematicians_from_New_York_(state) dbc:People_with_bipolar_disorder dbc:20th-century_Polish_people dbc:People_from_Augustów dbc:Townsend_Harris_High_School_alumni dbc:City_College_of_New_York_faculty dbc:American_amputees dbc:American_logicians dbc:Computability_theorists |
| gold:hypernym | dbr:Mathematician |
| schema:sameAs | http://viaf.org/viaf/41933673 |
| rdf:type | owl:Thing foaf:Person dbo:Person dul:NaturalPerson wikidata:Q19088 wikidata:Q215627 wikidata:Q5 wikidata:Q729 yago:WikicatAmericanComputerScientists yago:WikicatAmericanLogicians yago:WikicatAmericanMathematicians yago:WikicatAmericanPeople yago:WikicatAmericanPeopleOfPolish-JewishDescent yago:WikicatAmericanPhilosophers dbo:Animal dbo:Eukaryote dbo:Scientist dbo:Species yago:WikicatComputabilityTheorists schema:Person yago:WikicatLogicians yago:WikicatPeopleFromAugustów wikidata:Q901 yago:CausalAgent100007347 yago:ComputerScientist109951070 yago:ComputerUser109951274 yago:Expert109617867 yago:Intellectual109621545 yago:LivingThing100004258 yago:Logician110269785 yago:Mathematician110301261 yago:Object100002684 yago:Organism100004475 yago:Person100007846 yago:Philosopher110423589 yago:PhysicalEntity100001930 yago:YagoLegalActor yago:YagoLegalActorGeo yago:Scholar110557854 yago:Scientist110560637 yago:Theorist110706812 yago:Whole100003553 yago:Wikicat20th-centuryMathematicians yago:WikicatPeopleWithBipolarDisorder yago:WikicatPolishLogicians yago:WikicatPolishMathematicians yago:WikicatPolishPeople umbel-rc:PersonWithOccupation umbel-rc:Scientist |
| rdfs:comment | Emil Post (polonès: Emil Leon Post) (Augustów, 11 de febrer de 1897 - Nova York, 21 d'abril de 1954) va ser un matemàtic nord-americà, nascut al que actualment és Polònia. (ca) Emil Leon Post (11. února 1897 Augustów, Ruské impérium (v současnosti Polsko) – 21. dubna 1954 New York, USA) byl polsko-americký matematik a logik židovského původu. Je známý zejména díky svému přínosu v matematické logice, teorii vyčíslitelnosti a teorii formálních jazyků. (cs) إيميل ليون بوست عالم الرياضيات الأمريكي، ولد في الحادي عشر من فبراير 1879 في أوغسطوف (بالروسية: Augustów) الإمبراطورية الروسية (سابقا)/بولندا (حاليا) لأسرة يهودية وتوفي في 21 أبريل 1954. يعرف بالمشكلة المنسوبة إليه مشكلة بوست للتوافق. نشر أيضا سنة 1921 دراسة مستوفية عن المستنسخات (بالإنجليزية: ) في الجبر بعنصرين. (ar) Emil Leon Post (* 11. Februar 1897 in Augustów, Kongresspolen; † 21. April 1954 in New York, USA) war ein polnisch-US-amerikanischer Mathematiker und Logiker. (de) Emil Leon Post (/poʊst/; February 11, 1897 – April 21, 1954) was an American mathematician and logician. He is best known for his work in the field that eventually became known as computability theory. (en) Emil Leon Post (11 de febrero de 1897 en Augustów - 21 de abril de 1954 en Nueva York) fue un matemático estadounidense. Creó el sistema formal llamado Máquina de Post, el cual es equivalente a la Máquina de Turing. (es) Emil Leon Post (né le 11 février 1897 à Augustów et mort le 21 avril 1954 à New York) 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. Il a également publié en 1921 une étude exhaustive des clones des algèbres à deux éléments. (fr) Emil Leon Post (Augustów, 11 febbraio 1897 – New York, 21 aprile 1954) è stato un matematico e logico statunitense di origine polacca. (it) 에밀 레온 포스트(Emil Leon Post, 1897년 2월 11일 ~ 1954년 4월 21일)는 폴란드계 미국인 수학자, 논리학자이다. 계산가능성 이론 등에 공헌하였다. (ko) エミール・レオン・ポスト（英: Emil Leon Post、1897年2月11日 - 1954年4月21日）は、アメリカ合衆国の数学者、論理学者。 (ja) Emil Leon Post (Augustów, 11 februari 1897 - New York, 21 april 1954) was een Pools wiskundige en logicus. Hij is het meest bekend voor zijn werk op het gebied dat uiteindelijk zou uitgroeien tot de berekenbaarheidstheorie. (nl) Emil Leon Post (ur. 11 lutego 1897 w Augustowie, zm. 21 kwietnia 1954 w Nowym Jorku) – amerykański matematyk i logik pochodzenia żydowskiego pochodzący z terenów dzisiejszej Polski. (pl) Emil Leon Post (Augustów, Polônia do Congresso, no Império Russo (atual Polônia), 11 de fevereiro de 1897 – Nova York, Estados Unidos, 21 de abril de 1954) foi um matemático polonês-estadunidense. (pt) Эмиль Леон Пост (англ. Post Emil Leon, 11 февраля 1897, Августов, Царство Польское, Российская империя) — 21 апреля 1954, Нью-Йорк, США) — американский математик и логик; один из основателей многозначной логики (1921); основные труды по математической логике: алгебра Поста, классы Поста функций алгебры логики; предложил абстрактную вычислительную машину — машину Поста. (ru) Еміль Леон Пост (пол. Emil Leon Post) (11 лютого 1897, Августув, Царство Польське — 21 квітня 1954, Нью-Йорк) — американський математик та логік, один із засновників багатозначної логіки; основні праці з математичної логіки: алгебра Поста, класи Поста функцій алгебри логіки; запропонував абстрактну обчислювальну машину — машину Поста. Найбільш відомий своїми досягненнями у теорії рекурсії. (uk) Emil Leon POST [EMil LIan post] (naskiĝis la 11-an de februaro 1897, mortis la 21-an de aprilo, 1954) estis pola matematikisto kiu esploris aro-teorion kaj la teorion de komputado. Post naskiĝis en Augustów, Pollando. Li doktoriĝis ĉe la Universitato Columbia en 1920 per disertaĵokiu pruvis la koherecon de la priskribita en de Bertrand Russell kaj . Li aliĝis al la fakultato de Urba Universitato de Novjorko en 1932, kie li restis ĝis lia morto en 1954. Kvankam malsaneco daŭre interrompis lian karieron, Post grave kontribuis al la konceptoj de kompleteco kaj kaj al , fundamenta al moderna komputada teorio. En 1936, li enkondukis la koncepton de , enkondukaĵo al la nocio de programo fare de John von Neumann. (eo) 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 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. (sv) |
| rdfs:label | إيميل ليون بوست (ar) Emil Post (ca) Emil Leon Post (cs) Emil Leon Post (en) Emil Leon Post (de) Emil Post (eo) Emil Leon Post (es) Emil Leon Post (it) Emil Post (fr) 에밀 포스트 (ko) エミール・ポスト (ja) Emil Leon Post (pl) Emil Leon Post (nl) Emil Post (pt) Emil L. Post (sv) Пост, Эмиль Леон (ru) Еміль Пост (uk) |
| owl:sameAs | freebase:Emil Leon Post http://viaf.org/viaf/41933673 yago-res:Emil Leon Post http://d-nb.info/gnd/119134942 https://dblp.org/pid/10/1323 wikidata:Emil Leon Post http://data.bibliotheken.nl/id/thes/p137065523 dbpedia-ar:Emil Leon Post http://azb.dbpedia.org/resource/امیل_لئون_پست dbpedia-bg:Emil Leon Post dbpedia-ca:Emil Leon Post dbpedia-cs:Emil Leon Post dbpedia-de:Emil Leon Post dbpedia-eo:Emil Leon Post dbpedia-es:Emil Leon Post dbpedia-fa:Emil Leon Post dbpedia-fi:Emil Leon Post dbpedia-fr:Emil Leon Post dbpedia-he:Emil Leon Post http://hy.dbpedia.org/resource/Էմիլ_Լեոն_Պոստ dbpedia-it:Emil Leon Post dbpedia-ja:Emil Leon Post dbpedia-ko:Emil Leon Post dbpedia-nl:Emil Leon Post dbpedia-pl:Emil Leon Post dbpedia-pms:Emil Leon Post dbpedia-pt:Emil Leon Post dbpedia-ru:Emil Leon Post dbpedia-sk:Emil Leon Post dbpedia-sv:Emil Leon Post dbpedia-uk:Emil Leon Post https://global.dbpedia.org/id/3EzaM |
| prov:wasDerivedFrom | wikipedia-en:Emil_Leon_Post?oldid=1121322789&ns=0 |
| foaf:depiction | wiki-commons:Special:FilePath/Emil_Leon_Post.jpg |
| foaf:isPrimaryTopicOf | wikipedia-en:Emil_Leon_Post |
| foaf:name | Emil Leon Post (en) |
| is dbo:wikiPageRedirects of | dbr:E.L._Post dbr:Emil_Post dbr:Emil_L._Post dbr:E._L._Post dbr:E._Post |
| is dbo:wikiPageWikiLink of | dbr:N-ary_group dbr:Metalogic dbr:April_1954 dbr:April_21 dbr:List_of_Polish_people dbr:List_of_philosophers_(I–Q) dbr:List_of_philosophers_born_in_the_19th_century dbr:List_of_pioneers_in_computer_science dbr:Cyclic_negation dbr:Index_of_philosophy_articles_(D–H) dbr:Inverse_Laplace_transform dbr:List_of_logicians dbr:List_of_mathematicians_born_in_the_19th_century dbr:List_of_multiple_discoveries dbr:List_of_naturalized_American_citizens dbr:Post's_lattice dbr:Mathematical_logic dbr:Timeline_of_mathematical_logic dbr:Combinatorics_on_words dbr:Emil_(given_name) dbr:February_11 dbr:Functional_completeness dbr:Tag_system dbr:Many-valued_logic dbr:1954_in_science dbr:1954_in_the_United_States dbr:Augustów dbr:Truth_table dbr:Fuzzy_concept dbr:List_of_City_College_of_New_York_people dbr:Three-valued_logic dbr:Hilbert's_tenth_problem dbr:History_of_the_Church–Turing_thesis dbr:Logical_consequence dbr:List_of_Jewish_mathematicians dbr:List_of_Polish_Jews dbr:Post_(surname) dbr:Juris_Hartmanis dbr:Finite-valued_logic dbr:Simple_set dbr:Sheri_Markose dbr:Turing_degree dbr:E.L._Post dbr:Emil_Post dbr:Emil_L._Post dbr:E._L._Post dbr:E._Post |
| is foaf:primaryTopic of | wikipedia-en:Emil_Leon_Post |
