Projetos de Pesquisa

 

Foto de perfil

Abel Lassalle Casanave

Ciências Humanas

Filosofia
  • o que é uma demonstração rigorosa?
  • O tema deste projeto é a evolução da noção epistêmica de demonstração rigorosa, principalmente, na história da matemática, mas também da lógica e da filosofia, e como as sucessivas etapas convergiram para a noção ou noções atuais de rigor matemático. Serão examinados três modos de compreender o que é uma demonstração rigorosa: a) uma demonstração rigorosa pode ser concebida como uma demonstração que não tenha lacunas ou rupturas, i.e., uma demonstração na qual nenhum elo da cadeia dedutiva permanece implícito; b) em um segundo sentido, uma demonstração rigorosa de um teorema matemático é uma prova que não inclui conceitos “estranhos” ao “conteúdo” do teorema; c) uma demonstração rigorosa é uma demonstração que evita toda referência a objetos matemáticos contraditórios ou passíveis de paradoxos.
  • Universidade Federal da Bahia - BA - Brasil
  • 18/02/2019-28/02/2022