Um estudo sobre demonstração matemática por/com computador
DOI:
https://doi.org/10.5007/1981-1322.2016v11nespp204Resumo
O tema demonstrações matemáticas por/com computador surge do interesse em conhecermos o que um computador fomenta no trabalho do matemático. Isso nos levou à pergunta geradora desse estudo: como o computador pode ser utilizado pelos matemáticos na atividade de demonstrar? A partir daí, empenhou-se em conhecer acerca do significado de demonstração, do que é um computador e como ambas se interceptam na produção do matemático. Nesta busca compreendemos que o computador é aliado do matemático e muitas vezes em tarefas que não são diretamente demonstrar, quais sejam, em decomposição de problemas em casos específicos, verificação e teste de conjecturas, cálculos numéricos, simulações, processos de iteração, imagens gráficas, abordagens experimentais, entre outras. Além disso, compreendemos que o computador junto ao matemático no processo demonstrativo pode promover uma dinâmica de iniciar e reiniciar, no jogo de conjecturar e avançar. Desse modo, ele tem possibilitado a compreensão e a formulação de novos problemas e conjecturas, principalmente em casos com grande quantidade de cálculo. No entanto, mesmo realizando algumas tarefas, o computador nunca exime a presença criativa e a intuição do matemático no processo de demonstração.
Downloads
Publicado
Edição
Seção
Licença
Autores mantêm os direitos autorais e concedem à revista o direito de primeira publicação, com o trabalho simultaneamente licenciado sob a Licença Creative Commons Atribuição 4.0 Internacional (CC BY) que permite o compartilhamento do trabalho com reconhecimento da autoria e publicação inicial nesta revista.
Autores têm autorização para assumir contratos adicionais separadamente, para distribuição não exclusiva da versão do trabalho publicada nesta revista (ex.: publicar em repositório institucional ou como capítulo de livro, com reconhecimento de autoria e publicação inicial nesta revista).