Filosofa de la matemtica

La losofa de las matemticas es un rea de la losofa

terica, que trata de comprender y explicar los requisitos,
el objeto, el mtodo y la naturaleza[1] de las matemticas.

provocado controversia y debate; claricar los objetivos bsicos de esta prctica y los mtodos apropiados es, por lo tanto, una la tarea metodolgica y
fundacional importante, situando la losofa de las
matemticas dentro de la losofa general de la ciencia.

Como rea de estudio puede ser aproximada desde dos

direcciones: el punto de vista de los lsofos y el de los
matemticos. Desde el punto de vista losco, el objetivo principal es dilucidar una variedad de aspectos problemticos en la relacin entre las matemticas y la losofa.
Desde el punto de vista matemtico, el inters principal
es proveer al conocimiento matemtico de fundaciones
rmes. Es importante mantener presente que aunque estos puntos de vistas pueden implicar diferentes esquemas
e intereses, no son opuestos, sin ms bien complementarios: Cuando los matemticos profesionales se ocupan
de los fundamentos de su disciplina, se dice que se dedican a la investigacin fundamental (o trabajo fundacional o de fundamentos.- ver Metamatemtica). Cuando
los lsofos profesionales investigan cuestiones loscas relativas a las matemticas, se dice que contribuyen a
la losofa de las matemticas. Por supuesto, la distincin
entre la losofa de las matemticas y los fundamentos de
las matemticas es vaga, y a la mayor interaccin que haya entre los lsofos y los matemticos que trabajan en
cuestiones relativas a la naturaleza de las matemticas,
mejor..[2]

De acuerdo a Bertrand Russell, las matemticas son

un estudio que, cuando se parte de sus porciones ms
familiares, puede llevarse a cabo en cualquiera de
dos direcciones opuestas (una busca la expansin del
conocimiento, la otra darle fundamentos. nota del
traductor). Pero se debe entender que la distincin
es una, no en la materia objeto, pero en el estado
de la mente del investigador...(...)... as como necesitamos dos tipos de instrumentos, el telescopio y el
microscopio, para la ampliacin de nuestras capacidades visuales, igual necesitamos dos tipos de instrumentos para la ampliacin de nuestras capacidades
lgicas, una para hacernos avanzar a las matemticas superiores, y el otro que nos lleve hacia atrs,
hacia los fundamentos lgicos de las cosas que estamos inclinados a tomar por sentado en las matemticas. Veremos que mediante el anlisis de las nociones matemticas ordinarias se adquiere una nueva
perspectiva, nuevos poderes, y los medios de llegar
a nuevos temas matemticos completos, mediante
la adopcin de nuevas lneas de avance, siguiendo
nuestro viaje hacia atrs.[4]

De acuerdo a Jeremy Avigad (profesor de ciencias matemticas y de losofa en la Universidad

Carnegie Mellon[3] ) El conocimiento matemtico
ha sido considerado por mucho tiempo como un
paradigma del conocimiento humano con verdades
que son a la vez necesarias y ciertas, por lo que
dar una explicacin del conocimiento matemtico
es una parte importante de la epistemologa. Los
objetos matemticos, tales como los nmeros y los
conjuntos, son ejemplos arquetpicos de abstracciones, dado que el tratamiento de tales objetos en
nuestro discurso es como si fueran independientes
del tiempo y el espacio, encontrar un lugar para los
objetos de este tipo en un marco ms amplio del
pensamiento es una tarea central de la ontologa, o
metafsica. El rigor y la precisin del lenguaje matemtico depende del hecho de que est basado en un
vocabulario limitado y gramtica muy estructurado,
y las explicaciones semnticas del discurso matemtico a menudo sirven como punto de partida de la
losofa del lenguaje. Aunque el pensamiento matemtico ha demostrado un alto grado de estabilidad
a travs de la historia, su prctica tambin ha evolucionado con el tiempo, y algunos desarrollos han

Como ya se ha sugerido, estas aproximaciones no son

conictivas. En las palabras de Imre Lakatos: Al discutir los esfuerzos modernos para establecer las fundaciones
para el conocimiento matemtico uno tiende a olvidarse
que esos son solo un captulo en el gran esfuerzo para
superar el escepticismo a travs de establecer las fundaciones para el conocimiento en general. El objeto de mi
contribucin es mostrar la losofa matemtica moderna como profundamente empotrada en la epistemologa general y como solo siendo entendible en ese
contexto. (nfasis de Lakatos.[5] )
Dada la vastedad y complejidad del tema, lo que sigue
ofrece una visin muy supercial.

1 Introduccin
Desde la antigedad la losofa ha tenido inters en, por
lo menos, ciertos aspectos de la matemtica.[6] En las palabras de Miguel de Guzmn: Pero hay otros aspectos
1

1 INTRODUCCIN

interesantes de la matemtica que atraen de modo natural Esa situacin ha sido resumida de la siguiente manera[19]
al lsofo. La dinmica interna del pensamiento matemtico, la lgica de su estructura, simple, tersa, sobria, clara,
Hasta bien entrado el siglo XIX, la geometra
hacen de ella un modelo de reexin able que suscita el
era universalmente considerada la rama ms
consenso de todos. Los lsofos interesados en aclarar los
rme del conocimiento.... La Geometra era,
misterios del conocimiento humano han visto en el pensimplemente, el estudio de las propiedades del
samiento matemtico un campo ideal de trabajo donde
espacio. Estas se manifestaban como verdades
poner a prueba sus hiptesis y teoras..[7] Mario Bunge
objetivas, universalmente vlidas para la menva tan lejos como a sugerir que las matemticas son no
te humana.
solo el fundamento no slo del quehacer cientco sino
tambin losco.[8]
Durante el siglo XIX sucedieron varios desasPor mucho de ese tiempo la opinin general era la que
tres que iban a cambiar completamente esta siCarl Friedrich Gauss resumi: La matemtica es la reituacin. El primero fue el descubrimiento de
na de las ciencias y la aritmtica es la reina de las mategeometras no eucldeas, al que inmediatamenmticas. Ella a menudo se digna a prestar un servicio a la
te sigui otro desastre mayor: el desarrollo del
astronoma y a otras ciencias naturales, pero en todas las
anlisis por caminos contrarios a la intuicin
relaciones, tiene derecho a la primera la.[9] Esta pregeomtrica (curvas que llenan el espacio, funeminencia se deba a una percepcin que, ltimamente,
ciones continuas no diferenciables, etc) lo que
emana de Platn: En las matemticas se halla el origen y
puso de maniesto la gran vulnerabilidad del
fundamento de la teora platnica de las formas o ideas.
nico fundamento que hasta entonces tenan
En esta la idealizacin de los entes matemticos se translas Matemticas: la intuicin geomtrica. Esto
forma en la idealizacin de los entes fsicos y psquicos.
era una autntica catstrofe puesto que en alLa verdad matemtica, por su invariabilidad en el tiemgn sentido implicaba la prdida de la certeza,
po, era el modelo a seguir en todo conocimiento intelecno solo en la Matemtica sino en todo el conotual. El mtodo deductivo, que partiendo de axiomas y
cimiento humano.
denicines llegaba a la demostracin de teoremas, era el
modelo prestigioso de razonamiento para todo saber. En
Se pens entonces buscar otra base seguel dilogo Menn Scrates, a travs de preguntas y resra para fundamentar las Matemticas, y as
puestas, hace que un esclavo alcance por su propio razoDedekind y Weierstrass mostraron como era
namiento una verdad matemtica; as, de una manera poposible construir el anlisis -el continuo- a parpular, expone Platn que las matemticas estn en el alma
tir de la Aritmtica. Pareca que todo volva a
humana, ya que en esta se halla presente el logos que goestar en orden, pues nadie dudaba de la certeza
bierna el mundo material mediante las proporciones aritproporcionada por nuestra intuicin de contar
mticas y geomtricas. Slo se requiere la introspeccin
y as los nmeros enteros seran la nueva base
para volvernos conscientes de ese saber interno..[10]
segura para todo el edicio matemtico... (ver
Esa posicin es generalmente conocida como realismo;
programa de Hilbert).
platonismo o realismo platnico y de manera muy esquemtica, puede sintetizarse en la creencia de que los
Pero el intento de fundamentar rigurosamenobjetos matemticos son reales y su existencia es un hete la Matemtica iba a ser llevado un paso
cho objetivo e independiente de nuestro conocimiento de
ms lejos por Frege, quien comenz un amlos mismos.... existen fuera del espacio y del tiempo de
bicioso programa para basar las Matemticas
la experiencia fsica y cualquier pregunta signicativa soen la Lgica -a travs de la Aritmtica. Este
bre ellos tiene una respuesta denida. As el matemtico
fue el punto de partida de la escuela logicises, en este sentido, como un cientco emprico que no
ta que ms tarde seria continuada por Russell
puede inventar ni construir sino solo descubrir algo que
y Whitehead. La idea logicista consista en deya existe.[11]
mostrar que la Matemtica clsica era parte de
Sin embargo, hacia nes del siglo XIX esta situacin comenz a cambiar, proceso que eventualmente culmin,
a nes del siglo XIX y comienzo del XX, en la llamada
crisis de los fundamentos:[12][13][14][15][16][17] La imagen tradicional de las matemticas (formal e infalible) fue
cuestionada a raz de la llamada crisis de los fundamentos de las matemticas, que sucedi en el siglo XIX. Dicha crisis se origin principalmente por dos descubrimientos: primero el de las geometras no euclidianas y,
segundo, el de la teora de los conjuntos.[18]

