Imre Lakatos foi um filósofo da matemática e das ciências de renome internacional, tem normalmente seu nome relacionado aos chamados programas de pesquisa, termo cunhado pelo mesmo para descrever como se dá o avanço das ciências. Neste trabalho, contudo, buscamos abordar a concepção do mesmo frente a sua filosofia da matemática, explorando um pouco seu livro: “A lógica do desenvolvimento matemático: provas e refutaçõesâ€, livro esse publicado após sua morte e baseado em sua tese de doutorado. Buscamos estabelecer como a heurÃstica da lógica do desenvolvimento da matemática proposta por Imre Lakatos a respeito das demonstrações matemáticas podem contribuir mais significativamente do que o modelo euclidiano dedutivo no ensino de matemática ao se trabalhar com provas e demonstrações. Destacamos que as bibliografias utilizadas apontam para a existência de materiais didáticos utilizando-se do método dedutivo euclidiano no ensino básico atual.
Imre Lakatos was a philosopher of mathematics and science of international renown, have usually called his name related to research programs, by the same term coined to describe how is the advancement of science. In this paper, however, we seek to address the design of it against his philosophy of mathematics, a little exploring his book: "The logic of mathematical development: proofs and refutations', this book published after his death is based on his doctoral thesis. Here we seek to establish how the heuristic logic of the development of mathematics proposed by Imre Lakatos about the mathematical proofs can contribute more significantly than the Euclidean model deductive teaching math when working with proofs and demonstrations. We emphasize that the bibliographies used point to the existence of teaching materials using the deductive method Euclidean in primary current.
