WebQuest - Teoria da Computação
 
Emil Post
Maquina de Post
Computabilidade
IA
 
Grupo
Bibliografia
Home

 
 
 
 
Emil Post
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 D 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.