Filosofa de la matemtica

Filosofa de la matemtica
La filosofa de las matemticas es un rea de la filosofa terica, que trata de comprender y explicar los requisitos, el objeto, el mtodo y la naturaleza[1] de las matemticas. Como rea de estudio puede ser aproximada desde dos direcciones: el punto de vista de los filsofos y el de los matemticos. Desde el punto de vista filosfico, el objetivo principal es dilucidar una variedad de aspectos problemticos en la relacin entre las matemticas y la filosofa. Desde el punto de vista matemtico, el inters principal es proveer al conocimiento matemtico de fundaciones firmes. 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 filsofos profesionales investigan cuestiones filosficas relativas a las matemticas, se dice que contribuyen a la filosofa de las matemticas. Por supuesto, la distincin entre la filosofa de las matemticas y los fundamentos de las matemticas es vaga, y a la mayor interaccin que haya entre los filsofos y los matemticos que trabajan en cuestiones relativas a la naturaleza de las matemticas, mejor..[2] De acuerdo a Jeremy Avigad (profesor de ciencias matemticas y de filosofa 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 filosofa 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 provocado controversia y debate; clarificar los objetivos bsicos de esta prctica y los mtodos apropiados es, por lo tanto, una la tarea metodolgica yfundacional importante, situando la filosofa de las matemticas dentro de la filosofa general de la ciencia. 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] Como ya se ha sugerido, estas aproximaciones no son conflictivas. 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 filosofa matemtica moderna como profundamente empotrada en la epistemologa general y como solo siendo entendible en ese contexto. (nfasis de Lakatos.[5])

Filosofa de la matemtica Dada la vastedad y complejidad del tema, lo que sigue ofrece una visin muy superficial.

Introduccin
Desde la antigedad la filosofa ha tenido inters en, por lo menos, ciertos aspectos de la matemtica.[6] En las palabras de Miguel de Guzmn: "Pero hay otros aspectos interesantes de la matemtica que atraen de modo natural al filsofo. La dinmica interna del pensamiento matemtico, la lgica de su estructura, simple, tersa, sobria, clara, hacen de ella un modelo de reflexin fiable que suscita el consenso de todos. Los filsofos interesados en aclarar los misterios del conocimiento humano han visto en el pensamiento matemtico un campo ideal de trabajo donde poner a prueba sus hiptesis y teoras.".[7] Mario Bunge va tan lejos como a sugerir que las matemticas son no solo el fundamento no slo del quehacer cientfico sino tambin filosfico.[8] Por mucho de ese tiempo la opinin general era la que Carl Friedrich Gauss resumi: La matemtica es la reina de las ciencias y la aritmtica es la reina de las matemticas. Ella a menudo se digna a prestar un servicio a la astronoma y a otras ciencias naturales, pero en todas las relaciones, tiene derecho a la primera fila.[9] Esta preeminencia se deba a una percepcin que, ltimamente, emana de Platn: "En las matemticas se halla el origen y fundamento de la teora platnica de las formas o ideas. En esta la idealizacin de los entes matemticos se transforma en la idealizacin de los entes fsicos y psquicos. La verdad matemtica, por su invariabilidad en el tiempo, era el modelo a seguir en todo conocimiento intelectual. El mtodo deductivo, que partiendo de axiomas y definicines llegaba a la demostracin de teoremas, era el modelo prestigioso de razonamiento para todo saber. En el dilogo "Menn" Scrates, a travs de preguntas y respuestas, hace que un esclavo alcance por su propio razonamiento una verdad matemtica; as, de una manera popular, expone Platn que las matemticas estn en el alma humana, ya que en esta se halla presente el logos que gobierna el mundo material mediante las proporciones aritmticas y geomtricas. Slo se requiere la introspeccin para volvernos conscientes de ese saber interno.".[10] Esa posicin es generalmente conocida como Realismo; platonismo o Realismo platnico y "de manera muy esquemtica, puede sintetizarse en la creencia de que los objetos matemticos son reales y su existencia es un hecho objetivo e independiente de nuestro conocimiento de los mismos.... existen fuera del espacio y del tiempo de la experiencia fsica y cualquier pregunta significativa sobre ellos tiene una respuesta definida. As el matemtico es, en este sentido, como un cientfico emprico que no puede inventar ni construir sino solo descubrir algo que ya existe.[11] Sin embargo, hacia fines del siglo XIX esta situacin comenz a cambiar, proceso que eventualmente culmin, a fines 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] Esa situacin ha sido resumida de la siguiente manera[19] "Hasta bien entrado el siglo XIX, la Geometra era universalmente considerada la rama ms firme del conocimiento.... La Geometra era, simplemente, el estudio de las propiedades del espacio. Estas se manifestaban como verdades objetivas, universalmente vlidas para la mente humana. Durante el siglo XIX sucedieron varios desastres que iban a cambiar completamente esta situacin. El primero fue el descubrimiento de Geometras no eucldeas, al que inmediatamente sigui otro desastre mayor: el desarrollo del anlisis por caminos contrarios a la intuicin geomtrica (curvas que llenan el espacio, funciones continuas no diferenciables, etc) lo que puso de manifiesto la gran vulnerabilidad del nico fundamento que hasta entonces tenan las Matemticas: la intuicin geomtrica. Esto era una autntica catstrofe puesto que en algn sentido implicaba la prdida de la certeza, no solo en la Matemtica sino en todo el conocimiento humano.

Filosofa de la matemtica Se pens entonces buscar otra base segura para fundamentar las Matemticas, y as Dedekind y Weierstrass mostraron como era posible construir el anlisis -el continuo- a partir de la Aritmtica. Pareca que todo volva a estar en orden, pues nadie dudaba de la certeza proporcionada por nuestra intuicin de contar y as los nmeros enteros seran la nueva base segura para todo el edificio matemtico... (ver Programa de Hilbert). Pero el intento de fundamentar rigurosamente la Matemtica iba a ser llevado un paso ms lejos por Frege, quien comenz un ambicioso programa para basar las Matemticas en la Lgica -a travs de la Aritmtica. Este fue el punto de partida de la escuela logicista que ms tarde seria continuada por Russell y Whitehead. La idea logicista consista en demostrar que la Matemtica clsica era parte de 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 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 definicin: 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." 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]

