About: Emil Leon Post     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : umbel-rc:Scientist, within Data Space : dbpedia.org associated with source document(s)
QRcode icon
http://dbpedia.org/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FEmil_Leon_Post

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.

AttributesValues
rdf:type
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)
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)
foaf:name
  • Emil Leon Post (en)
name
  • Emil Leon Post (en)
foaf:depiction
  • http://commons.wikimedia.org/wiki/Special:FilePath/Emil_Leon_Post.jpg
birth place
death place
  • New York City, U.S. (en)
death date
birth place
birth date
dcterms:subject
Faceted Search & Find service v1.17_git139 as of Feb 29 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 08.03.3330 as of Mar 19 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (378 GB total memory, 50 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software