Um estudo sobre demonstração matemática por/com computador
Tipo de documento
Lista de autores
Batistela, Rosemeire de Fatima, Moreira, Taís y Lazari, Henrique
Resumen
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.
Fecha
2016
Tipo de fecha
Estado publicación
Términos clave
Computadores | Gráfica | Planteamiento de problemas | Tareas | Usos o significados
Enfoque
Idioma
Revisado por pares
Formato del archivo
Volumen
11
Rango páginas (artículo)
204-215
ISSN
19811322
Referencias
ÁVILA, Artur. Entrevista com Artur Ávila. Entrevistadora: Marília Gabriela. Rio de Janeiro. 1 arquivo de vídeo. Entrevista concedida ao programa Marília Gabriela Entrevista do canal GNT, programa exibido em 12 de abril de 2015. 2015. BICUDO, Irineu. Demonstração em Matemática. Bolema, Ano 15, n. 18, p. 79-90, 2002. BICUDO, Maria Aparecida Viggiani. (org). Filosofia da Educação Matemática: fenomenologia, concepções, possibilidades didático-pedagógicas. São Paulo: editora UNESP, 2010. BOURBAKI, Nicolas. The Architecture of Mathematics. The American Mathematical Monthly. Whashington, US. v. 57, n. 4, p. 221-232. apr. 1950. COPELAND, Brian Jack; SHAGRIR, Oron. Turing versus Gödel on computability and the mind. In: COPELAND, Brian Jack; POSY, Carl J.; SHAGRIR, Oron. (Orgs). Computability: Turing, Gödel, Church and Beyond. London: The MIT Press, p. 1-33, 2013. DOMINGUES, Higino H. A Demonstração ao Longo dos Séculos. Bolema. Ano 15, n. 18, p. 55-67, 2002. GÖDEL, Kurt. Acerca das Proposições Formalmente Indecidíveis dos Principia Mathematica e Sistemas Correlatos. In: LOURENÇO, Manuel. (org.). O Teorema de Gödel e a Hipótese do Contínuo. Lisboa: Fundação Calouste Gulberkian, 1977. p. 245-290. LIMA, Arlete Cerqueira. Lógica formal: origens e aplicações. Salvador: Quarteto, 2010. PONTE, João Pedro; CANAVARRO, Ana Paula. Matemática e novas tecnologias. Lisboa: Universidade Aberta, 1997. TURING, Alan. On Computable Numbers, with an Application to the Entscheidungsproblem. In: Proceedings of the London Mathematical Society. Oxford, Inglaterra, GB. Series 2, 42, p. 230-265, 1936.