Problemas
Al respecto de todo lo anterior hay algunas interrogantes fundamentales y sistemticas tales como: 1. el modo de ser de los objetos matemticos: acaso estos existen "realmente" e independientemente de cualquier empleo especfico, y si es as, en qu sentido? Y qu significa referirse a un objeto matemtico? Cul es el carcter de los teoremas matemticos? Cul es la relacin entre la lgica y las matemticas? - Aqu se trata de cuestiones ontolgicas. 2. el origen del conocimiento matemtico: Cules son la fuente y la esencia de la verdad matemtica? Cules son las condiciones de la ciencia matemtica? Cules son, en lo fundamental, sus mtodos de investigacin? Qu papel, en relacin a lo anterior, la naturaleza del ser humano? - Aqu se trata de cuestiones epistemolgica. 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, infinito etc., adquieren un significado que trasciende el mbito estrictamente matemtico? El punto de partida es casi siempre la concepcin de que las proposiciones matemticas son ciertas por principio, 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.

Filosofa de la matemtica

Corrientes
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, funcines, 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, figuras 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 realismo ontolgico es incompatible con todas las variedades de la filosofa materialista. Es representado, entre otros matemticos, por Kurt Gdel,[33][34] Eugene Paul Wigner y Paul Erds. Entre los filsofos que han adoptado la posicin se cuentan Willard Van Orman Quine; Michael Dummett[35] , Mark Steiner.[36] Alrededor de los 1900 tuvo mucha influencia en esa posicin el El argumento de Frege,[37] que se puede resumir as: "Trminos singulares que se refieren a nmeros naturales aparecen en enunciados verdaderos simples. Solo es posible para los enunciados simples con trminos singulares como componentes ser verdaderos si los objetos a los que se refieren los trminos singulares existen. Por lo tanto: los nmeros naturales existen. Pero, si los nmeros naturales existen, son objetos abstractos que son independientes de todas las actividades racionales. Por lo tanto: los nmeros naturales son objetos abstractos que existen independientes de todas las actividades racionales, es decir, el objeto aritmtico del platonismo es verdad." La forma clsica del realismo es el platonismo, que ha sido definido 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 designar un modo de razonar que es caracterstico sobre todo del anlisis matemtico y la teora de conjuntos, aunque 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] El principal problema del platonismo en la filosofa de las matemticas es la pregunta, cmo podemos nosotros, como seres finitos, reconocer los objetos matemticos y las verdades si stas se encuentran en las "esferas celestiales de las ideas". De acuerdo a Gdel, esto se logra mediante la intuicin matemtica que, de manera similar a un rgano sensorial, hace que los seres humanos percibamos partes de ese otro mundo. Tales intuiciones racionales tambin son defendidas por la mayor parte de los clsicos del racionalismo, as como, en debates ms recientes acerca de la justificacin y el conocimiento a priori, entre otros por Laurence Bonjour.[40] Sin embargo, el tratamiento ms sofisticado de este asunto (por Paul Benacerraf en su artculo Mathematical Truth, de 1973[41]), sugiere que el problema es ms profundo: "nuestras mejores teoras epistmicas parecen excluir cualquier conocimiento de los objetos matemticos.".[42] (Esto es generalmente conocido como el Dilema de Benacerraf[43][44] dado que es generalmente interpretado como estableciendo debemos abandonar nuestras teoras epistemologas o la certeza matemtica.[45][46][47] 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: 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

Filosofa de la matemtica cientficas." (es decir, debemos afirmar 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 cientficas. Por lo tanto, debemos reconocer la existencia de esos objetos o estructuras."

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 contenido; se trata, pues, de un sistema formal vaco. Este sistema formal estara integrado por uno o ms conjuntos de elementos fundamentales, por relaciones definidas 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 determinadas reglas (las del razonamiento lgico).[50][51] David Hilbert es generalmente considerado fundador del formalismo moderno.[52] Su inters era la construccin axiomtica consistente y completa de la totalidad de las matemticas,[53] seleccionando como punto de partida los nmeros naturales y asumiendo que mediante el uso de axiomas se obva la necesidad de definir los objetos bsicos (op. cit) con el fin de lograr un sistema completo y consistente (ver Programa de Hilbert). En esta visin los enunciados matemticos pierden el carcter de verdades; dejan de ser, en ltima instancia, proposiciones "sobre algo". Lo que importa son las relaciones que se establecen entre ellos: "Hilbert sostiene que la verdadera importancia en la construccin de los saberes matemticos no es el resultado numrico, sino la ley de cmo estructurar las relaciones entre los objetos matemticos.... Las reglas que enlazan funcionalmente los objetos con su sistema de referencia formarn parte de un Sistema Formalizado Matemtico; en donde, se entiende como formalizacin a un conjunto de leyes descubiertas en el seno de su misma estructura, la que mantiene su consistencia en las demostraciones."[54] Otro matemtico de nota que fue inspirado por el formalismo fue Haskell Curry, generalmente considerado el fundador de la lgica combinatoria. 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]

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 significados, 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 confiar, en cambio, que existe una interpretacin de las cadenas de caracteres sugerida por ejemplo por la fsica o por otras ciencias naturales, tal que las reglas conduzcan a afirmaciones verdaderas. Por lo tanto un matemtico deductivista puede mantenerse al margen tanto de la responsabilidad por la interpretacin como de las dificultades ontolgicas de los filsofos. El deductivismo fue introducido formalmente por Hilary Putnam[56] "como una respuesta a algunos problemas con el logicismo de Russell en su Principia".[57] Putnam propone considerar las matemticas como el estudio de las consecuencias de los axiomas, usando teora de modelos. En consecuencia, Putnam interpreta las proposiciones

