Emil Leon Post, Ph.D. , was a mathematician and logician.
| Property | Value |
|---|
| dbpedia-owl:Person/almaMater
| |
| dbpedia-owl:Person/birthDate
| |
| dbpedia-owl:Person/birthPlace
| |
| dbpedia-owl:Person/deathDate
| |
| dbpedia-owl:Person/deathPlace
| |
| dbpedia-owl:Person/knownFor
| |
| dbpedia-owl:almaMater
| |
| dbpedia-owl:birthDate
| |
| dbpedia-owl:birthPlace
| |
| dbpedia-owl:deathDate
| |
| dbpedia-owl:deathPlace
| |
| dbpedia-owl:knownFor
| |
| dbpedia-owl:thumbnail
| |
| dbpprop:abstract
|
- Emil Leon Post, Ph.D. , was a mathematician and logician.
- Emil Leon Post war ein polnisch-US-amerikanischer Mathematiker und Logiker.
- Emil Leon Post fue un matemático estadounidense de origen polaco especializado en lógica matemática. Entre sus aportaciones se encuentran la elaboración de un sistema para controlar la validez de las fórmulas de la lógica sentencial mediante las tablas de verdad. También propuso las lógicas polivalentes, introdujo el concepto de grado de indecidibilidad y creó el sistema formal llamado Máquina de Post, el cual es equivalente a la Máquina de Turing.
- Emil Leon Post était 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.
- エミール・レオン・ポスト（英: Emil Leon Post、1897年2月11日 - 1954年4月21日）は、数学者であり、論理学者。
- Emil Leon Post – polski matematyk i logik.
- Emil Leon Post, nascido em 11 de fevereiro de 1897 em Augustów, no Império Russo e falecido em 21 de abril de 1954 em Nova York, EUA. Os pais de Emil Post eram os poloneses judeus Arnold e Pearl Post. Ele nasceu e viveu seus sete primeiros anos de vida com os pais na Polônia, na época sob o jugo da Rússia. Em maio de 1904, sua família, na esperança de uma vida melhor, emigrou para os Estados Unidos, se fixando em Nova York. Emil foi uma criança extraordinariamente brilhante, mas um trágico acidente em sua infância lhe custou um braço e problemas mentais bem sérios com os quais conviveu por toda a sua vida adulta. Foi disponibilizada uma bolsa escolar para Emil na Townsend Harris High School, uma escola secundarista para alunos com talentos especiais, que se situava no mesmo local que o College of the City of New York. Após a conclusão do curso secundário, Post permaneceu no mesmo campus, continuando seus estudos na referida faculdade. Apesar de hoje ser considerado como especialista em Lógica Matemática, Emil se interessou primeiramente pela Astronomia. No entanto, durante seus estudos de Matemática no College of the City of New York, acabou por ser atraído pelas questões de Lógica. Ainda como graduando na faculdade ele escreveu seu primeiro artigo sobre Diferenciação Generalizada. A questão proposta foi fascinante: o que o operador diferencial <math>D^{n}</math> significa se n não for um número inteiro? Entretanto, como o escreveu enquanto ainda era um graduando, Post não enviou seu artigo para análise junto ao American Mathematical Society até 1923, e o mesmo não foi publicado até 1930. Ele continha uma idéia realmente relevante, provando um resultado importante sobre a inversa da Transformada de Laplace. Essa publicação apareceu bem após a graduação de Post como bacharel pelo City College em 1917. Após a graduação como bacharel, Post iniciou a pós-graduação na Columbia University. Um evento significativo para a carreira de Post foi a publicação do Principia Mathematica, de Bertrand Russell e Alfred North Whitehead. O primeiro volume do Principia Mathematica foi publicado em 1910, o segundo em 1912, e o terceiro em1913. Quando Post iniciou seus estudos de graduação, o projeto estava em pleno desenvolvimento, e Post participou de um seminário de Cassius J Keyser em Columbia sobre o Principia Mathematica. Post foi agraciado com o grau de Mestre em 1918 e de Ph.D. em 1920. Sua tese de doutorado foi sobre lógica matemática, e o discutiremos mais profundamente em um momento, mas primeiro nos permita dizer que Post escreveu um segundo artigo como monografia para a pós-graduação, que foi publicado antes do primeiro artigo, que foi um curto trabalho sobre a equação funcional da Função Gama. Voltemos à tese de doutorado de Post, na qual ele provou a completude e a consistência do cálculo proposicional descrito no Principia Mathematica através da introdução do método da tabela verdade. Ele então generalizou este seu método, que era baseado nos dois valores "verdadeiro" e "falso", para um método que tinha um número finito arbitrário de valores verdadeiros. O final, e talvez a mais marcante inovação de Post, foi a introdução em sua tese de um modelo para sistemas de lógica como sistemas de inferência baseados em um processo finito de manipulação de símbolos. Assim, o sistema lógico proposto por Post produz, na terminologia atual, um conjunto de palavras recursivelmente enumerável em um alfabeto finito. Poderíamos imparcialmente dizer que a tese de Post marcou o nascimento da Teoria da Prova. Depois de seu doutoramento, Post foi para a Princeton University, onde permaneceu por uma ano como supervisor assistente. Ele retornou para a Columbia University e, logo após sua volta, ele teve seu primeiro surto de uma doença que se repetiu ao longo de sua carreira e limitou o que ele poderia ter alcançado. Como :<math>Davis^{1}</math> escreveu: "Ele sofreu por toda a sua vida adulta de um distúrbio incapacitante maníaco-depressivo em uma época em que não havia tratamentos com medicamentos disponíveis para o seu mal. " 1. M Davis, Emil L Post : His life and work, in M Davis (ed. ), Solvability, provability, definability : the collected works of Emil L Post (Boston, MA, 1994), xi-xxviii.
- Пост, Эмиль Леон — американский математик и логик; один из основателей многозначной логики; основные труды по математической логике: алгебра Поста, классы Поста функций алгебры логики; предложил абстрактную вычислительную машину — машину Поста.
- Еміль Пост (пол. Emil Leon Post) — польсько-американський математик та логік. Вніс суттєвий вклад у формування теорії обчислюваності.
|
| dbpprop:almaMater
| |
| dbpprop:birthPlace
| |
| dbpprop:dateOfDeath
| |
| dbpprop:deathPlace
| |
| dbpprop:field
| |
| dbpprop:hasPhotoCollection
| |
| dbpprop:knownFor
| |
| dbpprop:name
| |
| dbpprop:otherpeople4Property
|
- Emily Post
- the logician
- the writer on etiquette
|
| dbpprop:reference
| |
| dbpprop:wikiPageUsesTemplate
| |
| dbpprop:wordnet_type
| |
| rdf:type
| |
| rdfs:comment
|
- Emil Leon Post, Ph.D. , was a mathematician and logician.
- Emil Leon Post war ein polnisch-US-amerikanischer Mathematiker und Logiker.
- Emil Leon Post fue un matemático estadounidense de origen polaco especializado en lógica matemática. Entre sus aportaciones se encuentran la elaboración de un sistema para controlar la validez de las fórmulas de la lógica sentencial mediante las tablas de verdad. También propuso las lógicas polivalentes, introdujo el concepto de grado de indecidibilidad y creó el sistema formal llamado Máquina de Post, el cual es equivalente a la Máquina de Turing.
- Emil Leon Post était 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.
- エミール・レオン・ポスト（英: Emil Leon Post、1897年2月11日 - 1954年4月21日）は、数学者であり、論理学者。
- Emil Leon Post – polski matematyk i logik.
- Emil Leon Post, nascido em 11 de fevereiro de 1897 em Augustów, no Império Russo e falecido em 21 de abril de 1954 em Nova York, EUA. Os pais de Emil Post eram os poloneses judeus Arnold e Pearl Post. Ele nasceu e viveu seus sete primeiros anos de vida com os pais na Polônia, na época sob o jugo da Rússia. Em maio de 1904, sua família, na esperança de uma vida melhor, emigrou para os Estados Unidos, se fixando em Nova York.
- Пост, Эмиль Леон — американский математик и логик; один из основателей многозначной логики; основные труды по математической логике: алгебра Поста, классы Поста функций алгебры логики; предложил абстрактную вычислительную машину — машину Поста.
- Еміль Пост (пол. Emil Leon Post) — польсько-американський математик та логік. Вніс суттєвий вклад у формування теорії обчислюваності.
|
| rdfs:label
|
- Emil Leon Post
- Emil Leon Post
- Emil Leon Post
- Emil Post
- Emil Leon Post
- エミール・ポスト
- Emil Leon Post
- Emil Post
- Пост, Эмиль Леон
- Пост Еміль
|
| owl:sameAs
| |
| skos:subject
| |
| foaf:depiction
| |
| foaf:name
| |
| foaf:page
| |
| is dbpprop:redirect
of | |
| is owl:sameAs
of | |
![[RDF Data]](/statics/sw-cube.png)
