A conjectura de homogeneidade de Rogers, um problema de longa data sobre a ordem parcial dos graus de Turing, foi resolvida por Richard Arnold Shore. Nascido em 1946, estabeleceu que as estruturas dos graus de Turing acima de pontos específicos não são isomorfas, fornecendo uma resposta definitiva a uma questão que desafiava a comunidade lógica há décadas.
Antecedentes académicos
Shore completou a sua educação formal em duas instituições importantes, o Instituto Tecnológico de Massachusetts e a Universidade de Harvard. Estes anos de estudo prepararam-no para uma carreira centrada na teoria da recursão, um campo que examina a computabilidade das funções e a estrutura de problemas irresolúveis dentro da lógica matemática.
Contribuições para a lógica
Para além do seu trabalho na conjectura de Rogers, Shore colaborou com Theodore Slaman para provar a definibilidade do salto de Turing dentro da ordem parcial dos graus de Turing. A sua investigação centra-se frequentemente na complexidade estrutural destes graus, contribuindo para a compreensão matemática da computabilidade relativa e da hierarquia da irresolubilidade.
Nomeações profissionais e serviço
Ao longo da sua vida profissional, Shore manteve uma presença significativa na Universidade de Cornell, onde foi membro do corpo docente de 1983 a 2013. Também contribuiu para a administração da lógica através de vários cargos editoriais, incluindo os seus mandatos no Journal of Symbolic Logic entre 1984 e 1993 e no Bulletin of Symbolic Logic de 1993 a 2000.
Vinte perguntas, oito minutos no relógio e um percentil medido contra todos os que já fizeram. Sem cadastro.
Fazer o teste de QI →Reconhecimentos e prémios
Shore foi reconhecido pela comunidade matemática pelas suas contribuições para a área. Foi orador convidado no Congresso Internacional de Matemáticos realizado em Varsóvia em 1983, onde apresentou trabalhos sobre a ordenação de funções por computabilidade relativa. Em 2009, foi selecionado como conferencista Gödel, proferindo um discurso intitulado "Matemática inversa: o recreio da lógica". Tornou-se membro da Sociedade Matemática Americana em 2012.
Factos rápidos
- Nascimento: 1946 - Cidadania: Estados Unidos - Campo principal: Teoria da recursão - Instituição académica: Universidade de Cornell (1983-2013) - Conferencista Gödel: 2009 - Membro da Sociedade Matemática Americana: 2013
Perguntas frequentes
### Onde estudou Richard Shore?
Obteve as suas credenciais no Instituto Tecnológico de Massachusetts e na Universidade de Harvard.
### Qual é a principal área de investigação de Richard Shore?
É um lógico e matemático conhecido pelo seu trabalho na teoria da recursão e na ordem parcial dos graus de Turing.
