Search

A Filosofia da Matemática durante muito tempo dedicou-se a aspectos ontológicos e epistemológicos para explicar os objetos da Matemática, área do conhecimento que costuma ser, tanto no ambiente escolar como no cotidiano, entendida como um reduto de conceitos universalmente e eternamente verdadeiros, cuja certeza é garantida pela estrutura lógica do sistema formal a partir do qual é construída e representada. Desde o século passado, no entanto, aspectos da prática matemática como a intuição, a criatividade e o recurso a representações que ultrapassam a simbologia normativa são objeto de estudo da Filosofia da Prática Matemática, que compreende a matemática como um produto da ação humana e, dessa forma, dependente de questões sociais, culturais e psicológicas, tanto em âmbito coletivo como particular. A partir de pesquisa bibliográfica apoiada em autores que se dedicam contemporaneamente a essa temática, são apresentadas considerações sobre os aspectos extralógicos no processo individual do matemático britânico Andrew Wiles que culminou na escrita formal e rigorosa da demonstração do Último Teorema de Fermat – importante proposição do estudo de números e equações algébricas – realizada 358 anos após sua formulação, reconhecendo que nenhuma demonstração de teoremas matemáticos e, em especial essa produção estudada, pode ser entendida apenas pela análise restrita da argumentação dedutiva e do formalismo simbólico.

A Filosofia da Matemática durante muito tempo dedicou-se a aspectos ontológicos e epistemológicos para explicar os objetos da Matemática, área do conhecimento que costuma ser, tanto no ambiente escolar como no cotidiano, entendida como um reduto de conceitos universalmente e eternamente verdadeiros, cuja certeza é garantida pela estrutura lógica do sistema formal a partir do qual é construída e representada. Desde o século passado, no entanto, aspectos da prática matemática como a intuição, a criatividade e o recurso a representações que ultrapassam a simbologia normativa são objeto de estudo da Filosofia da Prática Matemática, que compreende a matemática como um produto da ação humana e, dessa forma, dependente de questões sociais, culturais e psicológicas, tanto em âmbito coletivo como particular. A partir de pesquisa bibliográfica apoiada em autores que se dedicam contemporaneamente a essa temática, são apresentadas considerações sobre os aspectos extralógicos no processo individual do matemático britânico Andrew Wiles que culminou na escrita formal e rigorosa da demonstração do Último Teorema de Fermat – importante proposição do estudo de números e equações algébricas – realizada 358 anos após sua formulação, reconhecendo que nenhuma demonstração de teoremas matemáticos e, em especial essa produção estudada, pode ser entendida apenas pela análise restrita da argumentação dedutiva e do formalismo simbólico.

Não é raro que jogos digitais possuam finais secretos, passagens secretas, personagens secretos… mas quem poderia imaginar que também houvessem teoremas secretos? Reconhecendo a importância de se desenvolver nos cidadãos uma apreciação da Matemática tanto por seus aspectos estéticos como recreativos, identificamos propriedades do jogo digital Super Bomberman que podem ser definidas como teoremas Matemáticos e demonstradas analiticamente. Dessa forma, apresentamos 5 teoremas referentes ao jogo com suas respectivas demonstrações. Esperamos assim contribuir com uma estratégia para produção de materiais replicáveis a diversos jogos digitais, que permitam trazer aos jogadores, acostumados com os ambientes descontraído de um jogo digital recreativo, a mesma Matemática tida como séria e formal dentro da academia.

Este artigo tem por objetivo enfatizar a conexão existente entre Matemática tradicional e Matemática aplicada através do tema volume da esfera. Nele, procuramos abordar o tema nas duas principais direções: forma axiomática e forma aplicada (via atividades propostas). Tal fato diferencia esta das demais leituras dos livros didáticos nacionais do ensino básico, visto que, a maior parte deles opta pelo caminho da informalidade intuitiva.