Filosofa de la matemtica matemticas como refiriendose a un posible modelo para esas proposiciones. A diferencia del logicismo estricto, el deductivismo basa y transforma la matemtica en una lgica en un sentido mucho ms amplio que el sentido logicista. La lgica deductivista incluye, por ejemplo, la teora de conjuntos necesaria para estudiar las consecuencias que siguen de axiomas. (R. Marcuss. op. cit). Los deductivistas requieren que toda y cada prueba matemtica sea una deduccin. Ellos reconocen que no todas tales pruebas son estrictamente vlidas (ver Validez (epistemologa) y Validez (lgica)), pero consideran que toda prueba informal debe ser completable como deduccin a fin de ser considerada vlida[58] Quizs sea necesario notar que "deductivismo" es un concepto amplio, consecuentemente, el logicismo seria solo una versin (usando una concepcin ms restrictiva de la lgica matemtica) del deductivismo (Hossack, op. cit).

Intuicionismo
El intuicionismo matemtico[59] rechaza tanto la sugerencia logicista como la formalista, proponiendo que el conocimiento matemtico se basa en la aprehensin -que antecede cualquier lenguaje o lgica- de algunos conceptos matemticos bsicos.[60][61] Este intuicionismo se origina en la propuesta de L. E. J. Brouwer[62] que el saber matemtico se basa en la intuicin primordial[63][64] de los nmeros naturales ( 1, 2, 3... ). Cada uno de esos nmeros puede, a partir de la intuicin bsica del 1, ser "construido" agregando 1 al anterior. (Ntese que esto introduce un elemento temporal - ver D. Pareja. op. ci). A partir de lo anterior, el resto de la matemtica puede (y debe) ser construida de forma explcita y rigurosa, lo que requiere un mtodo claro y preciso[65]- Solo entidades cuya existencia (positiva o negativa) haya sido demostrada de tal manera, o por medio de tal mtodo, tienen validez matemtica.[66] Parafraseando el dicho platonista, se podra decir que, desde el punto de vista intuicionista, las verdades matemticas no se descubren, se crean.[67] Entre otras consecuencias de lo anterior se encuentra la restriccin del principio del tercero excluido:[68][69] saber que una proposicin es falsa implica, para los intuicionistas, poder demostrar esa falsedad.[70][71] (ver, por ejemplo, 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 del principio. Los intuicionistas lo utilizan en situaciones especficas -por ejemplo, en el caso de conjuntos bien definidos y finitos. Ver Aritmtica de Heyting)[72]) Otras diferencias con lo que se puede considerar matemticas clsicas se encuentran en la concepcin del infinito y la del continuo. Para los intuicionistas un (cualquier) ente es valido si y solo si puede ser construido por medio de un procedimiento especificado y con un nmero finito de pasos o operaciones (este procedimiento puede ser un algoritmo o algn otro que siga una regla: por ejemplo: arrojar un dado veinte mil veces a fin de generar cualquier nmero). Pero cual procedimiento especfico y finito puede generar el infinito? Cualquier procedimiento que escojamos solo nos dar algn nmero concreto. Consecuentemente, el infinito intuicionista es solo potencial, a diferencia del "infinito oficial" que lo concibe como "una totalidad completa y acabada.".[73] Si bien esta diferencia es ms bien metafsica (op. cit), argumentablemente sin consecuencias mayores para la prctica matemtica, es la introduccin a la diferencia sobre la concepcin del continuo, que si tiene tales consecuencias. (op. cit, esp p 108). El concepto intuicionista del continuo[74] 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 eleccin" (choice principles[75] que Brouwer llama "secuencias de elecciones libres"), basado en la intuicin que, entre dos puntos (o nmeros) cualquiera, un matemtico puede elegir libremente otro punto o nmero, y as indefinidamente: El continuo lineal no puede ser agotado por la interpolacin de nuevas unidades. Y no puede por lo tanto ser pensado como una mera coleccin de unidades..[76] (al respecto de todo esto, ver: "El Error de Cantor"[77]). La introduccin de secuencias de elecciones tiene varias consecuencias[78] difciles de aceptar para la matemtica no intuicionista.[79] Como ejemplos, la demostracin intuicionista del teorema de la barra (bar theorema[80]) y el teorema del abanico (fan theoreme[81]).

Filosofa de la matemtica Aparte de Arend Heyting, otros matemticos y lgicos de nota influidos por esta visin incluyen: Hermann Weyl, quien promovi una visin constructivista de la matemticas. La aplicacin del intuicionismo a la topologa por Alfred Tarski; los trabajos matemticos de Andri Kolmogrov y los de Andri Mrkov y los desarrollos de una lgica intuicionista por Saul Kripke.[82] Entre los filsofos que continan esta tradicin encontramos Michael Dummett.[83]

Constructivismo
A partir de las sugerencias de Brouwer y Markov, Erret Bishop postulo el Constructivismo.[84] Modificando algunas percepciones de los autores mencionados de tal manera que la propuesta constructivista resulta ms restrictiva que las sugerencias de Brouwer y Markov 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 flexibilidad a travs de no definir lo que llama "rutinas finitas" (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]

Finitismo
El finitismo es una forma extrema del constructivismo, de acuerdo a la cual un objeto matemtico no existe a menos que sea construido partiendo de los nmeros naturales en un nmero de pasos finitos.

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 filosofa de la mente. Una definicin funcional es, en efecto, estructural, ya que, tambin se centra en las relaciones que los elementos definidos 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 ejemplificar (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, ejemplifica esta estructura. Del mismo modo, cualquier sistema cuyos elementos tengan un sucesor nico ejemplifica la estructura de los nmeros 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 identificador 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

Filosofa de la matemtica ejemplificado por miles de equipos. Esto plantea la cuestin de si y cmo las estructuras existen, si acaso existen independientes de los sistemas. Otras cuestiones pendientes estn relacionadas con el acceso a las estructuras y la de cmo podemos aprender acerca de ellas? Entre los representantes actuales del estructuralismo se cuentan Stewart Shapiro;[91] Michael Resnik;[92] Geoffrey Hellman[93] y el ya mencionado Paul Benacerraf.

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 cientficas integradas en la matemtica funcionan y estn justificadas, 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 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 transfinita 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 indefinible universo platnico de la conciencia inmaterial y abandonar la vana bsqueda por la certidumbre que ha plagado la filosofa desde los tiempos de los griegos.[102]

Cuasi-empirismo
El trmino cuasi-empirismo fue introducido por Imre Lakatos[103] a fin 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 infinito; 4) la historia de las matemticas debe ser estudiada

