| Processo: | 05/55231-0 |
| Modalidade de apoio: | Auxílio à Pesquisa - Publicações científicas - Livros |
| Data de Início da vigência: | 01 de novembro de 2005 |
| Data de Término da vigência: | 31 de outubro de 2006 |
| Área do conhecimento: | Ciências Humanas - Filosofia - Lógica |
| Pesquisador responsável: | Walter Alexandre Carnielli |
| Beneficiário: | Walter Alexandre Carnielli |
| Instituição Sede: | Centro de Lógica, Epistemologia e História da Ciência (CLE). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brasil |
| Assunto(s): | Teorema de Godel's |
| Palavra(s)-Chave do Pesquisador: | Computabilidade | Funcoes Recursivas | Indecibilidade | Logica | Teoremas De Godel |
| Matéria(s) publicada(s) na Agência FAPESP sobre o auxílio: |
| Mais itensMenos itens |
| TITULO |
| Matéria(s) publicada(s) em Outras Mídias ( ): |
| Mais itensMenos itens |
| VEICULO: TITULO (DATA) |
| VEICULO: TITULO (DATA) |