la lgica, de modo que una vez culminado su

programa podra asegurarse que la Matemtica estaba libre de contradiccin al menos en la
misma medida que la propia lgica.
Sin embargo, ya en ese momento se haban
hecho unos descubrimientos que iban a sacudir completamente este optimismo dejando de
nuevo a la Matemtica sin fundamentos seguros. En efecto, la construccin del continuo a
partir de la Aritmtica se basaba en la Teora

3
de Conjuntos de Cantor (ver hiptesis del continuo), que tambin haba sido utilizada por
Frege en sus fundamentacion de la Aritmtica. Pero la teora de Cantor, y en particular
su hiptesis bsica sobre la existencia de conjuntos encerrada en su denicin: un conjunto es cualquier coleccin de objetos distintos
de nuestra intuicin o nuestro pensamiento,
que puede ser traducida por cualquier condicin determina un conjunto, iba a revelarse
inconsistente.

de manera atemporal y exacta y que su veracidad no depende ni de evidencias empricas ni de puntos de vista
personales. La tarea consiste tanto en determinar las condiciones de la posibilidad de adquirir ese conocimiento,
como en cuestionar crticamente este punto de partida.

3 Corrientes
3.1 Platonismo

El realismo[28][29][30] es, quizs, la posicin ms ampliamente difundida entre los matemticos.[31] En las palabras de P Maddy: El realismo, por tanto, es el punto de
vista que sostiene que la matemtica es la ciencia de los
nmeros, conjuntos, funciones, etc., tal y como la fsica es
el estudio de los objetos fsicos ordinarios, cuerpos astronmicos y partculas subatmicas entre otros. Esto es, la
matemtica trata acerca de esos objetos, y es el modo en
que tales objetos son lo que hace a los enunciados de la
matemtica verdaderos o falsos..[32] En otras palabras,
tanto los objetos matemticos (nmeros, guras geomtricas, etc) como las leyes matemticas no se inventan,
sino que se descubren. Con esto se explica al carcter
objetivo, interpersonal, de las matemticas. Este realis2 Problemas
mo ontolgico es incompatible con todas las variedades
de la losofa materialista. Es representado, entre otros
Al respecto de todo lo anterior hay algunas interrogantes matemticos, por Kurt Gdel,[33][34] Eugene Paul Wigfundamentales y sistemticas tales como:
ner y Paul Erds. Entre los lsofos que han adoptado la
posicin se cuentan Willard Van Orman Quine; Michael
1. el modo de ser de los objetos matemticos: acaso Dummett[35] , Mark Steiner.[36]
estos existen realmente e independientemente de
inuencia en esa posicualquier empleo especco, y si es as, en qu sen- Alrededor de los 1900 tuvo mucha
[37]
cin
el
El
argumento
de
Frege,
que se puede resumir
tido? Y qu signica referirse a un objeto matemas:
Trminos
singulares
que
se
reeren
a nmeros natutico? Cul es el carcter de los teoremas matemrales
aparecen
en
enunciados
verdaderos
simples. Solo es
ticos? Cul es la relacin entre la lgica y las mateposible
para
los
enunciados
simples
con
trminos singumticas? - Aqu se trata de cuestiones ontolgicas.
lares como componentes ser verdaderos si los objetos a
2. el origen del conocimiento matemtico: Cules son los que se reeren los trminos singulares existen. Por lo
la fuente y la esencia de la verdad matemtica? tanto: los nmeros naturales existen. Pero, si los nmeros
Cules son las condiciones de la ciencia matem- naturales existen, son objetos abstractos que son indepentica? Cules son, en lo fundamental, sus mtodos dientes de todas las actividades racionales. Por lo tanto:
de investigacin? Qu papel, en relacin a lo ante- los nmeros naturales son objetos abstractos que existen
rior, la naturaleza del ser humano? - Aqu se trata de independientes de todas las actividades racionales, es decuestiones epistemolgica.
cir, el objeto aritmtico del platonismo es verdad.
Esa crisis dio origen a varias tentativas de resolucin, lo
que, a su vez, dio origen a tres corrientes principales:
las escuelas intuicionista, logicista y formalista[20] (esa
es la visin general o comn, algunos incluyen otras escuelas, tales como el fenomenalismo de Husserl[21] ). Argumentablemente esas tentativas fueron infructuosas[22]
lo que dio origen a otras escuelas, tanto derivadas de
las anteriores[23] como de otras percepciones bsicas por ejemplo, del empirismo. Sin embargo, y argumentablemente, la situacin todava no se ha resuelto del
todo[24][25][26]

La forma clsica del realismo es el platonismo, que ha

sido denido como " cualquiera explicacin metafsica
de las matemticas que implica que las entidades matemticas existen, que son abstractos, y que son independientes de todas nuestras actividades racionales.,[38] es
decir, que los objetos y teoremas matemticos existen en
forma aislada del mundo material e independientemente del espacio y del tiempo, junto con otras ideas tales
como las de lo bueno, "lo bello", o lo divino. El trmino platonismo fue introducido al rea, en1934, por el
lgico matemtico Paul Bernays. La intencin era desigEl punto de partida es casi siempre la concepcin de que nar un modo de razonar que es caracterstico sobre todo
las proposiciones matemticas son ciertas por principio, del anlisis matemtico y la teora de conjuntos, aunque
3. la relacin entre las matemticas y la realidad: Cul
es la relacin entre el mundo abstracto de las matemticas y el universo material? Tienen las matemticas sus races en la experiencia, y si es as,
cmo? Cmo es que las matemticas calzan tan
bien con los objetos de la realidad (Albert Einstein[27] )? De qu manera los conceptos tales como
nmero, punto, innito etc., adquieren un signicado que trasciende el mbito estrictamente matemtico?

3 CORRIENTES

tambin del lgebra moderna y la topologa: los objetos

de la teora se conciben como elementos de una totalidad
o conjunto, que se considera dada o independiente del sujeto pensante (es decir, del matemtico). Una consecuencia de dicho modo de pensar es que para una propiedad
cualquiera (expresable en la teora) puede decirse que o
bien la poseen todos los elementos del conjunto, o bien
hay uno que no la posee.[39]

contenido; se trata, pues, de un sistema formal vaco. Este