Filosofa de la matemtica no a travs de teoras aisladas sino de series de teoras o, mejor an, de programas de investigacin que incluyen un ncleo firme no falseable y un cinturn protector de hiptesis auxiliares que s son falseables, pero que son modificables;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 significa, 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 cuantifica, 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 modifican junto con ellas.

Notas y referencias
[1] Natura es la traduccin latina de la palabra griega physis (), que en su significado original haca referencia a la forma innata en la que crecen espontneamente plantas y animales. (ver D. Harper Physical (http:/ / www. etymonline. com/ index. php?term=physical)). En Idioma alemn el trmino "naturaleza" proviene de naturist, que significa "el curso de los animales, carcter natural."(ver D. Harper: Nature (http:/ / www. etymonline. com/ index. php?term=nature) [2] Horsten, Leon, Philosophy of Mathematics (http:/ / plato. stanford. edu/ archives/ sum2012/ entries/ philosophy-mathematics/ ), The Stanford Encyclopedia of Philosophy (Summer 2012 Edition), Edward N. Zalta(ed.) [3] Jeremy Avigad (http:/ / www. andrew. cmu. edu/ user/ avigad/ ) [4] Bertrand Russell: Introduction to Mathematical Philosophy (http:/ / people. umass. edu/ klement/ russell-imp. html) chap 1 [5] I Lakatos: Infinite 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 filosofa 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 (http:/ / www. tuobra. unam. mx/ vistaObra. html?obra=2514).- Diego Fusaro: "Siempre hay una relacin inseparable entre la matemtica y la filosofa.." en IL RAPPORTO FILOSOFIA - MATEMATICA (http:/ / www. filosofico. net/ filos52. htm) (en italiano en el original) [7] M de Guzmn: Filosofa y matemticas (http:/ / www. mat. ucm. es/ catedramdeguzman/ old/ 05edumat/ remediosfracasouniv/ laboratorio99/ tercera parte/ enciclanayahtm/ 02matyfil. htm) [8] Adianez Fernndez Bermdez: Una visin de la ciencia y su relacin con la tica, en Mario Bunge (http:/ / www. eumed. net/ libros-gratis/ 2011e/ 1067/ vision_ciencia. html) [9] R Gauss: frases clebres de o sobre Carl Friedrich Gauss. [10] El sentido de las matemticas en la filosofa de Platn (http:/ / www. gobiernodecanarias. org/ educacion/ 3/ Usrn/ fundoro/ web_fcohc/ 002_proyectos/ bachillerato/ filosofia/ platon_01. html) [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 Cientfica: Un Enfoque Multidisciplinar (http:/ / books. google. es/ books?id=z-J62MTB5XYC& printsec=frontcover& source=gbs_ge_summary_r& cad=0#v=onepage& q& f=false) p 127 [12] JAVIER DE LORENZO: "La matemtica: de sus fundamentos y crisis"- Tecnos, Madrid [13] SIGLO XX: CRISIS EN LOS FUNDAMENTOS (http:/ / catedu. es/ matematicas_mundo/ HISTORIA/ historia_XX_Fundamentos. htm) [14] JOS M. FERREIRS: The Crisis in the Foundations of Mathematics (http:/ / personal. us. es/ josef/ pcmCrisis. pdf) (en Princeton Companion to Mathematics Proof) [15] A Timeline for the Foundational Crisis and the Vienna Circle (http:/ / www. jamieyorkpress. com/ wp-content/ uploads/ 2012/ 04/ Timeline-for-the-Foundational-Crisis-and-the-Vienna-Circle1. pdf) [16] Herman Weyl On the New Foundational Crisis in Mathematics (http:/ / philpapers. org/ rec/ WEYOTN) [17] Mario O. Gonzlez (1950): La crisis actual de los fundamentos de la Matemtica (http:/ / www. filosofia. org/ hem/ dep/ rcf/ n06p025. htm) [18] Eduardo Harada O (2005): El cuasi empirismo en la filosofa de las matemticas (http:/ / redalyc. uaemex. mx/ pdf/ 294/ 29405903. pdf) [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 Cientfica: Un Enfoque Multidisciplinar (http:/ / books. google. es/ books?id=z-J62MTB5XYC& printsec=frontcover& source=gbs_ge_summary_r& cad=0#v=onepage& q& f=false) p 125- 156:

Filosofa de la matemtica
[20] Encyclopedia Britanica: (http:/ / www. britannica. com/ EBchecked/ topic/ 369237/ philosophy-of-mathematics/ 259818/ Logicism-intuitionism-and-formalism) [21] Por ejemplo: Ulrich Majer (2004): Husserl Between Freges Logicism And Hilberts Formalism (http:/ / thebalticyearbook. org/ journals/ baltic/ article/ view/ 128) [22] Ernst Snapper (1979); The Three Crisis in Mathematics: Logicism, formalism and Intuitionism (http:/ / www2. gsu. edu/ ~matgtc/ three crises in mathematics. pdf) [23] Lindstrm, S.; Palmgren, E.; Segerberg, K.; Stoltenberg-Hansen, V. (Eds.) (2009): Logicism, Intuitionism, and Formalism: What Has Become of Them? (http:/ / www. springer. com/ mathematics/ book/ 978-1-4020-8925-1) [24] Ferran Mir Sabat (2006): Las discusiones posteriores sobre la filosofa 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. (http:/ / www. filosofia. net/ materiales/ pdf23/ CDM35. pdf) 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 (https:/ / web. math. princeton. edu/ ~nelson/ papers/ warn. pdf) [26] Por ejemplo: Alex Levine: Conjoining Mathematical Empiricism with Mathematical Realism: Maddy's Account of Set Perception Revisited (http:/ / www. jstor. org/ stable/ 20118604) en Synthese.- Vol. 145, No. 3 (Jul., 2005), pp. 425-448 [27] Vase: Guillermo Mattei Irrazonable eficacia de la matemtica (http:/ / www. fcen. uba. ar/ fotovideo/ EXm/ NotasEXm45/ exm45mate. pdf) - ver tambin Eugene Paul Wigner: The Unreasonable Effectiveness of Mathematics in the Natural Sciences (http:/ / www. dartmouth. edu/ ~matc/ MathDrama/ reading/ Wigner. html) [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 (http:/ / www. petemandik. com/ blog/ wp-content/ uploads/ pms_wips-014-jerzykiewicz. pdf) p 1

10

[29] Para una visin general de esta posicin, ver Penelope Maddy (1992) Realism in Mathematics (http:/ / books. google. es/ books/ about/ Realism_in_Mathematics. html?id=5-8LVP00OJcC& redir_esc=y) [30] Haim Gaifman: On Ontology and Realism in Mathematics (http:/ / www. columbia. edu/ ~hg17/ On Ontology and Realism in Mathematics-12-04-final. pdf) [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 significando 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 justificacin 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. (http:/ / www. tuobra. unam. mx/ publicadas/ 040315180338-Frege. html) [33] K Gdel: Los conceptos tienen una existencia objetiva en My philosophical viewpoint (http:/ / cs. nyu. edu/ kandathi/ goedel_viewpoint. html) [34] Guillerma Daz Muoz (2000): Aproximacin del realismo matemtico de Gdel al realismo constructivo de Zubiri (http:/ / www. zubiri. org/ general/ xzreview/ 2000/ pdf/ guillerma2000. pdf) [35] Michael Dummett (1998): La existencia de los objetos matemticos. (http:/ / sammelpunkt. philo. at:8080/ 1269/ ) 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 (http:/ / www. jstor. org/ stable/ 2215255) Nos Vol. 17, No. 3 (Sep., 1983), pp. 363-385 [37] The Fregean Argument for Object Platonism (http:/ / www. iep. utm. edu/ mathplat/ #SH2a) [38] Internet Enciclopedia of Philosophy: Mathematical Platonism (http:/ / www. iep. utm. edu/ mathplat/ ) [39] Jos Ferreirs (1999) Matemticas y platonismo(s) (http:/ / personal. us. es/ josef/ Platonismos. pdf) [40] L Bonjour: In Defense of Pure Reason. (London: Cambridge University Press, 1998) Entrada en wikipedia inglesa acerca de Bonjour [41] P Benacerraf: The Truth (http:/ / thatmarcusfamily. org/ philosophy/ Course_Websites/ Readings/ Benacerraf - Mathematical Truth. pdf) [42] IEP; The Indispensability Argument in the Philosophy of Mathematics (http:/ / www. iep. utm. edu/ indimath/ ) [43] W. D. Hart (1991): Benacerraf's Dilemma (http:/ / www. jstor. org/ stable/ 40104655) [44] Bob Hale and Crispin Wright Benacerraf's Dilemma Revisited (http:/ / www. st-andrews. ac. uk/ arche/ papers/ Benacerraf's Dilemma. pdf) [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 filosofa de la matemtica del segundo Wittgenstein: El problema de la objetividad de la prueba matemtica (https:/ / docs. google. com/ viewer?a=v& q=cache:kZavPPuv150J:www. accionfilosofica. com/ misc/ 1117326643jrnDoc. doc+ dilema+ de+ Benacerraf& hl=en& gl=es& pid=bl& srcid=ADGEESifJuQfnBmNMsNqCuhyMC0w7rlGAS4VVvBTcYr_WZqMJP4nc6LZELczqQuXIJPhCL_1R9rfOhi6-zeZSKIQy4em5NYd7X_9T9mSt3xOBtBrQ sig=AHIEtbSPyWUNtbI7noFlobowxHsJuxto3Q) [46] Rui Vieira (2010): "Sin embargo, en un importante artculo, "Mathematical Truth", en el Journal of Philosophy, Vol. 70 (1973), el filsofo 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

Filosofa de la matemtica
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 (http:/ / philosophynow. org/ issues/ 81/ 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 refieren 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 (http:/ / philosophy. concordia. ca/ facultyandstaff/ faculty/ documents/ benacerraf. pdf)) 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 refieran 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 (http:/ / dspace. usc. es/ bitstream/ 10347/ 1256/ 3/ pg_01-06_ag23-2. pdf) [48] Para una profundizacin, ver, por ejemplo Douglas Patterson: "Introduccin" en New Essays on Tarski and Philosophy (http:/ / www. oxfordscholarship. com/ view/ 10. 1093/ acprof:oso/ 9780199296309. 001. 0001/ acprof-9780199296309-chapter-1?rskey=AdapBo& result=6& q=Vienna Circle); P. M. S Hacker: "On Carnap's Elimination of Metaphysics" en Wittgenstein: Connections and Controversies (http:/ / www. oxfordscholarship. com/ view/ 10. 1093/ 019924569X. 001. 0001/ acprof-9780199245697-chapter-12?rskey=8hszxc& result=4& q=Vienna Circle), etc [49] Formalismo, I. Filosofa (http:/ / www. canalsocial. net/ ger/ ficha_GER. asp?id=5736& cat=filosofia) [50] Para una introduccin general, ver ngel Ruiz Z 26.3 El formalismo (http:/ / cimm. ucr. ac. cr/ aruiz/ libros/ Historia y Filosofia/ Parte7/ Cap26/ Parte03_26. htm) (en Historia y filosofa de las matemticas (http:/ / www. angelruizz. com/ )) [51] Jean-Paul Collette (1993): Historia de las matemticas, volumen 2, Volume 2 (http:/ / books. google. es/ books?id=ZHg3e7n7iagC& dq=formalismo+ matematico& source=gbs_navlinks_s) p 577 y sig [52] Diego Pareja H (2008): "el concepto moderno de formalismo que incluye las tcnicas del razonamiento finitista debemos atribuirlo a Hilbert y a sus discpulos." en 5. 8 David Hilbert y el formalismo. (http:/ / www. matematicasyfilosofiaenelaula. info/ Epistemologia 2009/ David HIlbert y el Formalismo. pdf) Razonamientos finistas 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 definir; al contrario de Euclides que haba precisado de una definicin (intuitiva) de los objetos bsicos (punto, lnea, plano, etc.). El hecho de prescindir de las definiciones 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. (http:/ / personal. telefonica. terra. es/ web/ mir/ ferran/ PTE20. pdf) [54] Pedro Angulo L (2010): EPISTEMOLOGA DE LA MATEMTICA. CASO: FORMALISMO (http:/ / www. xing. com/ net/ mathe/ didactica-536990/ formalismo-matematico-y-epistemologia-parte-1-34552535) [55] Aroca, Jos Manuel El progreso de la matemtica en los ltimos 25 aos (http:/ / www. investigacionyciencia. es/ investigacion-y-ciencia/ numeros/ 2001/ 10/ el-progreso-de-la-matemtica-en-los-ltimos-25-aos-6688) [56] H Putnam (1967): The Thesis that Mathematics is Logic. (http:/ / books. google. es/ books?id=GKYQizoRIU8C& pg=PA12& lpg=PA12& dq=Putnam+ + + "The+ Thesis+ that+ Mathematics+ is+ Logic. & source=bl& ots=BHCIzfZIdc& sig=FNGNX7E1N3t1CmqTigO2oW20lPE& hl=en& sa=X& ei=YBTFUPDgAvSq0AXT64DIAg& ved=0CC8Q6AEwAQ#v=onepage& q=Putnam + "The Thesis that Mathematics is Logic. & f=false) [57] Russell Marcus (2006): Pluribus Putnams Unum (http:/ / www. thatmarcusfamily. org/ philosophy/ Papers/ Putnams. pdfE) p 6 [58] Keith Hossack (1991): Access to Mathematical Objects (http:/ / files. meetup. com/ 1148978/ mathobjects1. pdf).-Crtica: Revista Hispanoamericana de Filosofa.- Vol XXIII, N 68 (Agosto 1991) 157- 181 [59] Iemhoff, Rosalie, Intuitionism in the Philosophy of Mathematics (http:/ / plato. stanford. edu/ entries/ intuitionism/ ), 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 filosofa de la mente, en la que Kant y Schopenhauer fueron las principales influencias, 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

11

Filosofa de la matemtica
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 afirmar que "no hay verdades sin experiencia" (Brouwer, 1975, p.488)." en 3. Brief Characterization of Brouwer's Intuitionism" en Luitzen Egbertus Jan Brouwer (http:/ / plato. stanford. edu/ entries/ brouwer/ #Bri) [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 (http:/ / www. revista. unam. mx/ vol. 6/ num1/ art06/ ene_art6. pdf) revista unam vol.6/num 1 (2005) seccin El intuicionismo de Brouwer, pp 15-19 [62] L. E. J. Brouwer (1913): INTUITIONISM AND FORMALISM (http:/ / www. math. uga. edu/ ~schang/ math/ formal. pdf) Bull. Amer. Math. Soc. 20 (2): 8196. MR1559427. [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 filosofa intuicionista, todo ser humano tiene una intuicin congnita en relacin con los nmeros naturales. Esto significa en primer lugar que tenemos una certeza inmediata de lo que significamos 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 afirmamos 2 va despus de 1, el trmino despus tiene una connotacin de tiempo, y en ese aspecto Brouwer se adhiere al filsofo Immanuel Kant (1724-1804) para quien la mente humana tiene una apreciacin inmediata de la nocin 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. (http:/ / www. matematicasyfilosofiaenelaula. info/ Epistemologia 2009/ Brouwer,Heyting y el Intuicionismo. pdf) [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 significa 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 confianza en este modo de conocimiento. Toda inferencia debe estar basada finalmente en verdades intuitivas", en Intuicionismo y objetividad (http:/ / institucional. us. es/ revistas/ themata/ 30/ 07 espinoza. pdf) 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 afirmacin 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 (http:/ / mercaba. org/ Rialp/ I/ intuicionismo. htm) [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 (http:/ / institucional. us. es/ revistas/ themata/ 30/ 07 espinoza. pdf) p 110. [67] Dick de Jongh: Intuicionismo (http:/ / staff. science. uva. nl/ ~dickdj/ intsalamanca1. pdf) [68] Ferran Mir Sabat (2006): LA POLEMICA INTUICIONISMO FORMALISMO EN LOS AOS 20. El Principio de Tercio Excluso (http:/ / personal. telefonica. terra. es/ web/ mir/ ferran/ PTE20. pdf). [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 (http:/ / www. oquenosfazpensar. com/ adm/ uploads/ artigo/ negacion_y_doble_negacion_en_el_intuicionismo_de_brouwer/ 23_Negacion_y_doble_negacion. pdf) [71] SEP: 2.2 Intuitionism (http:/ / plato. stanford. edu/ entries/ philosophy-mathematics/ #Int) [72] Dick de Jongh: Intuicionismo (http:/ / staff. science. uva. nl/ ~dickdj/ intsalamanca1. pdf) [73] Ver Miguel Espinoza (2003): Intuicionismo y Objetividad (http:/ / institucional. us. es/ revistas/ themata/ 30/ 07 espinoza. pdf) (Thmata, Nro 30) p 111 -112 y 103-106 [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 antes-despus, 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 autosuficiente 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 refiere 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

12

Filosofa de la matemtica
Intuicin Primigenia." en SOBRE UNA CONSTRUCCIN ALTERNATIVA AL CONTINUO DE CANTOR: EL CONTINUO INTUICIONISTA (http:/ / matematicas. uis. edu. co/ ccm2011/ HTML/ ARCHIVOS MEMORIAS/ EDUCACION/ AngelaValencia. pdf) [75] ver: Abraham Adolf Fraenkel, Yehoshua Bar-Hillel, Azriel Lvy (1973): Foundations of set theory (http:/ / books. google. es/ books?id=ah2bwOwc06MC& printsec=frontcover#v=onepage& q& f=false) p 259 [76] L. E. J. Brouwer, citado por D. P HEREDIA 5.7 Brouwer, Heyting y el Intuicionismo. (http:/ / www. matematicasyfilosofiaenelaula. info/ Epistemologia 2009/ Brouwer,Heyting y el Intuicionismo. pdf) [77] Michel Bordeau: El Error de Cantor en Jorge Martnez Contreras, Aura Ponce de Len, Luis Villoro: El saber filosfico (http:/ / books. google. es/ books?id=PL9dBmodfS4C& printsec=frontcover#v=onepage& q& f=false) esp pp 396- 405 [78] Para profundizar estas, ver: Abraham Adolf Fraenkel, Yehoshua Bar-Hillel, Azriel Lvy (1973): Foundations of set theory (http:/ / books. google. es/ books?id=ah2bwOwc06MC& printsec=frontcover#v=onepage& q& f=false) pp 252-264: "The Primordial intution of integer: Choice sequences and Brouwer's 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 definicin 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 reflexin sobre la estructura de las pruebas mentales. En esta reflexin, 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 identifica con los objetos mentales en la mente del sujeto, suelen ser infinitas." en 4. Brouwer's Development of Intuitionism (http:/ / plato. stanford. edu/ entries/ brouwer/ #Bro) en Luitzen Egbertus Jan Brouwer (http:/ / plato. stanford. edu/ entries/ brouwer/ #Bri) [80] Win Veldman: "Some applications of Brouwers Thesis on Bars, en One Hundred Years of Intuitionism (1907-2007): The Cerisy Conference (http:/ / books. google. es/ books?id=foM-BLI6TKgC& pg=PA330& lpg=PA330& dq="bar+ theorem"& source=bl& ots=EZXnM9wIGf& sig=_qoF39q-92ToPoKIWq8Wy4Za1Ss& hl=en& sa=X& ei=f_7QUNJsjanQBY6KgdAK& ved=0CFUQ6AEwBg#v=onepage& q="bar theorem"& f=false) pp 326 y sig (esp p 330) [81] THIERRY COQUAND (2003): About Brouwer's fan theorem (http:/ / www. cairn. info/ revue-internationale-de-philosophie-2004-4-page-483. htm) [82] Para una visin mas profunda de estos desarrollos, ver A.G. Dragalin (originator) Intuitionism (http:/ / www. encyclopediaofmath. org/ index. php?title=Intuitionism& oldid=18352). en Encyclopedia of Mathematics. [83] ver Gustavo Fernndez D: Desarrollos posteriores de intuicionismo y constructivismo (http:/ / www. scribd. com/ doc/ 49725186/ 13/ Desarrollos-posteriores-de-intuicionismo-y-constructivismo) p 102 y sig [84] Bishop, E. (1967): Foundations of Constructive Analysis, New York: McGraw-Hill (http:/ / books. google. es/ books/ about/ Foundations_of_constructive_analysis. html?hl=es& id=Z7I-AAAAIAAJ) (ver Revisin del libro (http:/ / projecteuclid. org/ DPubS?service=UI& version=1. 0& verb=Display& handle=euclid. bams/ 1183531480) (ambos en ingls) [85] Gustavo Fernandez D: "SEMINARIO DE LOGICA Y FILOSOFIA DE LA CIENCIA I, pagina 101: Desarrollos posteriores de intuicionismo y constructivismo (http:/ / www. scribd. com/ doc/ 49725186/ 13/ Desarrollos-posteriores-de-intuicionismo-y-constructivismo) [86] Bridges, Douglas, punto 3.3: Bishop's Constructive Mathematics en Constructive Mathematics (http:/ / plato. stanford. edu/ archives/ fall2012/ entries/ mathematics-constructive/ ), The Stanford Encyclopedia of Philosophy (Fall 2012 Edition), Edward N. Zalta (ed.) [87] Stewart Shapiro, en Mathematical Structuralism (http:/ / www. iep. utm. edu/ m-struct/ ) en "Internet Encyclopedia of Philosophy (IEP) 2010 [88] Stewart Shapiro, Thinking About Mathematics, Oxford 2000, S. 263 [89] Para una introduccin a este aspecto, ver STRUCTURALISM, MATHEMATICAL (http:/ / www. tc. umn. edu/ ~hellm001/ Publications/ StructuralismMathematical. pdf) Ver tambin Julian C. Cole (2010): Mathematical Structuralism Today (http:/ / www. buffalostate. edu/ philosophy/ documents/ mathematical structuralism today. pdf) [90] Por ejemplo: Uri Nodelman - Edward N. Zalta.: Foundations for Mathematical Structuralism (http:/ / mally. stanford. edu/ Papers/ structuralism. pdf) [91] Por ejemplo: S. Shapiro (1997): Philosophy of Mathematics: Structure and Ontology (http:/ / philpapers. org/ rec/ SHAPOM-4) [92] Por ejemplo: Michael D. Resnik (2004): Structuralism and the Independence of Mathematics (http:/ / philpapers. org/ rec/ RESSAT) [93] Por ejemplo: G. Hellman (1996): Structuralism without structures (http:/ / philpapers. org/ rec/ GEOSWS) [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 (http:/ / books. google. es/ books?id=mbn35b2ghgkC& printsec=frontcover#v=onepage& q& f=false) 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 (http:/ / www. maths. lth. se/ matematiklth/ personal/ mario/ talks/ godel. pdf).- Vase tambin J. S. Mill: System of logic (http:/ / books. google. es/ books?id=z4MEAAAAQAAJ& q=mathematics#v=snippet& q=mathematics& f=false) ("El sistema de la lgica"), vol 2, libro III, cap XXIV, punto 4, p 162, etc

13

Filosofa de la matemtica
[96] P Kitcher: The Nature of Mathematical Knowledge (http:/ / books. google. es/ books?id=N9hrBRxnzRAC& printsec=frontcover#v=onepage& q& f=false), p 4 (introduccin) [97] S. Krner, (1965): "An Empiricist Justification 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) [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 anti-foundationalism (http:/ / www. cs. nyu. edu/ pipermail/ fom/ 1998-September/ 002097. html) [101] P Kitcher (1983) The Nature of Mathematical Knowledge (http:/ / philpapers. org/ rec/ KITTNO) (Oxford University Press) [102] C. E. Behrens (2012): Empiricism: An Environment for Humanist Mathematics (http:/ / scholarship. claremont. edu/ cgi/ viewcontent. cgi?article=1027& context=jhm& sei-redir=1& referer=http:/ / www. google. es/ url?sa=t& rct=j& q=mathematical%20empiricism& source=web& cd=18& ved=0CFsQFjAHOAo& url=http%3A%2F%2Fscholarship. claremont. edu%2Fcgi%2Fviewcontent. cgi%3Farticle%3D1027%26context%3Djhm& ei=Jze5UPH8McOR0QX83IGYAQ& usg=AFQjCNHExZvTlMK697_UksO8ok1DxghtWg& sig2=RxdEeOsDTca6MKTbnHvRew#) [103] I. Lakatos (1976): A Renaissance of Empiricism in the Recent Philosophy of Mathematics (http:/ / www. eduneg. net/ generaciondeteoria/ files/ Lakatos 1976 A renaissance of empiricism in the recent philosophy of mathematics. pdf) [104] Eduardo Harada O (2005): El cuasi-empirismo en la filosofa de las matemticas (http:/ / redalyc. uaemex. mx/ pdf/ 294/ 29405903. pdf) p 18 [105] Eduardo Harada O (2005): El cuasi-empirismo en la filosofa de las matemticas (http:/ / redalyc. uaemex. mx/ pdf/ 294/ 29405903. pdf) p 18

14

Bibliografa
Can L; Camino (1993): La matemtica: creacin y descubrimiento (http://books.google.es/ books?id=g1p8ypQJAyUC&printsec=frontcover#v=onepage&q&f=false) Collette; Jean-Paul (1993): Historia de las matemticas, volumen 2 (http://books.google.es/ books?id=ZHg3e7n7iagC&dq=formalismo+matematico&source=gbs_navlinks_s) Davis; Philip J. y Hersh; Reuben (1981): Experiencia matemtica (Introduccin general no tcnica) Dummett, Michael (1998), "The Philosophy of 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 (http://books.google.es/ books?id=mbn35b2ghgkC&printsec=frontcover#v=onepage&q&f=false) George; Alexander - Velleman; Daniel (2001) Philosophies of Mathematics (http://www.amazon.com/ Philosophies-Mathematics-Alexander-George/dp/0631195440) Kline; Morris (1980): Mathematics: The Loss of Certainty (http://books.google.es/ books?id=RNwnUL33epsC&source=gbs_navlinks_s) Kline; Morris: Matemticas. La prdida de la certidumbre. Siglo XXI Espaa 1985 (1a Ed.), Mxico 2000 (5a Ed.) Krner, Stephan (1968), Introduccin a la filosofa de la matemtica, Editorial Siglo XXI, 1968 Lakatos, Imre. (1978 / 1986) Pruebas y Refutaciones: La Lgica Del Descubrimiento Matemtico.- Alianza Universidad Lakatos, Imre. "La metodologa de los Programas de investigacin cientfica". 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 (http://personal.us.es/cmaza/) Macbeth; Danielle: Logic and the Foundations of Mathematics (http://www.haverford.edu/phil/faculty/ documents/LogicandFoundationsofMath.pdf) Ruiz Ziga; ngel: Matemtica y Filosofa - CIMM - Universidad de Costa Rica (http://www.cimm.ucr.ac. cr/aruiz/libros/Matematica y Filosofia.pdf)

Filosofa de la matemtica Shabel, Lisa (1997), Mathematics in Kants Critical Philosophy. Reflections 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. Shapiro; Stewart (Edtr -2005): The Oxford Handbook of Philosophy of Mathematics and Logic (http://books. google.es/books?id=hPztJzVE8j0C&printsec=frontcover#v=onepage&q&f=false) Sols, Carlos y Sells, Manuel (2005), Historia de la ciencia, Editorial Espasa, 2005

15

Enlaces externos
Logicismo (http://philpapers.org/browse/logicism-in-mathematics), en PhilPapers. Formalismo (http://philpapers.org/browse/formalism-in-mathematics), en PhilPapers. Intuitionismo y constructivismo (http://philpapers.org/browse/intuitionism-and-constructivism), en PhilPapers. Estructuralismo (http://philpapers.org/browse/mathematical-structuralism), en PhilPapers.

Fuentes y contribuyentes del artculo

16

Fuentes y contribuyentes del artculo

Filosofa de la matemtica Fuente: http://es.wikipedia.org/w/index.php?oldid=72627975 Contribuyentes: Acratta, Emi.cool3, Eyetheunlord, Ferran Mir, Hiperfelix, Jerowiki, Leonpolanco, Lnegro, Luis Felipe Schenone, Olderbrown, Orlansky, Sabbut, Technopat, 6 ediciones annimas

Licencia
Creative Commons Attribution-Share Alike 3.0 //creativecommons.org/licenses/by-sa/3.0/