A study about mathematical demonstration by/with computer

Authors

  • Rosemeire de Fatima Batistela State University of Feira de Santana - Feira de Santana/BA and Paulista State University - Rio Claro/SP
  • Taís Alves Moreira Barbariz PhD student at the Paulista State University Júlio de Mesquita Filho - Rio Claro / SP
  • Henrique Lazari State University of São Paulo Júlio de Mesquita Filho

DOI:

https://doi.org/10.5007/1981-1322.2016v11nespp204

Abstract

The subject mathematical demonstrations by/with computer arise of interest in knowing what a computer fosters the mathematical work. This led us to generating question of this study: how the computer can be used by mathematicians in the activity of demonstrate? Since then we has endeavored to know about the demonstration meaning of what a computer is and how these two pathways intersect in mathematical production. In this research we understand that the computer is allied with the mathematician and often in jobs that are not directly demonstrate, namely, decomposing problems in specific cases, verification and test conjectures, numerical calculations, simulations, iteration processes, graphics, experimentals approaches, among others. Furthermore, we understand that the computer next to the mathematical statement process can promote a dynamic start and restart, the game guess and move on. Thus, it has enabled the understanding and the formulation of new problems and conjectures, especially in cases with large amount of calculation. However, even performing some tasks, the computer never absolve the creative and intuitive presence of the mathematical demonstration process.

Author Biographies

Rosemeire de Fatima Batistela, State University of Feira de Santana - Feira de Santana/BA and Paulista State University - Rio Claro/SP

Rosemeire de Fatima Batistela cursou Licenciatura em Matemática pela UNESP - Universidade Estadual Paulista Júlio de Mesquita Filho (1998 - 2001). Fez mestrado em Educação Matemática na mesma Universidade (2003 - 2004). Trabalhou no ensino público no Ensino Fundamental e Médio no Estado de São Paulo entre os anos de 2001 a 2003. Desde 2005 trabalha como professora do Ensino Superior, principalmente em cursos de Licenciatura em Matemática e Pedagogia. Em 2006 começou a trabalhar também em cursos a distância de formação de professores de matemática. Tem experiência na área de Matemática e Educação Matemática. Atualmente atua como professora dedicação exclusiva assistente nível B da área de Educação Matemática do Departamento de Ciências Exatas da Universidade Estadual de Feira de Santana/BA. Participa do Grupo de Pesquisa Fenomenologia e Educação Matemática (FEM) e lidera em parceria o Grupo de Pesquisa Laboratório de Integração e Articulação entre Educação Matemática e Escola na UEFS (LIAPEME-UEFS). Ingressou no Doutorado em março de 2013.

Taís Alves Moreira Barbariz, PhD student at the Paulista State University Júlio de Mesquita Filho - Rio Claro / SP

Doutoranda em Educação Matemática pela UNESP Rio Claro (ingresso 2013), Mestre em Educação pela Universidade Federal de Juiz de Fora (2009), Especialista em Educação Matemática pela Universidade Federal de Juiz de Fora (2004), Especialista em Design Instrucional pela Universidade Federal de Itajubá (2011), Licenciada em Matemática pela Universidade do Estado do Rio de Janeiro (1999) e Bacharel em Ciências Estatísticas pela Escola Nacional de Ciências Estatísticas (1979)

Henrique Lazari, State University of São Paulo Júlio de Mesquita Filho

Possui graduação em Matemática pela Faculdade de Filosofia Ciências e Letras de Araraquara (1975), mestrado em Matemática pela Universidade Estadual de Campinas (1982) e doutorado em Engenharia Elétrica pela Universidade Estadual de Campinas (2000). Atualmente é professor assistente doutor ms-3 da Universidade Estadual Paulista Júlio de Mesquita Filho. Tem experiência na área de Matemática, com ênfase em Grupos de Álgebra Não Comutaviva, atuando principalmente nos seguintes temas: códigos, telecomunicações, álgebra e educação matemática.

Downloads

Published

2017-01-25

Issue

Vol. 11 (2016): Edição Especial: FILOSOFIA DA EDUCAÇÃO MATEMÁTICA

Section

Artigos

License

 

Authors hold the copyright and grant the journal the right for their articles' first publication, being their works simultaneously licensed under the Creative Commons Attribution License (CC BY), which allows the sharing of such works with its authorship acknowledged and its initial publication in this journal.

Authors are allowed to enter into separate additional contractual arrangements for the non-exclusive distribution of the journal's published version of the work (e.g., post it to an institutional repository or as a book chapter, with an acknowledgment of its initial publication in this journal).