sistema formal estara integrado por uno o ms conjuntos
de elementos fundamentales, por relaciones denidas entre los elementos de estos conjuntos y por proposiciones
reguladoras de estas relaciones (proposiciones que comprenden los axiomas y las dems proposiciones de ellos
deducidas: los teoremas).[49] Por ejemplo, en el juego de
geometra euclidiana se obtiene el teorema de Pitgoras
combinando ciertas cadenas (los axiomas) segn deterEl principal problema del platonismo en la losofa de
[50][51]
las matemticas es la pregunta, cmo podemos nosotros, minadas reglas (las del razonamiento lgico).
como seres nitos, reconocer los objetos matemticos y David Hilbert es generalmente considerado fundador del
las verdades si stas se encuentran en las esferas celes- formalismo moderno.[52] Su inters era la construccin
tiales de las ideas. De acuerdo a Gdel, esto se logra me- axiomtica consistente y completa de la totalidad de las
diante la intuicin matemtica que, de manera similar a matemticas,[53] seleccionando como punto de partida los
un rgano sensorial, hace que los seres humanos perciba- nmeros naturales y asumiendo que mediante el uso de
mos partes de ese otro mundo. Tales intuiciones raciona- axiomas se obva la necesidad de denir los objetos bles tambin son defendidas por la mayor parte de los cl- sicos (op. cit) con el n de lograr un sistema completo y
sicos del racionalismo, as como, en debates ms recien- consistente (ver Programa de Hilbert).
tes acerca de la justicacin y el conocimiento a priori, En esta visin los enunciados matemticos pierden el caentre otros por Laurence Bonjour.[40] Sin embargo, el tra- rcter de verdades; dejan de ser, en ltima instancia, protamiento ms sosticado de este asunto (por Paul Bena- posiciones sobre algo. Lo que importa son las relaciocerraf en su artculo Mathematical Truth, de 1973[41] ), nes que se establecen entre ellos: Hilbert sostiene que la
sugiere que el problema es ms profundo: nuestras me- verdadera importancia en la construccin de los saberes
jores teoras epistmicas parecen excluir cualquier cono- matemticos no es el resultado numrico, sino la ley de
cimiento de los objetos matemticos..[42] (Esto es gene- cmo estructurar las relaciones entre los objetos materalmente conocido como el Dilema de Benacerraf[43][44] mticos.... Las reglas que enlazan funcionalmente los obdado que es generalmente interpretado como establecien- jetos con su sistema de referencia formarn parte de un
do debemos abandonar nuestras teoras epistemologas o Sistema Formalizado Matemtico; en donde, se entiende
la certeza matemtica.[45][46][47]
como formalizacin a un conjunto de leyes descubiertas
En el presente los partidarios del realismo/platonismo generalmente citan el siguiente argumento a favor de sus
posiciones, argumento que busca mostrar que las teoras
epistmicas son (deben ser) consistentes con la aproximacin realista:

en el seno de su misma estructura, la que mantiene su

consistencia en las demostraciones.[54]

El Argumento de indispensabilidad de Quine y Putnam,

que, bsicamente sugiere que debemos estar ontolgicamente comprometida con todas aquellas entidades que
sean indispensables para nuestras mejores teoras cientcas. (es decir, debemos armar como vlidas e independientes todos aquellos elementos bsicos del anlisis
que necesitamos en nuestros razonamientos, alternativamente, somos intelectualmente deshonestos). Los objetos y/o estructuras matemticos son indispensables para
nuestras mejores teoras cientcas. Por lo tanto, debemos reconocer la existencia de esos objetos o estructuras.

A pesar que esta propuesta fue de corta duracin, debido al teorema de incompletitud de Gdel, que demostr
que cualquier sistema de axiomas que incluya los nmeros naturales es ya sea incompleto o contradictorio, lleg,
de facto, a constituir la posicin ms aceptada entre los
matemticos hasta el ltimo cuarto del siglo XX: Los
aos setenta vieron decaer la tendencia formalista, representada por el grupo Bourbaki, seudnimo de varias generaciones de matemticos franceses,[55]

3.2

Formalismo

El formalismo matemtico entiende las matemticas como un juego (en el sentido de Wittgenstein[48] ) basado
en un cierto conjunto de reglas para manipular cadenas
de caracteres: "..el programa del formalismo matemtico consiste en construir la Matemtica como un sistema
lgico-formal puro, cuya condicin fundamental es la ausencia de contradiccin, prescindiendo de todo tipo de

Otro matemtico de nota que fue inspirado por el formalismo fue Haskell Curry, generalmente considerado el
fundador de la lgica combinatoria.

3.3 Deductivismo
En el deductivismo -una variante usual del formalismo- se
considera que, en el ejemplo del teorema de Pitgoras, la
verdad de una proposicin matemtica es slo correcta en relacin a: Si a las cadenas se les asignan signicados, de tal manera que los axiomas y reglas de inferencia
sean verdaderas, entonces se obtienen conclusiones ciertas, tales como el teorema de Pitgoras. En este sentido,
el formalismo no sigue siendo obligatoriamente un juego
simblico sin sentido. El matemtico puede conar, en
cambio, que existe una interpretacin de las cadenas de

3.4

Intuicionismo

caracteres sugerida por ejemplo por la fsica o por otras

ciencias naturales, tal que las reglas conduzcan a armaciones verdaderas. Por lo tanto un matemtico deductivista puede mantenerse al margen tanto de la responsabilidad por la interpretacin como de las dicultades
ontolgicas de los lsofos.

plo, Lgica intuicionista). Sigue que, en un momento dado (por ejemplo, el presente) es perfectamente posible
que haya proposiciones acerca de las cuales no tenemos
certeza acerca de si son correctas o no. (ntese que esto
introduce, nuevamente, un elemento temporal en la verdad matemtica). (Lo anterior no es un rechazo absoluto
El deductivismo fue introducido formalmente por Hilary del principio. Los intuicionistas lo utilizan en situaciones
bien dePutnam[56] como una respuesta a algunos problemas con especcas -por ejemplo, en el caso de conjuntos
nidos y nitos. Ver Aritmtica de Heyting)[72] )
[57]
el logicismo de Russell en su Principia. Putnam propone considerar las matemticas como el estudio de las Otras diferencias con lo que se puede considerar matemconsecuencias de los axiomas, usando teora de mode- ticas clsicas se encuentran en la concepcin del innito y
los. En consecuencia, Putnam interpreta las proposicio- la del continuo. Para los intuicionistas un (cualquier) ennes matemticas como reriendose a un posible modelo te es valido si y solo si puede ser construido por medio
para esas proposiciones. A diferencia del logicismo es- de un procedimiento especicado y con un nmero nitricto, el deductivismo basa y transforma la matemtica to de pasos o operaciones (este procedimiento puede ser
en una lgica en un sentido mucho ms amplio que el sen- un algoritmo o algn otro que siga una regla: por ejemplo:
tido logicista. La lgica deductivista incluye, por ejemplo, arrojar un dado veinte mil veces a n de generar cualquier
la teora de conjuntos necesaria para estudiar las conse- nmero). Pero cual procedimiento especco y nito puecuencias que siguen de axiomas. (R. Marcuss. op. cit).
de generar el innito? Cualquier procedimiento que escoLos deductivistas requieren que toda y cada prueba mate- jamos solo nos dar algn nmero concreto. Consecuenmtica sea una deduccin. Ellos reconocen que no todas temente, el innito intuicionista es solo potencial, a dilo concibe como una
tales pruebas son estrictamente vlidas (ver Validez (epis- ferencia del innito ocial que
[73]
totalidad
completa
y
acabada..
Si bien esta diferentemologa) y Validez (lgica)), pero consideran que toda
cia
es
ms
bien
metafsica
(op.
cit),
argumentablemente
prueba informal debe ser completable como deduccin a
sin
consecuencias
mayores
para
la
prctica
matemtica,
[58]
n de ser considerada vlida
es la introduccin a la diferencia sobre la concepcin del
Quizs sea necesario notar que deductivismo es un con- continuo, que si tiene tales consecuencias. (op. cit, esp p
cepto amplio, consecuentemente, el logicismo seria solo 108).
una versin (usando una concepcin ms restrictiva de la
[74]
lgica matemtica) del deductivismo (Hossack, op. cit). El concepto intuicionista del continuo rechaza la concepcin axiomtica clsica (de Cantor y Zermelo, etc ver
Hiptesis del continuo, etc), basada en la teora de conjuntos y sugiere utilizar una especie de principio de elec3.4 Intuicionismo
cin (choice principles[75] que Brouwer llama secuencias de elecciones libres), basado en la intuicin que,
El intuicionismo matemtico[59] rechaza tanto la sugeren- entre dos puntos (o nmeros) cualquiera, un matemticia logicista como la formalista, proponiendo que el cono- co puede elegir libremente otro punto o nmero, y as
cimiento matemtico se basa en la aprehensin -que an- indenidamente: El continuo lineal no puede ser agotatecede cualquier lenguaje o lgica- de algunos conceptos do por la interpolacin de nuevas unidades. Y no puematemticos bsicos.[60][61] Este intuicionismo se origina de por lo tanto ser pensado como una mera coleccin de
en la propuesta de L. E. J. Brouwer[62] que el saber ma- unidades..[76] (al respecto de todo esto, ver: El Error de
temtico se basa en la intuicin primordial[63][64] de los Cantor[77] ).
nmeros naturales ( 1, 2, 3... ). Cada uno de esos nmeros
La introduccin de secuencias de elecciones tiene varias
puede, a partir de la intuicin bsica del 1, ser construiconsecuencias[78] difciles de aceptar para la matemtica
do agregando 1 al anterior. (Ntese que esto introduce
no intuicionista.[79] Como ejemplos, la demostracin inun elemento temporal - ver D. Pareja. op. ci).
tuicionista del teorema de la barra (bar theorema[80] ) y el
A partir de lo anterior, el resto de la matemtica puede (y teorema del abanico (fan theoreme[81] ).
debe) ser construida de forma explcita y rigurosa, lo que
Aparte de Arend Heyting, otros matemticos y lgicos de
requiere un mtodo claro y preciso[65] - Solo entidades cunota inuidos por esta visin incluyen: Hermann Weyl,
ya existencia (positiva o negativa) haya sido demostrada
quien promovi una visin constructivista de la matemde tal manera, o por medio de tal mtodo, tienen validez
ticas. La aplicacin del intuicionismo a la topologa por
matemtica.[66] Parafraseando el dicho platonista, se poAlfred Tarski; los trabajos matemticos de Andri Koldra decir que, desde el punto de vista intuicionista, las
mogrov y los de Andri Mrkov y los desarrollos de una
verdades matemticas no se descubren, se crean.[67]
lgica intuicionista por Saul Kripke.[82]
Entre otras consecuencias de lo anterior se encuentra la
Entre los lsofos que continan esta tradicin encontrarestriccin del principio del tercero excluido:[68][69] saber
mos Michael Dummett.[83]
que una proposicin es falsa implica, para los intuicionistas, poder demostrar esa falsedad.[70][71] (ver, por ejem-

3.5

3 CORRIENTES

Constructivismo

A partir de las sugerencias de Brouwer y Mrkov, Erret

Bishop postulo el Constructivismo.[84] Modicando algunas percepciones de los autores mencionados de tal manera que la propuesta constructivista resulta ms restrictiva que las sugerencias de Brouwer y Mrkov pero, al
mismo tiempo, logrando que todos sus teoremas resulten
compatibles tanto con esas sugerencias como con las de
la matemtica clsica, cosa que no ocurre con las otras
dos.[85]
Bishop logra esta exibilidad a travs de no denir lo
que llama rutinas nitas (algoritmos) que constituyen
el proceso de demostracin. Si bien esto parece introducir una cierta falta de precisin, fuerza a quienes practican esta aproximacin a utilizar estrictamente la lgica
intuicionista. Parece ser que utilizar tal lgica equivale a
practicar matemtica algortmica formal. Si eso fuera el
caso, la aproximacin intuicionista podra ser implementada en relacin a cualquier objeto matemtico, no solo
esa clase especial de objetos constructivos[86]

meros naturales. Lo mismo se aplica a otros objetos matemticos. Puesto que el estructuralismo no considera los
objetos, tales como nmeros, de manera separada de su
totalidad o estructura, sino que ms bien los considera como espacios en una estructura, esquiva la cuestin de la
existencia de los objetos matemticos y los explica como
errores categoriales. As, por ejemplo, el (nmero) dos,
en tanto nmero natural, ya no puede ser considerado en
forma separada de la estructura de los nmeros naturales, sino como el identicador del segundo lugar en la
estructura de los nmeros naturales": no tiene propiedades internas ni una estructura propia. En consecuencia,
existen tanto variantes del estructuralismo que asumen la
existencia de los objetos matemticos, como otras que
rechazan su existencia[89]

Los problemas con esta corriente surgen principalmente de la cuestin de las propiedades y el ser de las
estructuras.[90] Al igual que en el problema de los universales es aparente que las estructuras son algo que puede
aplicarse a muchos sistemas simultneamente. Por ejemplo, la estructura de un equipo de ftbol es ciertamente
ejemplicado por miles de equipos. Esto plantea la cuestin de si y cmo las estructuras existen, si acaso existen
independientes de los sistemas. Otras cuestiones pendien3.6 Finitismo
tes estn relacionadas con el acceso a las estructuras y la
El nitismo es una forma extrema del constructivismo, de de cmo podemos aprender acerca de ellas?
acuerdo a la cual un objeto matemtico no existe a menos Entre los representantes actuales del estructuralismo se
que sea construido partiendo de los nmeros naturales en cuentan Stewart Shapiro;[91] Michael Resnik;[92] Georey
un nmero de pasos nitos.
Hellman[93] y el ya mencionado Paul Benacerraf.

3.7

Estructuralismo

El estructuralismo considera las matemticas principalmente como una ciencia que se ocupa de las estructuras
generales, es decir, las relaciones de los elementos dentro
de un sistema. El estructuralismo matemtico es similar, en algunos aspectos, al punto de vista funcionalista
en, por ejemplo, la losofa de la mente. Una denicin
funcional es, en efecto, estructural, ya que, tambin se
centra en las relaciones que los elementos denidos tienen el uno al otro. La diferencia es que las estructuras
matemticas son ms abstractos, y autnomas, en el sentido de que no hay restricciones sobre el tipo de cosas que
pueden ejemplicar (vase Shapiro [1997, captulo 3,
6]).[87]
Para ilustrar lo anterior, considrese un sistema ejemplo
- tal como la administracin de un club deportivo.[88] Los
distintos cargos (presidente, auditor, tesorero, etc.) son
independientes de las personas que asumen esas tareas.
Considerando slo el esquema de los cargos (y por tanto
omitiendo las personas reales que trabajan en ellos), se
obtiene la estructura general de una asociacin. El club
en s, con las personas que han tomado posesin de los
cargos, ejemplica esta estructura.
Del mismo modo, cualquier sistema cuyos elementos tengan un sucesor nico ejemplica la estructura de los n-

3.8 Empirismo
El empirismo matemtico[94] puede trazarse a la obra de
John Stuart Mill,[95] para quien los conceptos matemticos proceden del mundo fsico y las verdades de la matemtica son verdades acerca del mundo fsico, aunque de
un carcter ms general. Las verdades matemticas seran
las verdades ms generales de todas (Dummett 1998, pp.
125-126).
A pesar que la sugerencia de Mill no despert gran inters entre matemticos (P Kitcher: el problema que muchas de sus formulaciones son imprecisas (casi invitando las bien conocidas ironas de Frege) y, en adicin,
Mill solo considera las ms rudimentarias partes de la
matemticas[96] ), la idea bsica fue eventualmente retomada por dos autores: Stephan Krner[97] y Lszl Kalmr.[98] Para Krner, las teoras cientcas integradas
en la matemtica funcionan y estn justicadas, junto
con su marco de trabajo matemtico como constituyentes sincategoremticos[99] de las proposiciones empricas
". Para Kalmar los axiomas de cualquier rama interesante de las matemticas fueron originalmente extrados,
ms o menos directamente, de los hechos empricos, y las
reglas de inferencia utilizadas en ella originalmente manifestaron su validez universal en nuestra prctica del pensamiento; III) la consistencia de la mayora de nuestros

