Emil Post

Origem: Wikipédia, a enciclopédia livre.

Emil Leon Post, nascido em 11 de fevereiro de 1897 em Augustów, no Império Russo (atual Polônia) 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 :Dⁿ 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 da Russell and Whitehead's Principia Mathematica. 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 :Davis¹ 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.