Da literatura sobre a prova rigorosa em Educação Matemática: Um levantamento
Autor(a) principal: | |
---|---|
Data de Publicação: | 1996 |
Tipo de documento: | Artigo |
Idioma: | por |
Título da fonte: | Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) |
Texto Completo: | https://doi.org/10.48489/quadrante.22680 |
Resumo: | No artigo examinamos parte da literatura disponível sobre a prova rigorosa em Educação Matemática, sem a pretensão de esgotar o tema. Tal estudo constituiu-se no estágio pré-reflexivo a partir do qual desenvolvemos trabalho de doutorado. Os artigos e livros estudados traçam um panorama do que tornou possível à Matemática transformar-se numa ciência hipotético-dedutiva, levando-nos a concluir que embora existam exemplos de provas anteriores a Euclides, foi com o geômetra de Megara que se constituiu o que hoje concebemos como o parâmetro de rigor para a Matemática. Percorremos a trajetória de uma "arqueologia da prova", passamos pela discussão sobre os aspectos sociais próprios da atividade de provar feita por matemáticos profissionais e, chegando aos dias atuais, focamos a ainda polêmica questão da imersão dos computadores no domínio das provas rigorosas. Em termos gerais, alguns elementos constitutivos essenciais, que apresentamos à guiza de conclusão, podem ser extraídos dessa análise critica da literatura. |
id |
RCAP_fae89a87e5ac19b65cb8ffc91ca0ac58 |
---|---|
oai_identifier_str |
oai:ojs.revistas.rcaap.pt:article/22680 |
network_acronym_str |
RCAP |
network_name_str |
Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) |
repository_id_str |
7160 |
spelling |
Da literatura sobre a prova rigorosa em Educação Matemática: Um levantamentoDa literatura sobre a prova rigorosa em Educação Matemática: Um levantamentoArtigosNo artigo examinamos parte da literatura disponível sobre a prova rigorosa em Educação Matemática, sem a pretensão de esgotar o tema. Tal estudo constituiu-se no estágio pré-reflexivo a partir do qual desenvolvemos trabalho de doutorado. Os artigos e livros estudados traçam um panorama do que tornou possível à Matemática transformar-se numa ciência hipotético-dedutiva, levando-nos a concluir que embora existam exemplos de provas anteriores a Euclides, foi com o geômetra de Megara que se constituiu o que hoje concebemos como o parâmetro de rigor para a Matemática. Percorremos a trajetória de uma "arqueologia da prova", passamos pela discussão sobre os aspectos sociais próprios da atividade de provar feita por matemáticos profissionais e, chegando aos dias atuais, focamos a ainda polêmica questão da imersão dos computadores no domínio das provas rigorosas. Em termos gerais, alguns elementos constitutivos essenciais, que apresentamos à guiza de conclusão, podem ser extraídos dessa análise critica da literatura.In this paper, we examine some materials available on the rigorous proof. It constitutes our pre-reflexive stage, the still little elaborate and obscure data which our doctoral thesis tried to enlighten. The articles and books we examine bring forth aspects which provide Mathematics with means to turn itself into a deductive hypothetical science, and although it is possible to point out some examples, previous to Euclid, of solid arguments to consubstantiate mathematical propositions, we can detect that it was with the geometrician from Megara that an initial picture of rigor in the proofs emerges. Many texts present us a certain "archeology" allowing us to trace the beginning of a route which, heading out by the need for a clarification of the meaning of "having rigor", keeps on bringing social aspects proper to the activity of proving things which is executed in the medium of professional Mathematics. The route of the review of the literature ends at the present time when we focus on the still polemical question of the use of computer science in the domain of the rigorous proofs. In general terms, some constitutive elements can be drawn out from the material under analysis, which are presented as a possible conclusion.APM - Associação de Professores de Matemática1996-06-30T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/articlehttps://doi.org/10.48489/quadrante.22680por2183-28380872-3915Garnica, António Vicente Marafiotiinfo:eu-repo/semantics/openAccessreponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2022-09-22T17:06:40Zoai:ojs.revistas.rcaap.pt:article/22680Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-19T16:01:10.260899Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãofalse |
dc.title.none.fl_str_mv |
Da literatura sobre a prova rigorosa em Educação Matemática: Um levantamento Da literatura sobre a prova rigorosa em Educação Matemática: Um levantamento |
title |
Da literatura sobre a prova rigorosa em Educação Matemática: Um levantamento |
spellingShingle |
Da literatura sobre a prova rigorosa em Educação Matemática: Um levantamento Garnica, António Vicente Marafioti Artigos |
title_short |
Da literatura sobre a prova rigorosa em Educação Matemática: Um levantamento |
title_full |
Da literatura sobre a prova rigorosa em Educação Matemática: Um levantamento |
title_fullStr |
Da literatura sobre a prova rigorosa em Educação Matemática: Um levantamento |
title_full_unstemmed |
Da literatura sobre a prova rigorosa em Educação Matemática: Um levantamento |
title_sort |
Da literatura sobre a prova rigorosa em Educação Matemática: Um levantamento |
author |
Garnica, António Vicente Marafioti |
author_facet |
Garnica, António Vicente Marafioti |
author_role |
author |
dc.contributor.author.fl_str_mv |
Garnica, António Vicente Marafioti |
dc.subject.por.fl_str_mv |
Artigos |
topic |
Artigos |
description |
No artigo examinamos parte da literatura disponível sobre a prova rigorosa em Educação Matemática, sem a pretensão de esgotar o tema. Tal estudo constituiu-se no estágio pré-reflexivo a partir do qual desenvolvemos trabalho de doutorado. Os artigos e livros estudados traçam um panorama do que tornou possível à Matemática transformar-se numa ciência hipotético-dedutiva, levando-nos a concluir que embora existam exemplos de provas anteriores a Euclides, foi com o geômetra de Megara que se constituiu o que hoje concebemos como o parâmetro de rigor para a Matemática. Percorremos a trajetória de uma "arqueologia da prova", passamos pela discussão sobre os aspectos sociais próprios da atividade de provar feita por matemáticos profissionais e, chegando aos dias atuais, focamos a ainda polêmica questão da imersão dos computadores no domínio das provas rigorosas. Em termos gerais, alguns elementos constitutivos essenciais, que apresentamos à guiza de conclusão, podem ser extraídos dessa análise critica da literatura. |
publishDate |
1996 |
dc.date.none.fl_str_mv |
1996-06-30T00:00:00Z |
dc.type.status.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
dc.type.driver.fl_str_mv |
info:eu-repo/semantics/article |
format |
article |
status_str |
publishedVersion |
dc.identifier.uri.fl_str_mv |
https://doi.org/10.48489/quadrante.22680 |
url |
https://doi.org/10.48489/quadrante.22680 |
dc.language.iso.fl_str_mv |
por |
language |
por |
dc.relation.none.fl_str_mv |
2183-2838 0872-3915 |
dc.rights.driver.fl_str_mv |
info:eu-repo/semantics/openAccess |
eu_rights_str_mv |
openAccess |
dc.publisher.none.fl_str_mv |
APM - Associação de Professores de Matemática |
publisher.none.fl_str_mv |
APM - Associação de Professores de Matemática |
dc.source.none.fl_str_mv |
reponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação instacron:RCAAP |
instname_str |
Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação |
instacron_str |
RCAAP |
institution |
RCAAP |
reponame_str |
Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) |
collection |
Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) |
repository.name.fl_str_mv |
Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação |
repository.mail.fl_str_mv |
|
_version_ |
1799130476315672576 |