7
sistemas formales es un hecho emprico, (y) an cuando
se ha demostrado, la aceptabilidad de los mtodos metamatemticos utilizados en la prueba (por ejemplo induccin transnita hasta cierto ordinal constructivo) es
de nuevo un hecho emprico..[100]
Esta visin ha sido expandida por, entre otros, Philip
Kitcher, quien busca sistematizarla;[101] Carl E. Behrens,
quien sugiere que Al rehabilitar el empirismo de John
Stuart Mill y combinarlo con el conocimiento cada vez
mayor de la naturaleza de la mente humana, podemos escapar del indenible universo platnico de la conciencia
inmaterial y abandonar la vana bsqueda por la certidumbre que ha plagado la losofa desde los tiempos de los
griegos.[102]

3.9

Cuasi-empirismo

El trmino cuasi-empirismo fue introducido por Imre Lakatos[103] a n de enfatizar un punto crucial de su sugerencia: Una teora Euclidiana puede ser proclamada verdadera. Una teora cuasi-emprica puede a lo ms
ser bien corroborada, pero es siempre conjetural. Adicionalmente, en una teora Euclidiana los postulados verdaderos bsicos en la cumbre del sistema deductivo (generalmente llamados 'axiomas) demuestran, por as decirlo, el resto del sistema; en una teora cuasi-emprica
los postulados bsicos (verdaderos) son explicados por
el resto del sistema. (op cit, seccin 2).
El cuasi-empirismo postula que para entender y explicar las matemticas no basta con analizar su estructura
lgica ni su lenguaje sino que hay que estudiar su prctica real, la manera en que efectivamente las aplican los
matemticos, las ensean los profesores y las aprenden
los estudiantes, su historia, las revoluciones que ocurren
en ellas, los paradigmas y los programas que dominan,
las comunidades de matemticos, el tipo de retrica que
se emplea en ellas y el papel que juega el conocimiento
matemtico en las distintas sociedades y culturas..[104]
El cuasi empirismo de Lakatos: Lakatos plantea que
la supuesta necesidad lgica (o verdad a priori) de las
matemticas deriva de que nos hemos olvidado, no conocemos, o no valoramos adecuadamente el proceso de
pruebas y refutaciones informales, siempre falibles, por
medio del cual se llega a las pruebas formales que despus dan lugar a las axiomatizaciones. Lakatos propone
que: 1) las pruebas formales son falseables por medio de
las pruebas informales; 2) el proceder de las matemticas no es axiomtico, como plantean los formalistas, sino
basado en una sucesin de pruebas y refutaciones que slo llegan a resultados falibles; 3) el intento de proveer de
fundamentos a las matemticas conlleva un retroceso al
innito; 4) la historia de las matemticas debe ser estudiada no a travs de teoras aisladas sino de series de teoras
o, mejor an, de programas de investigacin que incluyen un ncleo rme no falseable y un cinturn protector
de hiptesis auxiliares que s son falseables, pero que son

