Computabilidade e Indecidibilidade

• Processo: 07/08722-4
• Modalidade de apoio: Bolsas no Brasil - Iniciação Científica
• Data de Início da vigência: 01 de maio de 2008
• Data de Término da vigência: 31 de dezembro de 2008
• Área de conhecimento: Ciências Exatas e da Terra - Ciência da Computação - Teoria da Computação
• Pesquisador responsável: Walter Alexandre Carnielli
• Beneficiário: Igor Carboni Oliveira
• Instituição Sede: Centro de Lógica, Epistemologia e História da Ciência (CLE). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brasil
• Vinculado ao auxílio: 04/14107-2 - Logical consequence and combinations of logics: fundaments and efficient applications, AP.TEM
• Assunto(s): Lógica matemática Indecidibilidade
• Palavra(s)-Chave do Pesquisador: Computabilidade | Decidibilidade | Indecidibilidade | Lógica Matemática | Computabilidade

Resumo

Pretendemos estudar certos tópicos avançados de computabilidade e indecidibilidade, envolvendo teorias lógicas e problemas decidíveis e indecidíveis importantes da matemática, lógica e ciência da computação.