Emil Leon Post chegou a uma conclusão sobre a completude do cálculo proposicional em 1921, mapeando efetivamente os fundamentos lógicos de Principia Mathematica. Sua carreira evoluiu através de pesquisas matemáticas significativas nos Estados Unidos, abrangendo desde seus primeiros estudos de doutorado na Universidade de Columbia até seu cargo de professor de longa data no City College de Nova York.
Base Acadêmica
Nascido em Augustów em 1897, Post mudou-se para a cidade de Nova York quando criança. Ele frequentou a Townsend Harris High School e completou seu bacharelado no City College de Nova York antes de obter seu doutorado na Universidade de Columbia em 1920, sob a supervisão de Cassius Jackson Keyser. Sua trajetória profissional inicial incluiu um ano de pós-doutorado na Universidade de Princeton, seguido de passagens pela Universidade de Cornell e ensino em escolas secundárias antes de garantir uma nomeação docente no City College de Nova York em 1932.
Lógica e Computabilidade
Post desenvolveu independentemente tabelas de verdade e expandiu a teoria das proposições elementares. Em 1936, ele formulou um modelo de computação equivalente à máquina de Turing, agora referenciado como a máquina de Post-Turing. Seu trabalho sobre sistemas canônicos, publicado em 1943, estabeleceu métodos para reescrita de strings que permanecem fundamentais para o design moderno de linguagens de programação. Em 1946, ele introduziu o problema da correspondência de Post para demonstrar a indecidibilidade em linguagens formais.
Grupos Poliádicos e o Problema de Post
Além de suas contribuições à computabilidade, Post conduziu pesquisas extensas sobre grupos poliádicos, ou n-ários. Seu artigo de 1940 forneceu um teorema fundamental provando que tais estruturas poderiam ser expressas via operações de grupo padrão. Mais tarde, em um discurso à American Mathematical Society em 1944, ele propôs uma questão sobre a existência de um conjunto recursivamente enumerável não computável com um grau de Turing inferior ao problema da parada, um desafio agora conhecido como problema de Post.
Vinte perguntas, oito minutos no relógio e um percentil medido contra todos os que já fizeram. Sem cadastro.
Fazer o teste de QI →Gestão da Saúde
Começando durante seu tempo em Princeton, Post lutou contra ataques maníacos. Seguindo conselhos médicos, ele limitou a duração de sua pesquisa diária a não mais que três horas. Ele foi casado com Gertrude Singer em 1929, com quem teve uma filha, Phyllis Post Goodman. Post morreu de um ataque cardíaco na cidade de Nova York em 1954, após receber tratamento de eletrochoque para depressão, e foi enterrado no Cemitério Mount Hebron.
Fatos rápidos
- Nascimento: 1897, Augustów - Falecimento: 1954, Nova York - Educação: City College de Nova York, Universidade de Columbia - Cônjuge: Gertrude Singer - Filha: Phyllis Post Goodman - Contribuição chave: Problema da correspondência de Post - Local de descanso final: Cemitério Mount Hebron
Perguntas que os leitores fazem
### Qual foi a importância da tese de 1921?
Ela provou que o cálculo proposicional de Principia Mathematica era completo, o que significa que todas as tautologias eram teoremas.
### Post descobriu o teorema da incompletude de Gödel primeiro?
Post esteve perto da descoberta enquanto estava em Princeton em 1921, mas não publicou suas ideias naquela época.
.jpg)