modicables;10 5) debemos preferir no el programa matemtico que est completamente axiomatizado sino el
que sea progresivo, esto es, el que permita descubrir hechos nuevos e inesperados.[105]
El cuasi empirismo de Putman: Hilary Putnam parte
de las tesis quineanas acerca del holismo de las teoras y
la naturalizacin de la epistemologa, pero tambin, como
su maestro Reichenbach, del impacto de la fsica moderna
en nuestra concepcin de la ciencia y de la realidad. En las
matemticas, segn Putnam, hay un juego entre postulacin, pruebas informales o cuasi-empricas y revolucin
conceptual. Putnam reconoce que las matemticas no son
ciencias experimentales y que son ms a priori que, por
ejemplo, la fsica, sin embargo seala que la distincin entre lo a priori y lo a posteriori es ms bien relativa: que algo sea a priori signica, simplemente, que juega un papel
fundamental en nuestra concepcin del mundo o en nuestra forma de vida y que, por tanto, no estamos dispuestos
a renunciar a ello. Concretamente, la teora de conjuntos es indispensable para la fsica, por ello, las entidades
sobre las cuales cuantica, a saber, los conjuntos, deben
ser considerados como reales, pues no se puede aceptar el
conocimiento que proporciona la fsica sin aceptar dichas
entidades o, mejor dicho, al aceptar el conocimiento de
la fsica, ya se ha aceptado, implcitamente, la teora de
conjuntos. As, las matemticas comparten el contenido
emprico con las teoras fsicas de las que forman parte y
se modican junto con ellas.

4 Vase tambin
Fundamentos de la matemtica
Historia de la matemtica
Principia mathematica
Logicomix

5 Notas y referencias
[1] Natura es la traduccin latina de la palabra griega physis
(), que en su signicado original haca referencia a
la forma innata en la que crecen espontneamente plantas
y animales. (ver D. Harper Physical). En Idioma alemn
el trmino naturaleza proviene de naturist, que signica
el curso de los animales, carcter natural."(ver D. Harper:
Nature
[2] Horsten, Leon, Philosophy of Mathematics, The Stanford
Encyclopedia of Philosophy (Summer 2012 Edition), Edward N. Zalta (ed.)
[3] Jeremy Avigad
[4] Bertrand Russell: Introduction to Mathematical Philosophy
chap 1

[5] I Lakatos: Innite regress and foundations of mathematics en Mathematics, science and epistemology Cambridge
U Press, 1978, p. 4
[6] Por ejemplo: Ivn Pedro Guevara V (2008): La losofa ha considerado siempre la matemtica como uno de
los objetos principales de sus investigaciones,.. " en LA
FILOSOFIA DE LA MATEMATICA: LA RAZON DE
SER DEL NUMERO.- Diego Fusaro: Siempre hay una
relacin inseparable entre la matemtica y la losofa..
en IL RAPPORTO FILOSOFIA - MATEMATICA (en
italiano en el original)
[7] M de Guzmn: Filosofa y matemticas
[8] Adianez Fernndez Bermdez: Una visin de la ciencia y
su relacin con la tica, en Mario Bunge
[9] R Gauss: frases clebres de o sobre Carl Friedrich Gauss.
[10] El sentido de las matemticas en la losofa de Platn
[11] Jos Luis Gmez Pardo: Observaciones sobre la naturaleza de la Matemtica, en Luis Puelles et al (Wenceslao J.
Gonzlez edt) (1988): Aspectos Metodolgicos de la Investigacin Cientca: Un Enfoque Multidisciplinar p 127
[12] JAVIER DE LORENZO: La matemtica: de sus fundamentos y crisis"- Tecnos, Madrid
[13] SIGLO XX: CRISIS EN LOS FUNDAMENTOS
[14] JOS M. FERREIRS: The Crisis in the Foundations of
Mathematics (en Princeton Companion to Mathematics
Proof)
[15] A Timeline for the Foundational Crisis and the Vienna
Circle
[16] Herman Weyl On the New Foundational Crisis in Mathematics
[17] Mario O. Gonzlez (1950): [http://www.filosofia.org/
hem/dep/rcf/n06p025.htm La crisis actual de los fundamentos de la Matemtica]
[18] Eduardo Harada O (2005): El cuasi empirismo en la losofa de las matemticas
[19] Jos Luis Gmez Pardo: Observaciones sobre la naturaleza de la Matemtica, en Luis Puelles et al (Wenceslao
J. Gonzlez edt) (1988): Aspectos Metodolgicos de la
Investigacin Cientca: Un Enfoque Multidisciplinar p
125- 156:
[20] Encyclopedia Britanica:
[21] Por ejemplo: Ulrich Majer (2004): Husserl Between Freges Logicism And Hilberts Formalism
[22] Ernst Snapper (1979); The Three Crisis in Mathematics:
Logicism, formalism and Intuitionism
[23] Lindstrm, S.; Palmgren, E.; Segerberg, K.; StoltenbergHansen, V. (Eds.) (2009): Logicism, Intuitionism, and
Formalism: What Has Become of Them?

NOTAS Y REFERENCIAS

