You are on page 1of 4

Filosofa de la matemtica

Javier Blanco

1. Introduccin
Existen las entidades matemticas? De qu manera? En caso de que las consideremos crea-
ciones mentales o convenciones, cmo explicamos su extraordinaria utilidad en las ciencias y
en las cuestiones prcticas? Qu demuestran las demostraciones matemticas? Cmo se decide
cules axiomas son vlidos? Pueden agregarse nuevos? Existe el infinito o es solo algo potencial?
Estas son algunas de las preguntas que aparecen cuando se reflexiona acerca de la matemtica.
Si bien han estado presentes durante toda la historia y han tenido una gran influencia en el
pensamiento en general, fue sobre todo a fines del siglo XIX que despertaron acalorados debates
y dividieron aguas entre diferentes posturas filosficas.
La aparicin de paradojas o antinomias en la teora de conjuntos dio lugar a una crisis en
los fundamentos de la matemtica y a la necesidad de reflexionar acerca de la validez de esta
disciplina. Dada la supuesta desconexin con el mundo emprico, la justificacin de la matemtica
sola residir en su infalibilidad, en la nitidez de su estructura deductiva. No es de extraarse
que estas antinomias fueran percibidas por lo matemticos ms lcidos como una seria amenaza.
En este contexto tuvo nacimiento el programa de Hilbert, el cual consista en promover una
matemtica deductiva, en la cual todos los resultados pudieran ser obtenidos a partir de axiomas
bsicos e indiscutibles usando mtodos de demostracin finitistas, es decir, donde solo se usaran
pasos elementales y donde la nocin de infinito estuviera excluida.
El ejemplo paradigmtico de este tipo de teoras lo constitua la geometra euclidiana. El
mismo Hilbert propuso un conjunto completo de axiomas para sta, haciendo explcitos varios
principios que se presuponan en la versin original. La propuesta de Hilbert inclua demostraciones
absolutas de consistencia del sistema axiomtico, lo que en el caso de la geometra era posible y
fue demostrado por el mismo Hilbert.
La propuesta filosfica de Hilbert fue llamada formalismo en contraste a la cual se postula-
ron el logicismo de Frege y Russell y el intuicionismo de Brower y Heyting. A estas diferentes
maneras tericas de concebir la matemtica debe sumarse el llamado platonismo que afirma la
existencia independiente de los jetos matemticos, concepcin adoptada, a veces implcitamente,
por la mayora de los matemticos.
A principios del siglo XX, Ernst Zermelo propuso una axiomatizacin de la teora de conjuntos
que no adoleciera de las paradojas mencionadas pero que mantuviera cierta nocin intuitiva y
til de conjunto. Obviamente, hubo que renunciar a la idea de asociar un conjunto a cualquier
propiedad, es decir, de contar como uno a una coleccin cualquiera usando una ley, como propona
Cantor. En reemplazo de esta nocin se propuso la jerarqua iterativa de conjuntos armados en
etapas usando los axiomas. Esta axiomatizacin, con algunas modificaciones introducidas en la
dcada del 20 por Fraenkel y Skolem, es la ms usada en la actualidad.
En esa misma poca, Bertrand Russell y Alfred North Whitehead escribieron los tres tomos
del Principia Mathematica, un intento de deducir toda la matemtica usando lgica de primer
orden y algunos axiomas bsicos.
En 1931, Kurt Gdel demostr a travs del teorema de incompletitud que cualquier teora
axiomtica que permita definir suficiente aritmtica (tom como ejemplo los Principia) ser esen-
cialmente incompleta, es decir que existirn sentencias tales que ni ellas mismas ni su negacin
sern demostrables en la teora. Esta demostracin se realiza a partir de una aritmetizacin de la
meta-teora, la cual es interesante en s misma (se le asigna un nmero a cada sentencia y luego se
construyen predicados en la teora -con lo cual se predican sobre nmeros- cuya validez coincide
con propiedades formales de las sentencias asociadas a esos nmeros).
Los trabajos de Turing y Church sobre lo efectivamente calculable arrojan nueva luz sobre
estas cuestiones y sientan las bases de una nueva ciencia, una nueva tecnologa, y quiz una nueva
manera de pensar. La ciencia de la computacin, disciplina en la interseccin de cierta forma de
matemtica y tecnologa, presenta algunas respuestas y nuevas preguntas y desafos que conmueven
algunas estructuras de pensamiento establecidas.
El curso ser un recorrido necesariamente superficial por estos temas, se analizaran algunas
de las paradojas que dieron lugar a la crisis fundacional de la matemtica y cmo las diferentes
posiciones tericas enfrentan esta crisis. Un tema recurrente y que puede iluminar muchas de
estas discusiones, es el de la teora axiomtica de conjuntos. Esta servir de motivacin para un
recorrido sobre la nocin de sistema formal y los metateoremas de incompletitud.

2. Mtodo de trabajo
El seminario consistir en clases tericas y en trabajos prcticos sobre el material de lectura.
Los estudiantes presentaran trabajos escritos cortos sobre los diferentes temas los cuales sern
puestos a discusin en las clases prcticas.

3. Programa
Naturaleza de los objetos matemticos. Diferentes tipos de ciencias. Mtodo inductivo y deducti-
vo. Platn y la existencia de los objetos ideales. Aristteles y la lgica. Infinito por adicin y
por divisin. El mtodo axiomtico de Euclides. Descartes y la reconciliacin de aritmtica
y geometra. Geometras no eucldeas.

