1 |
[en] THE ROLE OF DIAGRAMS IN EUCLIDEAN / [pt] O PAPEL DOS DIAGRAMAS NA GEOMETRIA EUCLIDEANABRUNO RAFAELO LOPES VAZ 04 April 2011 (has links)
[pt] O objetivo deste trabalho é argumentar em favor de uma nova
interpretação para o papel dos diagramas nas demonstrações da geometria
euclideana. À luz de trabalhos recentes acerca do tema, pretende-se promover,
em particular, uma nova avaliação daquele que é considerado o primeiro sistema
dedutivo rigoroso na história da matemática: a geometria de Euclides,
sistematizada nos seus Elementos. Com efeito, a utilização dos diagramas como
partes essenciais das demonstrações neste sistema fez com que, na
modernidade, tal sistema fosse considerado um exemplo de sistema informal, no
qual as demonstrações são meros esboços do que seriam verdadeiras
demonstrações. Estas, de acordo com a concepção de demonstração que se
tornou comum na modernidade, devem ser compostas exclusivamente de
fórmulas, as quais podem ser derivadas umas das outras apenas com base em
regras lógicas ou princípios explícitos de antemão. Uma vez que tal concepção
tornou-se dominante, por conta de diversos fatores nem sempre interligados, os
diagramas que faziam parte das demonstrações euclideanas passaram a ser
vistos como uma das principais causas de uma alegada falta de rigor por parte
das mesmas. Para devolver às demonstrações matemáticas o rigor que lhes é
necessário, autores como Hilbert e Pasch propuseram reconstruções formais da
obra de Euclides, nas quais as demonstrações prescindem totalmente dos
diagramas. No presente trabalho pretende-se reconstruir a seqüência de eventos
que levou ao declínio das representações diagramáticas em geometria, bem
como mostrar que é possível uma interpretação da obra de Euclides que leve em
conta a participação dos diagramas nas demonstrações, sem que com isso as
demonstrações sejam deficientes em termos de rigor. Serão rebatidas as críticas
dos que defendem a concepção de demonstração acima mencionada, e, assim,
será requerida uma revisão de tal postura - visando tanto a adoção de uma
concepção mais abrangente de demonstração, quanto uma interpretação da
geometria euclideana que faça mais justiça ao seu sucesso. / [en] The main concern of this work is to argue for new interpretations regarding
the role of the diagrams in Euclidean geometry. Taking into account recent
works on the subject, the goal here is to present alternative ways to evaluate the
system which is considered the first rigorous deductive system in the history of
mathematics: Euclid`s Elements. In fact, the use of diagrams as parts of its
demonstrations has been considered as a flaw of that formal system. According
to the standard conception of demonstration in modern times, a demonstration
must be a chain of formulae, each of them being either a principle (accepted
without demonstration) or a formula that follows from some principle by logical
inference. As this conception became influent, the diagrams in Euclidean
geometry turned out to be seen as one of the main reasons for an alleged lack of
rigor of its demonstrations. In face of this, authors like Pasch and Hilbert worked
on a formalization of Euclidean geometry in modern fashion, i.e., suppressing the
diagrams from its demonstrations. The present work aims at a reconstruction of
the main events which led to the decline of diagrammatic representations in
geometry. It will be shown that an alternative view is possible. This view takes
into account the importance of diagrams for the demonstrations without denying
their deductive rigor. It will be argued against the conception of demonstration
mentioned above, and for a revision of such conception in order to achieve a
broader and fairer conception of Euclidean geometry.
|
2 |
[en] COMPLEXITY IN EUCLIDEAN PLANE GEOMETRY / [pt] COMPLEXIDADE EM GEOMETRIA EUCLIDIANA PLANASILVANA MARINI RODRIGUES LOPES 25 February 2003 (has links)
[pt] Consideramos duas formas de complexidade em geometria
euclidiana plana.Na primeira, problemas são descritos
algebricamente, e a complexidade é cotada essencialmente
pelo grau de um polinômio. Como consequência, mostramos
que
vários resultados gerais e familiares em geometria podem
ser demonstrados a partir da simples verificação de dois
ou
três casos particulares. A segunda forma faz uso da
descrição sintática dos teoremas, que permite uma
quantificação da complexidade em termos lógicos (número
de
quantificadores e átomos de uma fórmula). Inspirados por
esta última abordagem, são descritos alguns procedimentos
de demonstração automática. Alguns grupos habituais de
operções em geometria são apresentados com a intenção de
simplificar as duas abordagens.Através do estudo de
técnicas mais avançadas em matemática trazemos novos
pontos de vista a assuntos estudados no ensino médio. / [en] Two forms of complexity in Euclidean plane geometry are
considered. In the first one, problems are described
algebraically, and the complexity level is measured
essentially by the degree of a polynomial. As a
consequence, many familiar and general results in geometry
can be proved by inspecting two or three special cases. The
second form uses the syntactic description of a theorem
allowing for a quanti.cation of the complexity in logic
terms (number of quantifiers and atoms in the formula).
Inspired by this approach, some procedures in mechanized
proofs are described. We also present some traditional
groups of operations in geometry which simplify the two
approaches. The study of more advanced techniques in
mathematics sheds new light on standard high school topics.
|
Page generated in 0.0462 seconds