[24] Ferran Mir Sabat (2006): Las discusiones posteriores sobre la losofa matemtica (la metamatemtica) ilustrarn
las distintas concepciones de la disciplina. Durante los aos
20s se desarrollar un profundo debate sobre las bases de
las matemticas que, a pesar de su cierre aparente, sigue
vigente en nuestros das. en LA POLEMICA INTUICIONISMO FORMALISMO EN LOS AOS 20. Cuaderno
de Materiales. Num. 23 (2011). ISSN 1139-4382. Pginas 557-574.
[25] Por ejemplo: Edward Nelson (2006): Warning Signs of a
Possible Collapse of Contemporary Mathematics
[26] Por ejemplo: Alex Levine: Conjoining Mathematical Empiricism with Mathematical Realism: Maddys Account of
Set Perception Revisited en Synthese.- Vol. 145, No. 3
(Jul., 2005), pp. 425-448
[27] Vase: Guillermo Mattei Irrazonable ecacia de la matemtica - ver tambin Eugene Paul Wigner: The Unreasonable Eectiveness of Mathematics in the Natural Sciences
[28] Luke Jerzykiewicz (2007) La gran mayora de los realistas de hoy en da, incluyendo el propio Stewart Shapiro,
sostienen que las entidades matemticas (o estructuras)
son abstractas y a-causal. 'Realismo', de hecho, viene a ser
casi sinnimo de 'platonismo'. en Platonist epistemology
and cognition p 1
[29] Para una visin general de esta posicin, ver Penelope
Maddy (1992) Realism in Mathematics
[30] Haim Gaifman: On Ontology and Realism in Mathematics
[31] De acuerdo a Davis y Hersh (ver la Experiencia matemtica el matemtico profesional tpico es un platonista durante la semana y un formalista en el Domingo (ver
Realismo platnico), lo que generalmente se interpreta como signicando que la mayora de los matemtico se comportan como si aceptaran que los objetos matemticos y
sus relaciones fueran objetivos, independientes de nuestra
voluntad o subjetividad, pero si se les demanda una justicacin de su posicin, adoptan el formalismo (ver ms
abajo)
[32] P Maddy, citada por Luis Miguel ngel Cano P (2003) en
Frege y la nueva lgica.
[33] K Gdel: Los conceptos tienen una existencia objetiva
en My philosophical viewpoint
[34] Guillerma Daz Muoz (2000): Aproximacin del realismo matemtico de Gdel al realismo constructivo de Zubiri
[35] Michael Dummett (1998): La existencia de los objetos
matemticos. Teorema, XVII (2). pp. 5-24.
[36] Mark Steiner (1983): Mi intencin es argumentar a favor de la realidad de ciertas entidades matemticas en
Mathematical Realism Nos Vol. 17, No. 3 (Sep., 1983),
pp. 363-385
[37] The Fregean Argument for Object Platonism
[38] Internet Enciclopedia of Philosophy: Mathematical Platonism

[39] Jos Ferreirs (1999) Matemticas y platonismo(s)

[40] L Bonjour: In Defense of Pure Reason. (London: Cambridge University Press, 1998) Entrada en wikipedia inglesa acerca de Bonjour

[48] Para una profundizacin, ver, por ejemplo Douglas Patterson: Introduccin en New Essays on Tarski and Philosophy; P. M. S Hacker: On Carnaps Elimination of
Metaphysics en Wittgenstein: Connections and Controversies, etc

[41] P Benacerraf: The Truth

[49] Formalismo, I. Filosofa

[42] IEP; The Indispensability Argument in the Philosophy of

Mathematics
[43] W. D. Hart (1991): Benacerrafs Dilemma
[44] Bob Hale and Crispin Wright Benacerrafs Dilemma Revisited
[45] Eleonora Cresto (2002): Benacerraf nos ofrece all un
dilema, moldeado sobre la dicotoma entre platonismo y
constructivismo: el primero nos permite entender como es
que los enunciados matemticos son verdaderos, pero no
como es que los conocemos, el segundo explica el conocimiento matemtico, pero no la verdad. en Comentarios a
La losofa de la matemtica del segundo Wittgenstein:
El problema de la objetividad de la prueba matemtica
[46] Rui Vieira (2010): Sin embargo, en un importante artculo, Mathematical Truth, en el Journal of Philosophy,
Vol. 70 (1973), el lsofo Paul Benacerraf argument que
las explicaciones anti-platnicas de las matemticas deprivan los enunciados matemticos de su verdad objetiva en el sentido cotidiano popular, es decir, de la idea de
que las verdades matemticas son verdaderas piense alguien en ellas o no. La verdad objetiva es una propiedad
de las matemticas que para la mayora de nosotros es obvia, pero explicaciones anti-platnicas hacen las matemticas subjetivas (aunque el argumento de Benacerraf se
dirige al convencionalismo y al formalismo, no creo que
las tentativas del intuicionismo se libren nada mejor. en
Mathematical Knowledge: A Dilemma.
[47] GREGORY LAVERS (2009): El sentido comn respecto a la verdad y la forma sintctica de los enunciados matemticos nos lleva a concluir que los enunciados matemticos se reeren a objetos abstractos. Al mismo tiempo,
ese sentido comn, en relacin a la epistemologa, parece implicar que los enunciados matemticos no pueden
referirse a objetos abstractos (en BENACERRAFS DILEMMA AND INFORMAL MATHEMATICS) y Segn Benacerraf, cualquier explicacin de la verdad matemtica debe satisfacer dos requisitos bsicos: erigirse
sobre la base de una semntica y de una epistemologa
paralelas a las usuales en el discurso no matemtico. La
semntica usual es necesaria para que los trminos de los
enunciados matemticos se reeran a entidades reales, si
tales enunciados han de ser verdaderos, como suponemos
en nuestro usos lingsticos habituales. La epistemologa
se necesita para que la verdad de los enunciados matemticos presuponga algn conocimiento de las entidades referidas por los trminos enunciados, como suponemos en
nuestro discurso habitual.... prosigue Benacerraf, en general las explicaciones disponibles de la verdad matemtica
no logran satisfacer ambos requisitos, sino ms bien alguno de ellas a expensas del otro.. Francisco Rodriguez
C: Lo que es y no es la verdad matemtica

[50] Para una introduccin general, ver ngel Ruiz Z 26.3 El

formalismo (en Historia y losofa de las matemticas)
[51] Jean-Paul Collette (1993): Historia de las matemticas,
volumen 2, Volume 2 p 577 y sig
[52] Diego Pareja H (2008): el concepto moderno de formalismo que incluye las tcnicas del razonamiento nitista
debemos atribuirlo a Hilbert y a sus discpulos. en 5. 8
David Hilbert y el formalismo. Razonamientos nistas
son aquellos razonamientos absolutamente seguros y libres de cualquier clase de sospecha (ibid)
[53] Ferran Mir S (2006): La conocida intervencin de David
Hilbert (1862-1943) en el Congreso Internacional de Paris de 1900, en la que planteo los 23 problemas matemticos a resolver durante el siglo XX, iba mucho ms all
de la mera relacin de dichos problemas. La conviccin
claramente expresada por Hilbert de que todo problema
ha de tener su solucin basada en la pura razn [6, Pags.
125 y ss.]: En las matemticas no existe el ignorabimus.
Un ao antes, Hilbert haba publicado su Grundlagen der
Geometrie, en el que estableca los axiomas a partir de
los cuales poda desarrollarse, mediante pura deduccin,
toda la disciplina en todas sus variantes, tanto euclideas
como no euclideas. Mediante este ideal axiomtico poda
construir un raciocinio sobre objetos que no necesitaba
denir; al contrario de Euclides que haba precisado de
una denicin (intuitiva) de los objetos bsicos (punto, lnea, plano, etc.). El hecho de prescindir de las deniciones
de los objetos bsicos, hace que se le haya reprochado la
reduccin de las matemticas al estudio de las simples relaciones entre objetos abstractos: un puro juego con smbolos. La combinacin del ideal axiomtico con la conviccin de que todo problema debe tener solucin, conducir
en los aos sucesivos a la idea de completud del sistema
axiomtico. En los primeros aos del siglo XX, esta idea
es todava vaga [13, Pg. 151], pero esta claro que Hilbert
considera que desde un reducido grupo de axiomas pueden derivarse la totalidad de los teoremas aceptados en las
matemticas ordinarias. Tambin esta presente la idea de
simplicidad: el conjunto de axiomas ha de ser lo ms reducido posible y deben ser independientes unos de otros.
en LA POLEMICA INTUICIONISMO FORMALISMO
EN LOS AOS 20.
[54] Pedro Angulo L (2010): EPISTEMOLOGA DE LA
MATEMTICA. CASO: FORMALISMO
[55] Aroca, Jos Manuel El progreso de la matemtica en los
ltimos 25 aos
[56] H Putnam (1967): The Thesis that Mathematics is Logic.
[57] Russell Marcus (2006): Pluribus Putnams Unum p 6
[58] Keith Hossack (1991): Access to Mathematical Objects.Crtica: Revista Hispanoamericana de Filosofa.- Vol
XXIII, N 68 (Agosto 1991) 157- 181

10

[59] Iemho, Rosalie, Intuitionism in the Philosophy of

Mathematics, The Stanford Encyclopedia of Philosophy (Fall 2012 Edition), Edward N. Zalta (ed.),
forthcoming URL = <http://plato.stanford.edu/archives/
fall2012/entries/intuitionism/>
[60] van Atten, Mark: Sobre la base de su losofa de la mente, en la que Kant y Schopenhauer fueron las principales
inuencias, Brouwer caracteriza principalmente las matemticas como la libre actividad del pensamiento exacto,
una actividad que se basa en la intuicin pura del tiempo
(interior). Ningn reino independiente de los objetos y el
lenguaje juegan algn papel fundamental. De este modo
se esforz por evitar la Escila del platonismo (con sus problemas epistemolgico) y el Caribdis del formalismo (con
su pobreza de contenido). Dado que, en vista de Brouwer,
no hay factor determinante de la verdad matemtica fuera de la actividad de pensar, una proposicin slo se hace
realidad cuando el sujeto ha experimentado su verdad (por
haber llevado a cabo una construccin mental apropiado),
de manera similar, una proposicin slo es falsa cuando el
sujeto ha experimentado su falsedad (por darse cuenta de
que una construccin mental apropiado no es posible). Por
lo tanto Brouwer puede armar que no hay verdades sin
experiencia (Brouwer, 1975, p.488). en 3. Brief Characterization of Brouwers Intuitionism en Luitzen Egbertus
Jan Brouwer
[61] Carlos Torres A: El intuicionismo fue la respuesta de
Brouwer al logicismo de Russell, a la matemtica no constructiva y a las paradojas, y se apoya en tres tesis radicales:
i) los objetos matemticos se construyen directamente en
la intuicin pura, siendo por ello previos al lenguaje y a
la lgica; ii) las leyes que rigen el comportamiento de dichos objetos derivan de su construccin, no de la lgica,
como pretenden Frege, Russell y los logicistas 33 y iii) en
la matemtica no es admisible ninguna teora que rebase
el marco de lo dable en la intuicin, como sostienen Hilbert y los cantorianos. en KANT VISTO DESDE LAS
MATEMTICAS revista unam vol.6/num 1 (2005) seccin El intuicionismo de Brouwer, pp 15-19
[62] L. E. J. Brouwer (1913): INTUITIONISM AND FORMALISM Bull. Amer. Math. Soc. 20 (2): 8196. MR
1559427.
[63] DIEGO PAREJA HEREDIA: Para los intuicionistas las
bases de las matemticas estaban en la explicacin del origen, o la esencia de los nmeros naturales 1, 2, 3,... Para la
losofa intuicionista, todo ser humano tiene una intuicin
congnita en relacin con los nmeros naturales. Esto signica en primer lugar que tenemos una certeza inmediata
de lo que signicamos con el nmero 1, y en segundo lugar, que el proceso mental que origin el numero 1 puede
repetirse. La repeticin de este proceso, induce la creacin
del nmero 2, una nueva repeticin y aparece el nmero
3. En esta forma, el ser humano puede construir cualquier
segmento inicial 1, 2, 3,..., n, donde n es un natural arbitrario. Esta construccin mental de un nmero natural tras de
otro, nunca podra darse, si no tuviramos dentro de nosotros, una preconcepcin del tiempo. Cuando armamos
2 va despus de 1, el trmino despus tiene una connotacin de tiempo, y en ese aspecto Brouwer se adhiere al
lsofo Immanuel Kant (1724-1804) para quien la mente humana tiene una apreciacin inmediata de la nocin

