Emil
Post(1897 – 1954 ) filho de Arnold Post e Pearl Post,
nasceu na Polania e viveu la ate os 7 anos de
idade,quando se mudaram para Eua em 1904, mais
precisamente em Nova York.Ele frenquentou a escola
Townsend Harris High School em Nova York para criancas
supedotadas e depois a Universidade da cidade de Nova
York
Nos pensamos de Post como um
logicista Matematico, mas seu primeiro assunto que o
atraiu foi Astronomia. Ainda estudando na Faculdade ele
ja comecava a dar sinais que era “atraído” na área da
Lógica e também ainda na faculdade ele escreveu seu
primeiro artigo que falava da Diferenciação
Generalizada.A questão abordada era fascinante: o que um
fator diferencial Dn significa qdo
n nao é uma integral? Esse artigo nao fora
mandado para a Sociedade Americana de Matematicos ate
1930, sete anos depois de ser escrito. Ele contem uma
importante idéia,ele prova um importante resultado sobre
inverter a trasformada de
Laplace.
Após conseguir
seu primeiro dilploma, Post continuou seus estudos na
universidade de Columbia, na sua Pos Graduação.Agora um
significante evento para sua carreira foi a publicação
de
Russell
and
Whitehead's
Principia Mathematica. Seu primeiro volume de
Principia Mathematica foi publicado em 1910, o
Segundo em 1912 e o ultimo em 1913.quando Post começou
sua graduação ele participou de um seminário na
Universidade de Columbia de Cassius J Keyser's que
estudava Principia Mathematica. Post galgou o
diploma de A.M. em 1918 e seu Ph.D. in 1920. Sua tese
de Ph.D. foi sobre logica matemática, consistia na
integralidade e consistentencia do calculo proposional
descrito na Principia Mathematica na introdução
da tabela verdade no método. Depois ele generalizou o
método de sua tabela verdade, que era baseada em dois
valores, “Verdadeiro” e ”Falso”, para um método que
tinha um numero arbitrário finito de valores
Verdadeiros. No final e talvez a mais renomada nova
idéia que post introduziu na sua tese was to give a
framework for systems of logic as inference systems
based on a finite process of manipulation of symbols.
Como o sistema logica q Post propos produz, em
terminologia atual,um conjunto de palavras
recursivamente enumeravel em um alfabeto finito.
Depois de receber seu doutorado, post foi para Princeton
e depois retornou a Columbia e pouco tempo depois teve
seu primeiro surto de sua doença(ele era maniaco
depressive), com isso sua carreira e seus estudos
tiveram um limite bem inferior o qual poderiam chegar
]
Casou-se com Gertrude Singer em 1929 e tiveram uma
filha somente Phyllis, e morreu ao 57 anos quase certo
de que fora consequencia do tratamento recebido de sua
doença(ela era tratada com tratamento de
choque).Acreditava –se na época que com esse tratamento
os doentes teroa, mais tempo com o estado mentao normal
do q outro qq outro tratamento
. Post recebeu esse
tratamento inumeras vezes enquanto estava internado numa
instituicao mentel, e foi pouco depois de 1 desses
tratamentos q Post sofreiu um aaque cardíaco e morreu.
Mas voltando aos seus triunfus. Nos anos 20 ele chegou a
resultados similares aos que
Gödel,
Church
e
Turing
discubriram depois mas nao os publicou pq pensava que
precisava uma analise mais completa para que tivesse
aceitação. Ele tb fez um estiudo matemáticao da lógica
de
Lukasiewicz's
e muitos outros mais. Ele foi um Matemático, logigicista
muito a frente de sua época que teve suas conquistas
diminuídas devido a sua morte prematura aos 57 anos.
|