Crisis fundacional de la matemtica. Breve historia del concepto de infinito. Las investigaciones
de Cantor. Cardinalidad. La paradoja de Russell. El programa de Hilbert. Reacciones. El
logicismo de Frege y Russell. Intuicionismo de Brower y Heyting.

Introduccin a la lgica de primer orden. Un lenguaje lgico para la aritmtica. Demostracin


formal y demostracin matemtica. Completitud y consistencia. Modelos de un sistema
axiomtico. La nocin de verdad en matemtica. Aritmetizacin de la meta-matemtica.
Teoremas de incompletitud.

Desarrollo del mtodo axiomtico. Teora axiomtica de conjuntos. La jerarqua iterativa de con-
juntos. Concepciones actuales sobre la nocin de conjunto: realismo, naturalismo. Teoremas
de independencia de algunos axiomas. La hiptesis del continuo.

Introduccin a la computabilidad. Procedimientos efectivos. La tesis de Church-Turing. Conjun-


tos recursivamente enumerables. Teorema de Gdel revisado.

Reflexiones filosficas sobre matemtica De qu habla la matemtica?

2
4. Calendario de lecturas
Cada jornada de discusin de lecturas estar precedida por una presentacin la semana previa
de los temas que se ampliarn en los textos. La semana posterior, sern revisadas con el coordinador
las conclusiones o preguntas surgidas del trabajo de lectura.

Lecturas sugeridas
[AB07] Konstantine Arkoudas and Selmer Bringsjord. Computers, justification, and mathe-
matical knowledge. Minds Mach., 17(2):185202, 2007.

[Acz88] Peter Aczel. Non-Well-Founded Sets. CSLI, Stanford, 1988.

[BE87] Jon Barwise and John Etchemendy. The liar; an essay in truth and circularity. Oxford
University Press, Inc., New York, NY, USA, 1987.

[BM96] Jon Barwise and Lawrence Moss. Vicious Circles: On the Mathematics of Non-
Wellfounded Phenomena. Number 60 in CSLI Lecture Notes. CSLI, Stanford, USA,
1996.

[Boo71] George Boolos. The iterative conception of set. Journal of Philosophy, 68(8):215231,
1971.

[BP83] Paul Benacerraf and Hilary Putnam. Philosophy of Mathematics: Selected Readings.
Cambridge University Press, 1983.

[Bro99] J.R. Brown. Philosophy of mathematics: an introduction to the world of proofs and
pictures. Philosophical issues in science. Routledge, 1999.

[DMLP79] Richard A. De Millo, Richard J. Lipton, and Alan J. Perlis. Social processes and proofs
of theorems and programs. Commun. ACM, 22(5):271280, May 1979.

[FBHL84] A. A. Fraenkel, Y. Bar-Hillel, and A. Levy. Foundations of Set Theory, volume 67


of Studies in Logic and the Foundations of Mathematics. North-Holland, Amsterdam,
The Netherlands, second printing, second edition, 1984.

[FFMS00] Solomon Feferman, Harvey M. Friedman, Penelope Maddy, and John R. Steel. Does
mathematics need new axioms? Bulletin of Symbolic Logic, 6(4):401446, 2000.

[Fra94] Pasquale Frascolla. Wittgensteins Philosophy of Mathematics. Routledge, 1994.

[Fra04] Torkel Franzen. Inexhaustibility: A Non-Exhaustive Treatment, volume 16 of Lecture


Notes in Logic. Association for Symbolic Logic, September 2004.

[Fra05] Torkel Franzen. Gdels Theorem: An Incomplete Guide to Its Use and Abuse. A K
Peters, Ltd., May 2005.

[GS93] D. Gries and F.B. Schneider. A Logical Approach to Discrete Math. Texts and Mono-
graphs in Computer Science. Springer-Verlag, 1993.

[GV02] A. George and D.J. Velleman. Philosophies of mathematics. Blackwell Publishers,


2002.

[Hal60] Paul Halmos. Naive set theory. Princeton University Press, Princeton, 1960.

3
[Heh90] Eric C. R. Hehner. Beautifying gdel, 1990.

[Hem45a] Carl Hempel. Geometry and empirical science. American Mathematical Monthly, 52,
1945.

[Hem45b] Carl Hempel. On the nature of mathematical truth. American Mathematical Monthly,
52, 1945.

[Jon97] Neil D. Jones. Computability and complexity: from a programming perspective. MIT
Press, Cambridge, MA, USA, 1997.

[Kli94] G. Klimovsky. Las desventuras del conocimiento cientfico: una introduccin a la epis-
temologa. La Ciencia y la gente. A-Z editora, 1994.

[Mad97] Penelope Maddy. Naturalism in Mathematics. Oxford University Press, 1997.

[Mad05] Penelope Maddy. Mathematical existence. Bulletin of Symbolic Logic, 11(3):351376,


2005.

[MJ83] Davis Martin and Weyuker Elaine J. Computability, complexity, and languages : fun-
damentals of theoretical computer science. Academic Press, New York, 1983.

[Mos06] Yiannis Moschovakis. Notes on set theory. Springer, New York, NY, 2006.

[Put88] Hilary Putnam. Representation and Reality. MIT Press, Cambridge, MA, USA, 1988.

[Smi05] Peter Smith. An introduction to gdels theorems, 2005.

[Smu78] R. Smullyan. What is the Name of This Book? Prentice Hall, New Jersey, 1978.

[WAA91] Ludwig Wittgenstein, G. E. M. Anscombe, and Elizabeth Anscombe. Philosophical


Investigations: The German Text, with a Revised English Translation 50th Anniversary
Commemorative Edition. Wiley-Blackwell, 3 edition, January 1991.

You might also like