NOTAS Y REFERENCIAS

de tiempo. Kant us la palabra intuicin para apreciacin inmediata, y es de all de donde proviene el trmino
intuicionismo. " en 5.7 Brouwer, Heyting y el Intuicionismo.
[64] La intuicin a la que se hace referencia tiene un sentido ms bien especializado: Miguel Espinoza: Se supone
que un conocimiento intuitivo no ocurre en etapas, no es
gradual como una inferencia, como el conocimiento que
presupone el lenguaje, como la aplicacin de un algoritmo. Digo se supone porque la inmidiatez podra ser una
ilusin. Que la conciencia sea incapaz de seguir los diferentes pasos del cerebro no signica que biolgicamente haya tambin inmediatez. La rapidez de un ordenador
no implica intuicin. A veces en matemticas se entiende
tambin por intuicin las operaciones de calculo o lo que
llega a entenderse fcilmente. En la intuicin, lo aprehendido y la operacin de la mente forman un solo proceso,
tienen una sola forma, por eso no se plantea el problema
de la verdad-adecuacion. Para preguntarnos si lo que pensamos corresponde o no a algo externo al pensamiento, es
necesario que el intelecto y la cosa estn separados. Esto
no ocurre en la intuicin. Es entonces la falta de distincin
sujeto-objeto, la inmediatez atribuida a la intuicin que ha
dado a los intuicionistas la conanza en este modo de conocimiento. Toda inferencia debe estar basada nalmente
en verdades intuitivas, en Intuicionismo y objetividad p
101-102
[65] J. BARRIO GUTIRREZ: Intuicionismo matemtico.
Una de las corrientes matemticas de ms fecundidad en
el momento actual es el llamado Intuicionismo matemtico. En oposicin al formalismo de Hilbert (v.), fue creado por L. Brouwer (v.) sobre la base de anteriores ideas
defendidas por L. Kronecker. La tesis fundamental de
este i(ntuicionismo) es la armacin de que la Matemtica (v.) est constituida exclusivamente por un conjunto de entes construidos intuitivamente por el matemtico, sobre los que se seguirn construyendo otros mediante un sistema operacional claro, preciso y fecundo. en
INTUICIONISMO
[66] De acuerdo a Brouwer un ente solo existe si puede ser
construido a partir de la intuicin primordial.- Brouwer,
citado por Espinoza en Intuicionismo y objetividad p 110.
[67] Dick de Jongh: Intuicionismo
[68] Ferran Mir Sabat (2006): LA POLEMICA INTUICIONISMO FORMALISMO EN LOS AOS 20. El Principio de Tercio Excluso.
[69] A. N. Kolmogorov: On the principle of excluded middle, pp. 414437.
[70] ver Jorge Alberto Molina (2008): Negacin y Doble Negacin en el Intuicionismo de Brouwer
[71] SEP: 2.2 Intuitionism
[72] Dick de Jongh: Intuicionismo
[73] Ver Miguel Espinoza (2003): Intuicionismo y Objetividad
(Thmata, Nro 30) p 111 112 y 103-106

11

[74] Esta concepcin se basa, de acuerdo a Angela Patricia Valencia Salas; Angela Patricia Franco Urin en el uso de
la nocin del tiempo como base primordial de su elaboracin del continuo. El tiempo es el nico elemento a
priori del continuo. Este se basa en lo que Brouwer denomina intuicin primordial o primigenia, que consiste
en la capacidad de conciencia de la relacin entre antesdespus, pasado-presente, como unidad de lo continuo y
lo discreto, la posibilidad de pensar a la vez en singularidades unidas por un entre que nunca se agota por insercin de nuevas singularidades, por tanto es imposible
tomar alguno de ellos como autosuciente construir el otro
a partir de ah. Zalamea (2001) menciona que uno de los
rasgos que caracteriza la idea de un continuo sinttico es
la Genericidad, que reere a lo no particularizante, a la
iniciacin de un gran espacio de posibilidades no actualizadas ni determinadas y esto se observa en Brouwer tomando como base su Intuicin Primigenia. en SOBRE
UNA CONSTRUCCIN ALTERNATIVA AL CONTINUO DE CANTOR: EL CONTINUO INTUICIONISTA

[80] Win Veldman: Some applications of Brouwers Thesis on

