| 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)
|
| 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)
|
