| Processo: | 16/20480-5 |
| Modalidade de apoio: | Bolsas no Exterior - Estágio de Pesquisa - Doutorado |
| Data de Início da vigência: | 01 de março de 2017 |
| Data de Término da vigência: | 28 de fevereiro de 2018 |
| Área de conhecimento: | Ciências Humanas - Filosofia |
| Pesquisador responsável: | Marco Antonio Caron Ruffino |
| Beneficiário: | Tamires Dal Magro |
| Supervisor: | Jose Manuel Ferreiros Dominguez |
| Instituição Sede: | Instituto de Filosofia e Ciências Humanas (IFCH). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brasil |
| Instituição Anfitriã: | Universidad de Sevilla (US), Espanha |
| Vinculado à bolsa: | 14/23191-9 - Raciocínio formal e diagramático nas provas Euclidianas por redução ao absurdo, BP.DR |
| Assunto(s): | Filosofia da matemática |
| Palavra(s)-Chave do Pesquisador: | diagrams | Euclid | Mathematical practice | proofs | Filosofia da Matemática |
Resumo Nesta pesquisa desenvolverei análises recentes que consideram diagramas euclidianos como fontes confiáveis e legítimas de justificação, buscando apresentar quais são os tipos de inferências permitidas a partir deles e mostrar que provas euclidianas não deixam de ser rigorosas por utilizarem-se de tais recursos. Buscarei mostrar que os resultados desta análise traz implicações para uma concepção de prova mais completa e abrangente que a noção de prova puramente formal. | |
| Matéria(s) publicada(s) na Agência FAPESP sobre a bolsa: | |
| Mais itensMenos itens | |
| TITULO | |
| Matéria(s) publicada(s) em Outras Mídias ( ): | |
| Mais itensMenos itens | |
| VEICULO: TITULO (DATA) | |
| VEICULO: TITULO (DATA) | |