Recursividade em física

• Processo: 92/00984-2
• Modalidade de apoio: Bolsas no Exterior - Pesquisa
• Data de Início da vigência: 24 de junho de 1992
• Data de Término da vigência: 23 de julho de 1992
• Área de conhecimento: Ciências Humanas - Filosofia - Lógica
• Pesquisador responsável: Newton Carneiro Affonso da Costa
• Beneficiário: Newton Carneiro Affonso da Costa
• Pesquisador Anfitrião: Herbert B. Enderton
• Instituição Sede: Instituto de Filosofia e Ciências Humanas (IFCH). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brasil
• Instituição Anfitriã: University of California, Los Angeles (UCLA), Estados Unidos
• Assunto(s): Física Recursão Axiomatização
• Palavra(s)-Chave do Pesquisador: Axiomatizacao Da Fisica | Decidibilidade | Logica Da Fisica | Recursao

Resumo

Nos últimos cinco anos (vide nota de “Nature” e artigo anexos) desenvolvemos, com o Prof. Francisco A. Doria, da Universidade Federal do Rio de Janeiro, e alguns outros colaboradores, pesquisas em fundamentos lógicos da física, quem tem tido grande repercussão internacional. Durante nosso estágio na UCLA, tencionamos resolver certos problemas abertos, com o auxílio de pesquisadores dessa universidade, espacialmente com o Prof. H.B. Enderton, que é uma das maiores autoridades do mundo na área da teoria da recursão. (AU)