Publication: Rigor and proof in mathematics. (Spanish: Rigor y demostración en Matemáticas)
Loading...
Official URL
Full text at PDC
Publication Date
2010
Authors
Advisors (or tutors)
Editors
Journal Title
Journal ISSN
Volume Title
Publisher
Real Academia Ciencias Exactas Físicas Y Naturales
Citations
Exportar
Abstract
Una de las características distintivas de las Matemáticas respecto a las demás Ciencias es la omnipresencia de las demostraciones. Todo texto matemático que se precie contiene una serie de palabras significativas, como Teorema, Lema, Proposición o Corolario, que preceden una serie de enunciados más o menos ininteligibles. Después, aparece la palabra mágica: Demostración, encabezando una serie de argumentos más o menos misteriosos, que suelen terminar en un rotundo Q.E.D. La inteligibilidad de los razonamientos que aparecen en la demostración dependerá de nuestra formación y del contenido matemático del enunciado.
Pero la idea de demostración rigurosa ha variado a lo largo del tiempo; depende del contexto y del entorno cultural. En los escritos matemáticos ordinarios (incluso los de hoy en día), sólo se detallan los pasos no puramente mecánicos; aquellos que suponen una idea nueva, una construcción original o la introducción de algún elemento novedoso. Sin embargo, el consenso sobre lo que es o no un paso obvio o trivial, ha ido cambiando a lo largo de la historia. Incluso en los aparentemente sólidos Elementos de Euclides se pueden encontrar construcciones no claramente justificadas con la sola asunción de los 5 Postulados fijados por el autor.
El objeto de esta Conferencia es discutir, ilustrando con algunos sencillos ejemplos tomados de la historia, la evolución de la noción de demostración correcta, y, por tanto, de la evolución de la noción de rigor matemático.
Description
XI Programa de Promoción de la Cultura Científica y Tecnológica
UCM subjects
Unesco subjects
Keywords
Citation
F.Bombal,Paradojas y rigor:la historia interminable.Discur-so de ingreso en la Real Academia de Ciencias Exactas, Físicas y Naturales de Madrid. Madrid, 2006.
U. Bottazzini, The higher calculus: A history of real and complex analysis from Euler to Weierstrass. Springer, Berlín 1986.
C. Boyer, The history of the Calculus and its conceptual development. Dover Pub., New York, 1959.
A. Dahan Dalmedico, An image conflict in mathematics after 1945. En “Changing images in Mathematics. From the French Revolutiion to the New Millenium”, U. Bottazzini and A. Dahan Dalmedico Edits. Routledge, London, 2001.
P. J. Davis, R. Hersh, Experiencia matemática. MEC y Labor, Barcelona, 1982.
W. Dunham, Journey through Genius. The great theorems of mathematics, J. Wiley & Sons, New York, 1990.
C. H. Edwards, The historical development of the calculus. Springer-Verlag, New York, 1979.
L. Euler, De la controverse entre Messrs.Leibniz et Bernouilli sur les logaritmes négatifs et imaginaires. Opera (1) 17, 195-232.
D. Gorenstein, El teorema enorme. Investigación y Ciencia, Febrero 1986, págs. 70-83.
K. Gödel, Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I. Monaschefte für Mathematik und Physik 38 (1931), 173-198.
D. Hilbert, Die logischen Drundlagen der Mathematik. Matematische Ann. 88 (1923), 151-165. Traducción española: „Los fundamentos lógicos de las matemáticas” en Fundamentos de las matemáticas, Mathema, UNAM, México 1993.
M. Kline, Mathematical thought from ancient to modern times. Oxford University Press, New York 1972.
I. Lakatos, Pruebas y Refutaciones.Alianza Editorial, Madrid, 2ª ed., 1982.
J. R. Newman, Sigma, el mundo de las matemáticas, vol. 1. Eds. Grijalbo, Barcelona, 1968.
L. Schwartz, Un mathématicien aux prises avec le siècle. Ed. Odile Jacob, 1997.
R. L. Wilder, The nature of mathematical proof. American Math. M. (1944), 309-323.