Nas edições de 2012 e 2015, o Programa Internacional de Avaliação de Estudantes (Pisa) tem destacado a baixa habilidade para o raciocínio lógico dos estudantes brasileiros, os quais, aparentemente, raciocinam de forma linear, ou seja, não conseguem realizar inferências a partir de abstrações mínimas. Ademais, a última edição do Pisa divulgou uma vertiginosa queda na média dos estudantes na área de matemática. A partir deste cenário, pudemos estabelecer frentes de investigação vinculadas ao Projeto de Extensão “Raciocínio lógico, analítico e quantitativo: uma ferramenta para a inclusão racional” realizado pelo Departamento de Matemática da Faculdade de Ciências da Unesp, câmpus de Bauru. Neste artigo, mostraremos como a aquisição de elementos de raciocínio lógico, particularmente, inferências via condicionais, previamente adquiridos, pode contribuir na capacidade do aluno em resolver problemas lógicos/matemáticos aplicados em situações do cotidiano, e isto é precisamente o objetivo maior das avaliações do Pisa.

O presente artigo é parte de uma investigação que buscou elencar dificuldades relacionadas às formas de demonstrações matemáticas evidenciadas em registros escritos de graduandos do curso de matemática de uma universidade norte paranaense em tarefas abordando conjuntos e funções. A discussão e as análises ocorreram apoiando-se em tipos de demonstrações e em processos de desenvolvimento do pensamento matemático avançado, verificando que os processos de representação foram mais evidenciados que os de abstração. Concluiu-se que as dificuldades evidenciadas nos registros escritos dos participantes da pesquisa foram: a escolha da forma de demonstração, dificuldades inerentes ao conteúdo e à escrita na linguagem matemática ou materna.

O presente artigo é parte de uma investigação que buscou elencar dificuldades relacionadas às formas de demonstrações matemáticas evidenciadas em registros escritos de graduandos do curso de matemática de uma universidade norte paranaense em tarefas abordando conjuntos e funções. A discussão e as análises ocorreram apoiando-se em tipos de demonstrações e em processos de desenvolvimento do pensamento matemático avançado, verificando que os processos de representação foram mais evidenciados que os de abstração. Concluiu-se que as dificuldades evidenciadas nos registros escritos dos participantes da pesquisa foram: a escolha da forma de demonstração, dificuldades inerentes ao conteúdo e à escrita na linguagem matemática ou materna.

Este artigo visa a descrever o processo de construção de demonstrações em geometria mediante a utilização do software educacional Cabri-géomètre. Este software permite ao usuário a construção e manipulação de objetos geométricos via mouse. Esta pesquisa foi desenvolvida com alunos do terceiro ano do curso de Licenciatura em Matemática da Universidade Federal do Paraná. O trabalho foi operacionalizado em uma sessão individual da seguinte forma: primeiramente fez-se umafamiliarização com os recursos do software e, em seguida, apresentou-se uma questão com vistas a obter a elaboração de uma conjetura e uma demonstração escrita. Na entrevista foi deixada livre a possibilidade do uso do software. Os dados coletados foram analisados qualitativamente, buscando uma maior compreensão da aprendizagem de demonstrações de teoremas, como processo. Para fundamentar esta análise percorreu-se um referencial teórico de informática na Educação Matemática e, com maior detalhamento, do ensino e aprendizagem de demonstrações em matemática. De acordo com o referencial teórico adotado, acreditamos que a conclusão desta pesquisa pode auxiliar a busca por metodologias alternativas para o ensino de demonstrações em matemática, possibilitando uma melhor experiência de aprendizagem do futuro professor, como aluno de graduação.

Este artigo visa a descrever o processo de construção de demonstrações em geometria mediante a utilização do software educacional Cabri-géomètre. Este software permite ao usuário a construção e manipulação de objetos geométricos via mouse. Esta pesquisa foi desenvolvida com alunos do terceiro ano do curso de Licenciatura em Matemática da Universidade Federal do Paraná. O trabalho foi operacionalizado em uma sessão individual da seguinte forma: primeiramente fez-se umafamiliarização com os recursos do software e, em seguida, apresentou-se uma questão com vistas a obter a elaboração de uma conjetura e uma demonstração escrita. Na entrevista foi deixada livre a possibilidade do uso do software. Os dados coletados foram analisados qualitativamente, buscando uma maior compreensão da aprendizagem de demonstrações de teoremas, como processo. Para fundamentar esta análise percorreu-se um referencial teórico de informática na Educação Matemática e, com maior detalhamento, do ensino e aprendizagem de demonstrações em matemática. De acordo com o referencial teórico adotado, acreditamos que a conclusão desta pesquisa pode auxiliar a busca por metodologias alternativas para o ensino de demonstrações em matemática, possibilitando uma melhor experiência de aprendizagem do futuro professor, como aluno de graduação.