Computadores nas práticas matemáticas : um exercício de microhistória

• Autor(a) principal: Secco, Gisele Dalva
• Data de Publicação: 2016
• Tipo de documento: Artigo
• Idioma: por
• Título da fonte: Repositório Institucional da UFRGS
• Texto Completo: http://hdl.handle.net/10183/175135
• topic: Teorema das Quatro Cores; Matemática; Ciência da computação; Filosofia; Computer-assisted proofs; The four-colour theorem; Philosophy of mathematical practice; Georg Kreisel; Hao Wang

O uso de computadores em práticas matemáticas é tema para reflexões de teor filosófico, histórico e sociológico. Amostras da miríade de questões que surgem quando a matemática incorpora definitivamente os computadores em seu domínio podem ser extraídas da análise do peculiar caso da prova do Teorema das Quatro Cores. Invariavelmente as narrativas habituais acerca da instauração da relevância filosófica deste célebre resultado matemático pautam-se pelas questões levantadas a partir do argumento da introdução da experimentação na matemática, de Thomas Tymoczko. O objetivo deste texto é apresentar uma narrativa alternativamente circunstanciada, uma espécie de exercício de microhistória, como pano de fundo para o mapeamento de algumas questões filosoficamente relevantes que ainda podem ser instigadas pelo caso do Teorema das Quatro Cores. Pretende-se sustentar que a relevância deste caso não se reduz à de servir como ilustração de uma curiosidade histórica ou sociológica da matemática ou da ciência da computação, mas pode ainda ser fonte de problemas conceituais interessantes para a filosofia da prática matemática, na interface com a filosofia da ciência da computação.