Professional Documents
Culture Documents
ABSTRACT. This work presents the experience of teaching the philosophy of mathematics
to high school students (Mexican nivel medio superior). The problems they face are discussed and
the content of the program followed is analyzed. The conclusion is drawn that the teaching of the
philosophy of mathematics in high school is a way to simultaneously stimulate philosophical and
scientific thought in students. In particular, the discussion on why mathematics is applicable
to the world awakened enormous interest and it should be emphasized in similar courses. Due to
the high level of student motivation observed during these courses it can be concluded that these
topics should be included in traditional philosophy and/or mathematics programs.
KEY WORDS: Foundations of mathematics, philosophy of mathematics, pedagogy of
mathematics
RESUMO. Este trabalho expe uma experincia de ensinar filosofia da matemtica a estudantes
do nvel mdio. Se discute os problemas enfrentados e se analisa o contedo do programa
utilizado. Se conclue que o ensino de filosofia da matemtica no nvel mdio uma forma de
estimular no estudante simultaneamente o pensamento filosfico e cientfico. Em particular a
discusso de por que a matemtica aplicvel ao mundo desperta um enorme interesse e deveria
ser enfatizada em cursos similares. Devido a notvel motivao observada nos estudantes durante
o curso, se conclui que conveniente incluir estes temas nos programas tradicionais de filosofia
e/ou matemtica.
PALAVRAS CHAVE: Fundamentos da matemtica, filosofia da matemtica, pedagogia da
matemtica.
Revista Latinoamericana de Investigacin en Matemtica Educativa (2008) 11(1): 9-47
Recepcin: Marzo 28, 2007/Aceptacin: Febrero 25, 2008
10
1. INTRODUCCIN
Con frecuencia, alumnos de nivel medio superior obtienen resultados
acadmicos pobres en materias como matemticas, fsica y filosofa, debido a
que, en opinin de muchos de ellos, las primeras son muy difciles y la ltima es
muy aburrida. La filosofa de la matemtica trata de una disciplina que, de modo
natural, le permite al docente discutir aspectos filosficos que resultarn
inesperados e interesantes para casi todos los alumnos, as como aspectos
cientficos relacionados con la matemtica y su aplicacin al mundo real. En
particular, el ltimo tema generar notable inters en los alumnos. Los resultados
obtenidos con grupos de alumnos similares en nivel acadmico y habilidad
intelectual de nivel medio superior, quienes ya han tomado un curso de filosofa
general, confirman que la atencin tanto por la discusin filosfica como por
la ciencia se incrementa notablemente en alumnos que toman cursos de filosofa
de la matemtica. Por otra parte, tambin se observa que la madurez acadmica y
el desempeo acadmico global de los alumnos mejoran notablemente.
El presente trabajo refiere una experiencia sobre la imparticin de un curso
de filosofa de la matemtica a estudiantes de nivel medio superior. Por tal
motivo, se expone el programa, los temas y ejemplos discutidos en clase,
adems de las conclusiones en torno a esta prctica docente. Con base en la idea
de que la informacin del trabajo resulte til a otros pedagogos interesados en el
tema o en impartir cursos similares, se muestran y discuten algunos de los ms
relevantes problemas y experiencias enfrentados en clase, as como puntos gua
para anlisis de problemas y debate ante el grupo.
La segunda seccin del estudio discute el programa del curso presentado a
los alumnos y los antecedentes del grupo; la tercera aborda el realismo y el anti-
11
12
13
14
15
16
17
18
19
ii)
iii)
iv)
v)
vi)
20
21
22
23
24
sobre algo o cualquier cosa que no sea smbolos grficos y reglas para su
manipulacin. Tal enfoque tiene ms aceptacin entre matemticos que entre
filsofos de la matemtica. Algunas formas radicales de formalismo sostienen
que los smbolos matemticos no tienen en s mismos ningn sentido ms all
del que tendran las piezas de un tablero de ajedrez. Otras vertientes menos
radicales aceptan que los smbolos matemticos podran tener algn sentido,
pero es irrelevante para la prctica de la matemtica. De manera clara, el
formalismo resuelve o evita abordar difciles problemas metafsicos y
epistemolgicos. Por ejemplo, a la pregunta sobre qu trata la matemtica? su
respuesta es sobre nada! A la pregunta qu son los nmeros, conjuntos,
etctera? da como respuesta ellos no existen, o si existen podran igualmente no
existir! Y ante la pregunta qu es el conocimiento matemtico? contesta: es el
conocimiento de un juego basado en smbolos y reglas, o el conocimiento de los
resultados obtenidos en ese juego!
Esto nos lleva a una interesante pregunta: Si la matemtica no es nada
ms que un juego, cmo es posible que este juego sea til en la ciencia? O, dicho
caricaturalmente: Cmo es que el intil juego de la matemtica tenga
alguna aplicacin en el mundo real? Desde este punto de vista, el formalismo
es parecido a la posicin anteriormente discutida, que en filosofa de la
ciencia se conoce como instrumentalismo, la cual afirma que el
conocimiento cientfico es nada ms que un complejo instrumento para
hacer predicciones sobre el mundo observable, sin que tengamos necesidad de
creer que los entes tericos propuestos por las teoras cientficas sean reales.
Desde luego, un importante problema que enfrentan los instrumentalistas es
explicar porqu sus instrumentos funcionan tan bien. Desde el punto de vista del
formalismo, la pregunta del porqu la matemtica es til parece intratable.
En su crtica al formalismo, Frege seala la condicin necesaria para que el
conocimiento matemtico se eleve al rango de ciencia:
Por que pueden aplicarse las ecuaciones de la aritmtica? Solamente
porque ellas expresan pensamientos. Cmo podramos aplicar
ecuaciones que expresan nada y que son nada ms que un grupo de
smbolos grficos, que pueden transformarse en otros smbolos de
acuerdo a ciertas reglas? Es solamente la aplicacin de la aritmtica al
mundo la que la eleva del rango de juego, al rango de ciencia (Frege,
1892).
25
26
son llamados clsicos, mientras que los que la rechazan se les denomina
intuicionistas. Por ejemplo, un intuicionista no aceptar la eliminacin de la
doble negacin que permite inferir de la negacin de la negacin de P a P .
Con la lgica intuicionista se puede inferir no no P de P , pero no al revs.
Para Brouwer, cualquier proposicin matemtica legtima involucra
directamente las habilidades mentales del ser humano; por tanto, aceptar el
principio del medio excluido es reconocer un principio de omnisciencia que
se encuentra ms all de la capacidad humana. Es decir, el principio del medio
excluido permite afirmar que toda proposicin puede ser probada o reducida al
absurdo, lo cual slo podramos saber si furamos omniscientes.
Para un intuicionista, la matemtica clsica introduce varios conceptos
carentes de significado, como el conjunto de puntos del espacio o el
conjunto cuyos elementos son las funciones continuas de una variable, ya que
nunca terminaramos de construir tales conjuntos; entonces, no podemos hablar
del conjunto. Desde el punto de vista de Brouwer, la lgica es slo la
codificacin de las reglas usadas en la comunicacin de la matemtica; por
tanto el logicismo y el formalismo ni siquiera tocan la esencia de la matemtica.
Sin embargo, este ltimo punto no es aceptado por todos los intuicionistas.
Arend Heyting (1953) desarroll una formalizacin rigurosa para una lgica
intuicionista llamada clculo de predicados de Heyting. En contraste con
Brouwer y Heyting, Michael Dummett (1973) se acerca al estudio de la lgica y
la matemtica desde un punto de vista lingstico, al afirmar que el significado
de una proposicin matemtica est determinado por su uso. Asimismo,
sostiene que debe haber una diferencia observable entre el comportamiento o
capacidades de alguien que dice tener conocimiento del significado de una
expresin y alguien que carece de l.
4.1. Experiencia y problemas ante grupo
4.1.1. Terminologa kantiana
Como introduccin al tema de logicismo, intuicionismo y formalismo se
exponen ante el grupo algunos elementos clave de la filosofa kantiana,
los cuales son muy importantes para la filosofa de la matemtica. De
entrada, sabemos que un juicio analtico es aquel cuyo predicado est
contenido en el sujeto. Un ejemplo sencillo para el grupo es todo cuerpo ocupa
un volumen. Se puede ver que el predicado ocupa un volumen pertenece al
sujeto cuerpo; por tanto, es claro que no puede existir un cuerpo que no ocupe
27
28
resultado anterior es
29
emprico o analtico?
- Qu argumentos encuentran a favor de la afirmacin de que la
matemtica es emprica?
- Sobre el teorema de Gdel, se sugiere debatir en clase que la
existencia de un sistema incompleto no es en s particularmente
sorprendente. Por ejemplo, si se elimina el postulado del
paralelismo de la geometra euclidiana se obtiene un sistema
incompleto, el cual simplemente puede significar que no se han
descubierto todos los axiomas necesarios.
- El formalismo, para muchos matemticos, es un ideal de la
actividad matemtica creadora y un referente obligado del
pensamiento cientfico y filosfico. Al discutir el formalismo
podr ser de gran utilidad pedaggica y los alumnos
encontrarn divertido inventar las reglas de un juego y llevarlo a
cabo. Se debern investigar las conclusiones a que conducen
las reglas planteadas y verificar si llevan o no a contradicciones
en el juego.
5. SITUACIN ACTUAL
Hay dos escuelas de pensamiento en la actual filosofa de la matemtica. Una
sostiene que los nmeros, conjuntos y otros objetos matemticos existen
independientemente de la mente, lenguaje y convenciones del matemtico; la
otra rechaza tal postura porque intenta reformular la matemtica sin hacer uso de
dichos trminos. Los miembros de la primera escuela son realistas ontolgicos y
con frecuencia tambin realistas en valor de verdad. Aqu destacan Platn, Frege
(1879, 1884), Gdel (1931, 1965), Quine (1981), Putnam (1967, 1971), Hale
(1987) y Maddy (1990).
Como se mencion anteriormente, Quine (1951) dice que la ciencia es
solamente una herramienta de prediccin; este es el criterio ltimo para
aceptar o rechazar cualquier teora que en s misma forma parte de una red
de conocimiento. Quine argumenta que nosotros creemos en la existencia de
objetos ordinarios como sillas o mesas por la misma razn; esto es, porque
forman parte de esa red de conocimiento. Putnam (1971) seala que la
fsica clsica y moderna constan de magnitudes medibles con nmeros reales
volumen, velocidad, fuerza, presin y que las relaciones entre dichas
30
31
para la ciencia, pues arguye que la ciencia puede ser realizada sin matemticas.
De ah el ttulo de su libro, Science without numbers (Ciencia sin nmeros).
Ahora bien, el lenguaje nominalista no hace referencia a objetos abstractos
como nmeros o conjuntos, trminos empleados en el lenguaje cientfico;
incluso Putnam afirma que no es posible realizar ciencia en un lenguaje
nominalista (1971). Sin embargo, Field intenta dar una formulacin nominalista
de las teoras cientficas. Dado que sera demasiado presentar una versin
nominalista de todas las teoras cientficas (relatividad, mecnica cuntica,
qumica, astronoma, economa, etctera) Field se concentra en mostrar una
formulacin nominalista de la teora newtoniana de la gravitacin, donde
maneja puntos y regiones de espacio-tiempo. Para Field, los puntos y regiones
no son objetos matemticos, sino trminos concretos y no abstractos. Un
ejemplo de la terminologa nominalista de Field es el siguiente: y ent zx,
que se interpreta como x , y , z son colineales, mientras que y
est entre x y z . Field dice cmo formular surrogados de derivadas e
integrales en su lenguaje de la mecnica nominalista.
Otro prominente anti-realista ontolgico es Charles Chihara, quien prosigue
una idea discutida por Russell en el sentido de que cualquier referencia a
conjuntos debera ser eliminada y sustituida por propiedades o atributos; empero,
hoy da muchos filsofos la consideran problemtica. Por ejemplo, Quine (1941)
argumenta que no hay criterios establecidos para distinguir atributos idnticos o
distintos y propone que los atributos deben ser sustituidos por conjuntos, ya que
comparten con los conjuntos y los nmeros algunas caractersticas, como el no
existir en el espacio-tiempo y no involucrarse en relaciones causales con objetos
fsicos. Entonces, como podemos saber alguna o cualquier cosa sobre atributos?
La propuesta de Chihara consiste en no hacer referencia a conjuntos, sino a
expresiones abiertas; por ejemplo, en lugar de aludir al conjunto de todos los
autos mencionamos la expresin abierta x es un auto.
Una reciente contribucin a la filosofa de la matemtica es la propuesta de
John P. Burgess y Gideon Rosen (Burgess, 1997), quienes critican los intentos
de elaborar matemticas sin referencia a objetos abstractos como nmeros y
conjuntos. Se argumenta que, dado que no hay conexiones causales entre
nosotros y las entidades matemticas, el realista en ontologa no puede explicar
el conocimiento matemtico sin postular las habilidades msticas que
tenemos para comprender el universo matemtico. Aqu se acepta como premisa
que no podemos conocer nada de un objeto, a menos que haya una conexin
causal entre nosotros y dicho objeto; sin embargo, nadie ha dicho qu tipo de
relaciones causales se necesitan para lograr el conocimiento.
32
33
34
a las ondas electromagnticas. Por tanto, a lo largo de esta seccin cada una
de las preguntas anteriores es vista en referencia a la descripcin matemtica de
las ondas electromagnticas. Como veremos, la respuesta a muchas preguntas
filosficas frecuentemente no es nica, con lo cual se hace patente tanto la labor
del filsofo como la riqueza de la filosofa.
Como sabemos, el espectro de ondas electromagnticas se extiende desde
los rayos gama, rayos X, luz ultravioleta, luz visible, infrarrojo, micro-ondas y
ondas de radio. Las ondas electromagnticas son uno de los ms importantes
fenmenos de la naturaleza; por ellas conocemos el mundo visible y el universo
microscpico y macroscpico.
Aunque hemos escrito las ecuaciones a que hace referencia el texto, su
comprensin matemtica es innecesaria para seguir la argumentacin. La
descripcin de un campo electromagntico usando los vectores de campo
elctrico E y campo magntico H est dada por las ecuaciones de Maxwell
(Born, 1993; Landau, 1981):
H
t
(1)
E
+J
t
(2)
E = D
H = D
(3)
H =0
(4)
E =
35
ecuacin 2.
iii) La ley de Gauss, que establece que toda densidad de carga elctrica,
descrita por el lado derecho de la ecuacin 3, generar un campo
elctrico, descrito por el lado izquierdo de la ecuacin 3.
iv) La ecuacin que establece la no existencia de monopolos
magnticos; esto es, que los campos magnticos, descritos por el
lado izquierdo de la ecuacin 4, no requieren para ser generados de
monopolos magnticos. Por eso, el lado derecho de la ecuacin 4
est igualado a cero.
Si se considera un medio con densidad de carga y corriente cero ( = 0, J =
0) es fcil obtener, a partir de las ecuaciones anteriores, las dos ecuaciones de
onda para los campos E y H :
1 2E
E= 2
c t 2
2
2H =
1 2H
c 2 t 2
(5)
(6)
36
2D + k 2D = 0
(7)
37
38
Fourier una delta de Dirac en frecuencia. Por tal motivo, son irreales.
A pesar de esto, la teora electromagntica es una de las ms slidas y mejor
establecidas de la ciencia moderna. Qu quiere decir el cientfico al afirmar
esto? La respuesta a dicha interrogante lleva a la discusin entre realismo y antirealismo. El realista afirmar que la ciencia propone teoras sobre el mundo
observable y no observable verdaderas, donde por verdadero o verdad
podemos aceptar la nocin de sentido comn: correspondencia con los
hechos. Por tanto, una teora es verdadera si el mundo es como dice la
teora y falsa de otro modo. El anti-realista sealar que las teoras son nada
ms que instrumentos tiles para predecir resultados de observacin; no deben
ser interpretadas como verdaderas o falsas, sino ser usadas como meros
instrumentos de prediccin. Por eso, los anti-realistas frecuentemente son
llamados instrumentalistas.
En el caso de la radiacin electromagntica, el realista afirmar que los
entes matemticos y los campos elctricos y magnticos empleados son reales,
mientras que el anti-realista dir que la estructura matemtica y el modelo
de campos elctrico y magntico empleado son slo una herramienta de
clculo para predecir resultados. Para el anti-realista, cada resultado obtenido
matemticamente debe ser corroborado por la observacin experimental; el
realista, quien cree en la realidad del modelo, asegura todo lo que el modelo
matemtico del electromagnetismo prediga debe observarse en la realidad. Al
obtener un resultado terico a partir de las ecuaciones del electromagnetismo,
el realista a priori sostendr la existencia real del mismo, y el anti-realista
actuar a posteriori, ya que esperar a la observacin y verificacin experimental
del resultado terico.
Para apoyar su postura, los anti-realistas arguyen que la historia de la
ciencia ofrece innumerables casos donde teoras bien establecidas han sido
demostradas como falsas, as como los entes a que hacan referencia. Sin
embargo, muchas de esas teoras desechadas o rebasadas, durante algunos aos,
cumplieron en forma adecuada la funcin de ser instrumentos aproximados para
predecir observaciones experimentales. En la historia de la ptica hallamos un
ejemplo. La teora de Newton propone que la luz est formada por haces de
corpsculos materiales, y la teora de Fresnel considera a la luz como ondas
transversales que se propagan en un ter. Dicho supuesto fue reinterpretado por
la teora electromagntica de Maxwell, donde las ondas mencionadas por Fresnel
pasaron a ser campos elctricos y magnticos fluctuantes en el ter. Al inicio
del siglo XX la idea del ter se elimin, dejando slo a los campos elctricos y
magnticos. Finalmente, el carcter ondulatorio de la luz fue complementado
con el carcter corpuscular de la teora cuntica y la introduccin del concepto
39
de fotn.
Por tanto, primero la luz fue caracterizada a partir de partculas, luego
como ondas en un medio elstico, de ah a fluctuaciones de campos y finalmente
como fotones. Cada una de estas caracterizaciones consta de un planteamiento
matemtico particular: es entonces correcto hablar del modelo de la luz?
De hecho, cada uno de los modelos o teoras anteriores fue adecuado para hacer
un cierto nmero de predicciones, pero insuficiente para otras. Aunque muchos
cientficos no se preocupan por las cuestiones filosficas, el argumento de
indispensabilidad de Quine-Putnam es aceptado por la mayora. Como hemos
visto, esto es realismo en ontologa.
40
41
Estudiante 1
En mi ensayo yo quiero analizar la siguiente paradoja: las esferas perfectas no se
pueden tocar entre ellas.
Estudiante 2
Yo quisiera explorar la idea de que la realidad ltima del universo es
matemtica. Sin embargo, creo que deberamos decir que la realidad es descrita
por la matemtica, y no que la realidad es matemtica. Algunas de las ciencias
ms exitosas como la astronoma, la fsica y la qumica son matemticas.
Pero, qu cosa describe la matemtica? En la primaria se nos ense que
la base de la matemtica son los conjuntos, pero yo creo que esto no es lo
que describe la matemtica; por ejemplo, las leyes de Newton no describen
conjuntos. Aunque no s lo suficiente, no creo que la mecnica cuntica o
la relatividad tampoco describan conjuntos. Yo pienso que la base de la
matemtica son las relaciones; por ejemplo, las de espacio y tiempo, las de
42
Estudiante 3
A m me intrig la pregunta hay lmites a la racionalidad y la ciencia?, debido
a que en una clase de fsica se nos explic la imposibilidad de modelar algunos
sistemas que contienen retroalimentacin porque son no lineales y, por lo
general, quedan descritos por la teora del caos. Esto me dej muy preocupada,
pues parece implicar que un experimento puede dar una gran variedad de
resultados. Yo me pregunto si ello representa un punto final y natural de la
ciencia.
Por otra parte, esto ms bien parece mostrar que hay lmites al
conocimiento humano y no somos omniscientes, en lugar de que hay
lmites a la ciencia, en el sentido de lmites externos a lo que puede ser
descrito con la aplicacin del mtodo cientfico. Me parece que en este problema
hay dos tipos de lmites epistemolgicos: los que nacen debido a razones
matemticas, como la teora de caos, y los que son una barrera externa que
restringe el progreso de la ciencia. Yo creo que no hay pruebas de que los lmites
de la ciencia sean de esta ltima forma.
Estudiante 4
Con el empleo de un monitor de video de color (por ejemplo, de 1000x1000
pixeles) se puede fcilmente generar todas las imgenes posibles, haciendo
uso de un programa de computadora que sistemticamente vaya
modificando todas las combinaciones posibles para cada pixel en cada iteracin.
En las imgenes generadas ser posible encontrar todas las que se podran
tomar con una cmara digital, as como todas las pginas de todos los libros
imaginables escritos en todos los idiomas posibles y todas las imgenes
aleatorias posibles, incluyendo las fractales. Si el programa de computadora
funciona un tiempo suficientemente largo (podra ser muy largo) eventualmente
las imgenes se repetirn.
Si se aplica esta idea al universo entero, el universo debe repetirse. El
semestre pasado vimos que Nietzsche le llam a esto el eterno retorno. Yo creo
que la idea del eterno retorno est equivocada. Mi prueba se basa en considerar
un universo formado por dos engranes: uno que da vueltas a la velocidad 2x y
otro que da vueltas a la velocidad 3x . En este caso las posiciones iniciales, sean
las que sean, nunca se repetirn, pues no existe un mltiplo de 2 que sea
divisible por 3, o viceversa.
43
Estudiante 5
A m me pareci muy interesante la discusin sobre realismo y anti-realismo
en la ciencia. Yo siempre cre que las teoras cientficas eran una copia del
mundo (realismo cientfico); sin embargo, cuando asist a una conferencia
sobre la teora de cuerdas me pareci que todos esos modelos matemticos
tienen como propsito describir lo que observamos en el mundo, aunque no
necesariamente la realidad sea como el modelo supone. Parece que cuando
se habla de teoras muy simples, como poleas y palancas, es muy fcil caer en el
realismo cientfico, pero entre ms complicada es la teora, como la de cuerdas,
resulta cada vez ms difcil ser realista.
Aunque los realistas usan el argumento de no milagros para concluir que
el realismo es verdadero, a m no me lo parece. No creo que el realismo se pueda
probar experimentalmente o lgicamente. Sin embargo, quedarme sin el
realismo cientfico me hace sentir que algo me falta. Es como ser hurfano
sera lo mismo que quedarme sin Dios. Creo que Santo Toms de Aquino,
mejor que cualquier otro telogo, dijo que la prueba de la existencia de
Dios se basa en la revelacin sobrenatural y la fe, no en la experiencia o en
la lgica. Yo me pregunto si no ocurre algo similar con el realismo cientfico.
El anlisis comparativo de la experiencia, a partir de la calidad y
profundidad de las exposiciones y trabajos hechos por alumnos de grupos que
han llevado o no este curso de filosofa de la matemtica, muestra de modo
objetivo e indudable el beneficio para su madurez intelectual. Sabemos que, a
pesar de la posible ingenuidad de sus planteamientos, lo ms importante para la
madurez filosfica y acadmica de un alumno es su capacidad para plantear
preguntas y buscar respuestas por s mismo. Creemos que esto definitivamente
se logr con el curso. Los ejemplos anteriores exponen planteamientos de
bastante complejidad cientfica y filosfica que normalmente no son abordados
por alumnos de nivel medio superior, y fueron fuente de la ms estimulante y
provechosa discusin en clase.
8. CONCLUSIONES
La filosofa de la matemtica es un rea riqusima que se ubica en la
interseccin de la matemtica, la ciencia y la filosofa. Durante el curso, los
alumnos mostraron gran inters por los temas expuestos, lo cual se evidenci
en la profundidad y pertinencia de sus cuestionamientos, las discusiones en clase
44
45
REFERENCIAS BIBLIOGRFICAS
Aboites, V. (2004). Filosofa de la matemtica. Colmena Universitaria 33, 67-92.
Anglin, W. S. (1994). Mathematics: a concise history and philosophy. USA, New York: Springer.
Austin, J.L. (1975), How to do Things with Words. USA, Cambridge: Harvard University Press
Benacerraf, P. (1965). What numbers could not be. Philosophical Review 74, 47-58.
Benacerraf, P. (1973). Mathematical truth. Journal of Philosophy 70, 661-679.
Berkeley, G. (1999). Principles of Human Knowledge. Oxford World Classics.
Bradley, F.H. (1922). The Principles of Logic. UK, Oxford: Oxford University Press.
Brouwer, L. E. J. (1912). Intuitionisme et formalisme. Holland, Groningen: Noordhoff.
Born, M. & Wolf, E. (1993). Principles of optics: electromagnetic theory of propagation,
interference and diffraction of light. USA, New York: Pergamon Press.
Burges, J. & Rosen G. (1997). A subject with no object: strategies for nominalistic interpretation
of mathematics. USA, New York: Oxford University Press.
Cartwright, N. (1999). The dappled world. A study of the boundaries of science. UK, Cambridge:
Cambridge University Press.
Chihara, C. (1990). Constructibility and mathematical existence. USA, New York: Oxford
University Press.
Descartes, R. (1993). Mditations Metaphysiques. Paris: Flammarion.
Dummet, M. (1983). The philosophical basis of intuitionistic logic. In P. Benacerraf & H. Putnam
(Eds.), Philosophy of Mathematics (pp. 97-129). USA, New York: Cambridge University
Press.
Durnin J. & Miceli, J :J. (1987). Diffraction-free beams. Phys. Rev. Lett. 58 (15), 1499-1501.
Ellis, B. (1999). What science aims to do. In D. Papineau (Ed.), The Philosophy of Science (pp.
166-193). UK, Oxford: Oxford University Press.
Eves, H. (1990). Fundamental concepts of mathematics. USA, New York: Dover Publications Inc.
Feynman, R. (1992). The Character of a Physical Law. Penguin Books
Field, H. (1980). Science without numbers. USA, New Jersey, Princeton: Princeton University
Press.
Frege, G. (1879). Begriffsschrift: eine der arithmetischen nachgebildete Formelsprache des reinen
Denkens. Deutschland: Halle [traduccin al ingls: Bauer-Mengelberg, S. (1967). In J. Van
Heijenoort (Ed.), From Frege to Gdel: a source book in mathematical logic, 1879-1931.
USA, Cambridge, Massachusetts: Harvard University Press].
Frege, G. (1884). Die grundlagen der aritmetik. Breslau: Koebner. [traduccin al ingls: Austin, J.
(1960). The foundations of aritmetic. USA, New York: Harper].
Frege, G. (1892, 1903). Die Grundgesetze der Arithmetik (Vo1. I, 1892; Vol. II, 1903).
Deutschland, Jena: Verlag Hermann Pohle [traduccin al ingls: Furth, M. (1964). The basic
laws of arithmetic. USA, California: University of California Press].
George, A. & Velleman, D. J. (2002). Philosophies of mathematics. USA, Malden, Massachusetts:
Blackwell Publishers.
Gdel, K. (1931). ber formal unentscheidbare Stze der Principia Mathematica und verwandter
Systeme I. Montatshefte fr Mathematik und Physicsk 37. 173-198. [trad. al ingls: Van
Heijenoort, J. (Ed.), From Frege to Gdel: a source book in mathematical logic, 1879-1931.
USA, Cambridge, Massachusetts: Harvard University Press].
Gdel, K. (1965). On undecidable propositions of formal mathematical systems. In M. Davis
(Ed.), The Undecidable: basic papers on undecidable propositions, unsolvable problems and
computable functions. USA, New York: Raven Press.
Haack, S. (1978). Philosophy of logics. USA, New York: Cambridge University Press.
46
47
Shapiro, S. (2000). Thinking about mathematics. USA, New York: Oxford University Press.
Suppe, F. (1989). The semantic conception of theories and scientific realism. USA, Chicago,
Illinois: University of Illinois Press.
Suppe, F. (1989). The Semantic conception of Theories and Scientific Realism. USA, Chicago:
Chicago University of Illinois Press
Tarski, A. (1994). Introduction to Logic and to the Methodology of Deductive Sciences. UK,
Oxford: Oxford University Press
Van Fraassen, B. (1980). The scientific image. USA, New York, Oxford: Clarendon Press.
Wittgenstein, L. (2001). Tractatus. Routledge. Classics
Autores
Vicente Aboites. Centro de Investigacin en Matemticas, Guanajuato, Gto., Mxico;
abortes@yahoo.co.uk
Gilberto Aboites. Universidad Autnoma de Coahuila, Mxico; g_aboites@yahoo.com.mx