Bars, en One Hundred Years of Intuitionism (1907-2007):
The Cerisy Conference pp 326 y sig (esp p 330)
[81] THIERRY COQUAND (2003): About Brouwers fan
theorem
[82] Para una visin mas profunda de estos desarrollos, ver
A.G. Dragalin (originator) Intuitionism. en Encyclopedia
of Mathematics.
[83] ver Gustavo Fernndez D: Desarrollos posteriores de intuicionismo y constructivismo p 102 y sig
[84] Bishop, E. (1967): Foundations of Constructive Analysis,
New York: McGraw-Hill (ver Revisin del libro (ambos
en ingls)
[85] Gustavo Fernandez D: SEMINARIO DE LOGICA Y FILOSOFIA DE LA CIENCIA I, pagina 101: Desarrollos
posteriores de intuicionismo y constructivismo

[75] ver: Abraham Adolf Fraenkel, Yehoshua Bar-Hillel, Azriel Lvy (1973): Foundations of set theory p 259

[86] Bridges, Douglas, punto 3.3: Bishops Constructive

Mathematics en Constructive Mathematics, The Stanford Encyclopedia of Philosophy (Fall 2012 Edition), Edward N. Zalta (ed.)

[76] L. E. J. Brouwer, citado por D. P HEREDIA 5.7 Brouwer, Heyting y el Intuicionismo.

[87] Stewart Shapiro, en Mathematical Structuralism en Internet Encyclopedia of Philosophy (IEP) 2010

[77] Michel Bordeau: El Error de Cantor en Jorge Martnez

Contreras, Aura Ponce de Len, Luis Villoro: El saber losco esp pp 396- 405

[88] Stewart Shapiro, Thinking About Mathematics, Oxford

2000, S. 263

[78] Para profundizar estas, ver: Abraham Adolf Fraenkel,

Yehoshua Bar-Hillel, Azriel Lvy (1973): Foundations of
set theory pp 252-264: The Primordial intution of integer: Choice sequences and Brouwers concept of set
[79] van Atten, Mark: Los teoremas fundamentales del anlisis intuicionista - el teorema de la barra, el teorema del
abanico, y el teorema de la continuidad - se encuentran en
Sobre los dominios de denicin de las funciones (Brouwer, 1927). Los dos primeros son teoremas estructurales
sobre los diferenciales, y el tercero (que no debe confundirse con el principio de continuidad para las secuencias
de eleccin) establece que cada funcin total [0,1]
es continua e incluso uniformemente continua. El teorema del abanico es, de hecho, un corolario del teorema de
la barra; combinado con el principio de continuidad, que
no es vlido clsicamente, produce el teorema de continuidad, que tampoco es clsicamente vlido. Los teoremas de
las barras y el abanico son, por otro lado, clsicamente vlido, aunque las pruebas clsicas y intuicionista para ellos
no son intercambiables. Las pruebas clsicas no son intuicionisticamente aceptable debido a la manera en que
depender de PEM, las pruebas intuicionistas no son clsicamente aceptables porque dependen de la reexin sobre
la estructura de las pruebas mentales. En esta reexin,
Brouwer introdujo la nocin de la forma de una prueba
con anlisis completo o cannica, que sera adoptada
ms tarde por Martin-Lf y por Dummett. En una nota al
pie, Brouwer menciona que tales pruebas, que l identica
con los objetos mentales en la mente del sujeto, suelen ser
innitas. en 4. Brouwers Development of Intuitionism en
Luitzen Egbertus Jan Brouwer

[89] Para una introduccin a este aspecto, ver

STRUCTURALISM, MATHEMATICAL Ver tambin Julian C. Cole (2010): Mathematical Structuralism
Today
[90] Por ejemplo: Uri Nodelman - Edward N. Zalta.:
Foundations for Mathematical Structuralism
[91] Por ejemplo: S. Shapiro (1997): Philosophy of Mathematics: Structure and Ontology
[92] Por ejemplo: Michael D. Resnik (2004): Structuralism and
the Independence of Mathematics
[93] Por ejemplo: G. Hellman (1996): Structuralism without
structures
[94] Para una visin general del empirismo matemtico, ver
David Bostock (2009): Empiricism in the Philosophy of
Mathematics en D. M. Gabbay; P. Thagard; J. Woods
(edtrs): Philosophy of Mathematics p 157- 230
[95] J. S. Mill: La matemtica es la ciencia emprica de validez ms general..- citado por Mario A. Natiello en Los
fundamentos de la matemtica y los teoremas de Gdel.Vase tambin J. S. Mill: System of logic (El sistema de
la lgica), vol 2, libro III, cap XXIV, punto 4, p 162, etc
[96] P Kitcher: The Nature of Mathematical Knowledge, p 4
(introduccin)
[97] S. Krner, (1965): An Empiricist Justication of Mathematics, en Yehoshua Bar-Hillel (ed.), Logic, Methodology and Philosophy of Science.- Amsterdam: North Holland, 1965, pp. 222-227. (cuentas de International Congress of Logic, Methodology and Philosophy of Science
1964)

12

[98] L Kalmr (1967): Foundations of mathematics - Whither

now?" en I. Lakatos (ed.). Problems in the Philosophy
of Mathematics Amsterdam: North-Holland, 1967, pp.
192-193. (Proceedings of the Colloquium in the Philosophy of Science, London, 1965.)
[99] En la lgica escolstica, un trmino sincategoremtico
(sincategorema) es una palabra que no puede servir como el sujeto o el predicado de una proposicin, y por lo
tanto no puede representar a ninguna de las categoras de
Aristteles, pero se puede utilizar con otros trminos para
formar una proposicin. Palabras como 'todo', 'y', 'si' son
ejemplos de tales trminos. Ver Syncategorematic term
[100] Patrick Peccatte (1998): Quasi-empiricism and antifoundationalism
[101] P Kitcher (1983) The Nature of Mathematical Knowledge
(Oxford University Press)
[102] C. E. Behrens (2012): Empiricism: An Environment for
Humanist Mathematics
[103] I. Lakatos (1976): A Renaissance of Empiricism in the
Recent Philosophy of Mathematics
[104] Eduardo Harada O (2005): El cuasi-empirismo en la losofa de las matemticas p 18
[105] Eduardo Harada O (2005): El cuasi-empirismo en la losofa de las matemticas p 18

5.1

Bibliografa

NOTAS Y REFERENCIAS

Lakatos, Imre. (1978 / 1986) Pruebas y Refutaciones: La Lgica Del Descubrimiento Matemtico.Alianza Universidad
Lakatos, Imre. La metodologa de los Programas
de investigacin cientca. Alianza. Madrid. 1993.
Lorenzo, Javier. de: La matemtica: de sus fundamentos y crisis.- Tecnos, Madrid.
Lorenzo, J. de (1992), Kant y la matemtica. El uso
constructivo de la razn pura, Editorial Tecnos, 1992
Maza Gmez, C. (2008), Matemticas en la antigedad
Macbeth; Danielle: Logic and the Foundations of
Mathematics
Ruiz Ziga; ngel: Matemtica y Filosofa CIMM - Universidad de Costa Rica
Shabel, Lisa (1997), Mathematics in Kants Critical Philosophy. Reections on Mathematical Practice, London: Routledge, 2003
Shapiro; Stewart (1997). Philosophy of Mathematics: Structure and Ontology. Oxford University
Press.
Shapiro, Stewart (2000). Thinking about Mathematics: The Philosophy of Mathematics. Oxford University Press.

Can L; Camino (1993): La matemtica: creacin

y descubrimiento

Shapiro; Stewart (Edtr 2005): The Oxford Handbook of Philosophy of Mathematics and Logic

Collette; Jean-Paul (1993): Historia de las matemticas, volumen 2

Sols, Carlos y Sells, Manuel (2005), Historia de la

ciencia, Editorial Espasa, 2005

Davis; Philip J. y Hersh; Reuben (1981):

Experiencia matemtica (Introduccin general 5.2 Enlaces externos
no tcnica)
Logicismo, en PhilPapers.
Dummett, Michael (1998), The Philosophy of
Formalismo, en PhilPapers.
Mathematics en Grayling, A. C. (ed.)Philosophy
2: Further Through The Subject, Oxford University
Press, 1998.
Gabbay;D. M.- Thagard; P.- Woods; J. (edts):
Philosophy of Mathematics
George; Alexander - Velleman; Daniel (2001)
Philosophies of Mathematics
Kline; Morris (1980): Mathematics: The Loss of
Certainty
Kline; Morris: Matemticas. La prdida de la certidumbre. Siglo XXI Espaa 1985 (1a Ed.), Mxico
2000 (5a Ed.)
Krner, Stephan (1968), Introduccin a la losofa
de la matemtica, Editorial Siglo XXI, 1968

Intuitionismo y constructivismo, en PhilPapers.

Estructuralismo, en PhilPapers.

13

Text and image sources, contributors, and licenses

6.1

Text

Filosofa de la matemtica Fuente: http://es.wikipedia.org/wiki/Filosof%C3%ADa%20de%20la%20matem%C3%A1tica?oldid=

81042753 Colaboradores: Sabbut, CEM-bot, Davius, Lnegro, Technopat, Leonpolanco, Ferran Mir, Luis Felipe Schenone, Jerowiki, Grillitus, Hiperfelix, KLBot2, MetroBot, Invadibot, Acratta, Rauletemunoz, Rotlink, Eyetheunlord, Emi.cool3, Orlansky, Olderbrown y Annimos: 2

6.2

Images

6.3

Content license

Creative Commons Attribution-Share Alike 3.0