You are on page 1of 13

El panorama actual de la filosofa de la matemtica y la influencia en l de D.

Hilbert
FAUSTO I. TORANZOS Universidad Nacional de Cuyo, Mendoza

Nos proponemos en este trabajo, tratar de caracterizar el estado actual de los problemas de la Filosofa de la Matemtica, destacando el sentido y la importancia que tienen para el hombre de ciencia y para el epistemlogo. Comenzaremos reseando el estado de la cuestin en el perodo llamado "crisis de la Matemtica". En estrecha unin con el objetivo anterior, formularemos un ensayo crtico respecto al significado y valor de las contribuciones de D. Hilbert y su escuela, destacando el papel fundamental que estas contribuciones tienen para la solucin actual. Desarrollamos el trabajo en 1. Planteo de los problemas 2. La solucin de Hilbert. 3. Significado y valor actual nes respecto al panorama actual tres captulos: de la Filosofa de la Matemtica. de la solucin de Hilbert y conclusiode la Filosofa de la Matemtica.

Al referirnos al aspecto logstico o matemtico de los problemas de fundamentacin, no entraremos en tecnicismos ni desarrollos de frmulas, ya que en general, stos no son necesarios para comprender el aspecto filosfico que es el objetivo de este trabajo .
1 En noestro libro Introduccin a la Epistemologa y fundamentacin de la Matemtica, podr encontrar el lector, desarrolladas cuestiones de Lgica, fundamentacin y metodolo. ga qne se mencionan en los Cap. I y II, adems de una amplia informacin de las fuentes bibliogrficas. 1627

Actas del Primer Congreso Nacional de Filosofa, Mendoza, Argentina, marzo-abril 1949, tomo 3

1628

FAUSTO I. TOBANZOS

Planteo de los problemas de la Filosofa de la Matemtica El siglo XIX es para la Matemtica, particularmente en el ltimo tercio, el perodo de su perfeccionamiento metodolgico. Los matemticos del siglo pasado sintieron la necesidad de efectuar un profundo anlisis de los cimientos y mtodos de las diversas ramas que constituyen su disciplina, en un esfuerzo de labor crtica y constructiva, tendiente a dotar a las ciencias exactas de la solidez en sus fundamentos y seguridad en sus procedimientos, suficientes para garantizar el grado de perfeccin estructural que por su ndole requiere. Ya en el siglo m (a. J. C.) Euclides tuvo igual propsito respecto a la Matemtica griega, en su obra Elementos emprende con genial maestra, la sistematizacin racional de la Geometra. Crea y utiliza el mtodo axiomtico, procurando estructurar esa disciplina en forma lgico-deductiva perfecta. Gran parte del propsito euclidiano fu realizado, legndonos un mtodo y una obra que habran de perdurar hasta nuestros das. Los matemticos novecentistas retomaron el propsito de Euclides tratando de hacer, para la Matemtica moderna, lo que ste se propusiera respecto a la griega, sin variar ni el programa ni el mtodo; se confirma con esto el valor y la profundidad de la obra euclidiana. Si propsitos y mtodos no han variado de la antigedad a nuestros das, en cambio, ha habido una total transformacin en cuanto al contenido de la Matemtica, sus ramas clsicas han adquirido u n extraordinario desarrollo, y otras nuevas han aparecido, complicando enormemente el problema de los fundamentos. A fines del siglo pasado aparece, y contina acentundose a medida que avanza el presente, la tendencia de los matemticos a llevar sus investigaciones hacia lo general y lo abstracto, en un esfuerzo por alejar cada vez ms su disciplina del dominio de la imaginacin y de la intuicin. As nacen de la Geometra clsica, las geometras multidimensionales, no euclidianas, infinitodimensionales, etc., hasta llegar a la Geometra de los espacios abstractos; efectuando una extraordinaria ampliacin formal del campo de validez de las relaciones geomtricas. Iguales procesos siguen la Aritmtica, el Anlisis y el Algebra.

Actas del Primer Congreso Nacional de Filosofa, Mendoza, Argentina, marzo-abril 1949, tomo 3

E L PANORAMA ACTUAL DE LA FILOSOFA DE LA MATEMTICA

1629

De la conjuncin, o mejor dicho del choque, entre las dos corrientes mencionadas como caractersticas preponderantes en el siglo pasado, la de perfeccionamiento estructural y la de generalizacin y abstraccin, nace la llamada "crisis de la Matemtica", que tanta inquietud y esfuerzos ha costado a los matemticos y epistemlogos de nuestro siglo; hasta llegar al estado actual, en que las cosas parecen haber sido conducidas a su verdadero lugar, habindose convertido la crisis que pareca de destruccin, en movimiento constructivo y de perfeccionamiento de las teoras matemticas, movimiento que cuenta a Hilbert como figura mxima. Ejemplo tpico de esta situacin de crisis es la aparicin de las antinomias cantorianas, producidas al estructurar la teora de los conjuntos. Son conocidas, y no insistiremos por ello, la de Russell, la de Burali-Forti, la de Richard y otras, que agudizaron la crisis, dando lugar a que se pusiera en tela de juicio la legitimidad de cierto tipo de razonamientos lgicos, en particular, los que utilizan el principio del tercero excluido; esto trajo la duda respecto a la seguridad de algunas teoras matemticas, aquellas construidas utilizando demostraciones por reduccin al absurdo, y que por lo tanto se apoyan en el principio del tercero excluido. La objecin se hace ms terminante cuando se refiere a las teoras del infinito, all las diferencias de opinin son ms hondas y el criticismo ms radicaL Una importante corriente de opinin crey que se trataba de problemas de ndole estrictamente lgica, y que por lo tanto podran ser resueltos mediante una reestructuracin de la Lgica. Para ello crearon un simbolismo y un sistema de operaciones que constituyeron la Logstica. Lleg as la Lgica a convertirse en un lgebra capaz de proporcionar a los razonamientos el grado de precisin, rigor y objetividad de la Matemtica. Este movimiento culmina con la obra de Russell y Whitehead Principia Matemtica publicada entre 1910 y 1913, que contiene la Lgica estructurada con el mtodo simblico, y a continuacin una reestructuracin de la Matemtica utilizando el mismo simbolismo; la nocin de nmero resulta de la de clase, con lo cual la Matemtica pasa a ser una rama de la Lgica. De esta manera los logicistas creen tener los elementos necesarios para resolver, dentro de la Lgica, todos los problemas de fundamentacin y estructuracin de la Matemtica. La crtica demostr que este propsito no fu realizado en forma completa, ya que la fundamen-

Actas del Primer Congreso Nacional de Filosofa, Mendoza, Argentina, marzo-abril 1949, tomo 3

1630

FAUSTO I. TOKANZOS

tacin dada a la Matemtica por este camino no queda exenta de objeciones de carcter fundamental, que resultan incompatibles con el propsito de dar a la Matemtica una estructuracin lgicamente perfecta. Las dificultades que se presentaron a los logicistas aumentaron con la aparicin de nuevas ramas de la Matemtica, ms generales y ms abstractas, que aportaron problemas de mayor dificultad en el terreno lgico. Estos problemas tuvieron su punto culminante en las objeciones a la aplicacin, sin restricciones, de la Lgica, a las nuevas teoras de conjuntos y del transfinito. El mismo Russell, con su clebre paradoja, aport u n elemento importante de crtica a su propia obra. El movimiento criticista, heredero en el terreno de la Filosofa de la Matemtica, del kantianismo, tom gran incremento. Sigue el principio fundamental intuicionista de que las nociones primarias de la Matemtica tienen un carcter subjetivo y provienen de la "intuicin p u r a " en el sentido de Kant. Data de aproximadamente un tercio de siglo una nueva reedicin de la posicin criticista, que se distingue por el radicalismo de sus objeciones a la estructura y fundamentacin de la Matemtica. Estas crticas intuicionistas dieron por resultado, las as llamadas, polmicas sobre los fundamentos, polmica sobre la Lgica y polmica sobre el transfinito, que condujeron a la Matemtica a la situacin que fu designada como "de crisis". El primer resultado concreto de estas polmicas es que el carcter de ellas no es nicamente lgico, las diferencias son de naturaleza ms profunda y tienen sus races en el terreno filosfico. Vemos as, como, una cuestin inicialmente cientfica, fu trasladada al terreno lgico y de all pas a la Filosofa. Dos son los problemas filosficos capitales en esta cuestin. El primero se refiere a la naturaleza de los entes matemticos, se trata pues de un problema ontolgico. El segundo trata de las limitaciones del conocimiento matemtico, es por lo tanto un problema epistemolgico. El primer problema ha tenido numerosas respuestas. Una de ellas afirma que los conceptos y entes matemticos son reductibles a conceptos lgicos y, por lo tanto, la Matemtica es un captulo de la Lgica; es la tesis logicista. Otra tendencia afirma que los entes matemticos fundamentales provienen de la intuicin pura en sentido

Actas del Primer Congreso Nacional de Filosofa, Mendoza, Argentina, marzo-abril 1949, tomo 3

EL PANORAMA ACTUAL DE LA FILOSOFA DE LA MATEMTICA

1631

de Kant; son los intuicionistas. Otros afirman que los entes maternaticos son propiedades de las cosas; es la corriente empirista Otra corriente de opinin derivada de la posicin logicista afirma que los ente^ matemticos tienen una existencia trascendente; es la tendencia realista. Y por fm tenemos la tesis formalista de Hilbert de la trae nos ocuparemos en detalle ms adelante. El segundo problema se plantea al considerar el infinito en Matemtica Puede concretarse en las siguientes preguntas: Puede el espritu humano abarcar y manejar con propiedad el concepto de infinito? O puede nicamente hacerlo con el infinito potencial, o tambin puede extender las teoras hasta el infinito actual? Esta pregunta se complementa con la siguiente: Son aplicables los principios de la Lgica, sm restricciones, a las teoras del infinito? Toda una gama de soluciones se han propuesto para estos p r o b l c mas, soluciones que van desde el empirismo, que niega al espritu humano capacidad para construir teoras sobre el infinito, h a L el ideahsmo que acepta la legitimidad del postulado de Zermelo y la induccin transfmita, y por lo tanto la legitimidad del uso de las teoras sobre el infinito en todas sus formas. Podra pensarse que el matemtico, adoptando una posicin de autonoma cientificista, podra prescindir de estas cuestiones dejando su solucin a los filsofos, y construir las teoras matemticas sin preocuparse de la naturaleza y origen ltimo de los cenceptos bsicos; tal solucin no era posible hace un cuarto de siglo, ya que la posicin filosfica amenazaba influir en el desarrollo mismo de la Matemtica. Asi SI se adopta la posicin criticista, la teora de conjuntos abstractos y las del transfinito quedaran excluidas de la Matemtica, y otras, aun dentro de las ramas elementales, eran puestas en tela de juicio. All esta precisamente el punto ms delicado de la crisis de la Matematica, ya que ella pona en peligro la legitimidad de importantes teoras que se suponan definitivamente consolidadas. Citaremos un solo ejemplo para dar idea de la gravedad de la situacin: Hermn Weyl con su indiscutible autoridad cientfica, afirmaba en 1917 que el calculo infinitesimal est edificado sobre un crculo vicioso. Este estado de verdadera crisis fu compendiado en la siguiente frase que formulara J. Hadamard en el ao 1925: "He aqu un extrao fenmeno, sin precedente en la historia de la ciencia Una disciplina que ha sido llevada al estado positivo (cientfico) est en

Actas del Primer Congreso Nacional de Filosofa, Mendoza, Argentina, marzo-abril 1949, tomo 3

1632

FAUSTO I. TORAXNZOS

vas de volver al estado metafsico. Esta ciencia es la ms vieja, la ms simple y perfecta de las ciencias: la Matemtica". Uno de los objetivos de este trabajo ser mostrar, que en este momento, ya la afirmacin del eminente matemtico francs ha perdido actualidad y que la crisis puede considerarse superada, habindose restituido a la Matemtica su verdadero lugar de primera disciplina cientfica, en cuanto a perfeccin estructural; y que los problemas filosficos que continan planteados, y que como todo problema filosfico se mantienen en el terreno polmico, son los que naturalmente corresponden a toda disciplina cientfica.

II La solucin de Hilbert Dos figuras sobresalen en el campo de la Matemtica de principios del siglo XX, son H. Poincar y D. Hilbert. Ambos realizan trabajos igualmente valiosos, pero con caractersticas marcadamente diferentes que reflejan temperamentos cientficos opuestos. Poincar y Hilbert encarnan, a principios del siglo XX las dos grandes corrientes de la Filosofa de la Matemtica, Poincar es el representante ms caracterizado del intuicionismo kantiano; Hilbert lo es del racionalismo leibniziano. La misma polmica vuelve a hacerse presente, pero entonces toma caractersticas, y sobre todo mtodos, totalmente nuevos. Analizaremos a continuacin la solucin que ofrece el segundo. Hilbert cree necesario, y lo realiza, en Grundzge der theoretischen Logik (Hilbert und Ackermann, 1928), perfeccionar y ampliar previamente la tcnica logicista, en la cual apoya su obra; pero diferencindose fundamentalmete de sus antecesores, en que no parte de la afirmacin de que los conceptos y relaciones matemticas son reductibles a conceptos y relaciones lgicas; afirma que hay en los fundamentos de la Matemtica, elementos nuevos no contenidos en la Lgica, lo cual se traduce en la introduccin, al fundamentarla, al lado de los postulados lgicos, de otros nuevos, y esencialmente uno que se refiere al infinito. Se obtiene as un sistema que resulta una ampliacin de la Lgica,

Actas del Primer Congreso Nacional de Filosofa, Mendoza, Argentina, marzo-abril 1949, tomo 3

E L P-VNORAMA ACTUAL DE LA FILOSOFA DE LA MATEMTICA

1633

es el "sistema formal", que permite fundamentar conjuntamente Lgica y Matemtica, unidas por su comn caracterstica de disciplinas formales, es decir, de estructura deductiva. El propsito de Hilbert es dar a los razonamientos completa objetividad, lo que realiza, imponiendo la condicin de que toda proposicin que no sea una convencin, para formar parte del sistema formal, debe ser, o un axioma o una proposicin a la que se llega por una cadena de operaciones del sistema formal a partir de los axiomas; luego, toda proposicin del sistema formal es implicada por el sistema de axiomas. Esta estructuracin tan rigurosa, necesitaba un anlisis crtico de sus procedimientos, que le permitiera asegurar la perfeccin del mtodo. Para legislar estas condiciones Hilbert crey necesario estructurar ima disciplina previa que llam Metamatemtica y Metalgica, segn que se ocupe de cuestiones de estructura de la Matemtica o de la Lgica. La Metamatemtica utiliza habitualmente el tecnicismo logstico y comprende la teora de la axiomatizacin, conjuntamente con la llamada Beweistheorie (teora de la demostracin), las cuales se realizan en las siguientes etapas: 1. Axiomatizacin de la teora en cuestin. 2. Formulacin, es decir traduccin del sistema de axiomas al lenguaje simblico, de manera que los axiomas se transformen en frmulas aptas para efectuar clculos logsticos. Estas frmulas agregadas a las que corresponden a los axiomas lgicos constituyen la base del sistema formal. 3. Demostracin de las condiciones lgicas que debe cumplir un sistema de axiomas: compatibilidad, independencia, integridad y determinacin. De las condiciones impuestas en la etapa tercera, la fundamental es la de compatibilidad; por brevedad, solamente nos referiremos a ella. Se dice que un sistema de axiomas es compatible, o no contradictorio, cuando se ha probado que operando segn las reglas de la lgica formal a partir de estos axiomas, no es posible llegar a dos proposiciones contradictorias. Refirindose al problema de la compatibilidad dice Hilbert en su trabajo Axiomatisches Denken (Mtuhematische Annalen, 1918): "Por su esencia misma el mtodo axiomtico tiene exigencias mucho ms extremas y, en particular, debe demostrarse que, en cada caso y

Actas del Primer Congreso Nacional de Filosofa, Mendoza, Argentina, marzo-abril 1949, tomo 3

1634

FAUSTO I. TORANZOS

sobre la base de los axiomas aceptados, las contradicciones son abso* lulamente imposibles dentro del interior del campo cientfico". Este problema tan preciso en su planteo, es extremadamente difcil de resolver. Un ejemplo admirable nos lo da el mismo Hilbert en su magnfica obra Grundlagen der Geometrie, en ella prueba la compatibilidad, independencia e integridad de la geometra euclidiana tridimensional, presuponiendo la compatibilidad de la Aritmtica; lo realiza demostrando que de no ser compatible la Geometra tampoco lo sera la Aritmtica. En los casos en que se ha realizado la demostracin de la compatibilidad, han sido tales que, la compatibilidad de la teora en cuestin puede reducirse, como en el caso anteriormente citado, al de otra; la dificultad se presenta para las disciplinas fundamentales Aritmtica y Teoras de Conjuntos. Para la Aritmtica el problema se plantea en los siguientes trminos: utilizando la Lgica y una parte de los nmeros naturales, probar la compatibilidad de toda la teora de los nmeros naturales. Hilbert crey haber resuelto este problema, pero en realidad no lo consigui en forma inobjetable. En 1930 el problema tom un giro distinto debido a las investigaciones de Karl Godel. Este joven matemtico vienes encar y dio solucin al problema opuesto, es decir, prob la imposibilidad de una tal demostracin. En efecto, Godel demostr el siguiente teorema "Es imposible demostrar la falta de contradiccin de ninguna teora formal que abarque la teora de los nmeros naturales con ninguna especie de medios expresables en los trminos de dicha teora". (Monatshefte fr Mathematik und Physik, 1930).

m
Valor actual de la solucin de Hilbert y conclusiones respecto al panorama actual de la Filosofa de la Matemtica Autorizadas opiniones se han pronunciado, afirmando que la solucin propuesta por Hilbert al problema de la fundamentacin y estructuracin de la Matemtica, ha realizado plenamente su objetivo. Otras opiniones tan autorizadas o ms que las anteriores, han procla-

Actas del Primer Congreso Nacional de Filosofa, Mendoza, Argentina, marzo-abril 1949, tomo 3

EL PANOBAMA ACTUAL DE LA FILOSOFA DE LA MATEMTICA

1635

mado el fracaso de la obra hilbertiana. No creemos que en este momento quepa un pronunciamiento tan categrico sobre una obra de la amplitud, profundidad y perfeccin metodolgica de la de Hilbert; y ms an, si se piensa que se refiere a un difcil problema que enraiza en la Filosofa. Juzgamos que es indispensable analizar diversos aspectos de esa vasta obra para luego obtener juicios crticos parciales que permitan decidir, teniendo en cuenta el estado actual de los estudios, qu aspectos de la obra del ilustre matemtico de Gottingen, pueden considerarse incorporados como un aporte definitivo al entendimiento y solucin del problema de los fundamentos; y qu partes de ella han sido superadas o no han adquirido la consistencia necesaria para perdurar. Efectuaremos nuestro anlisis desde tres puntos de vista, el metodolgico, el lgico y metamatemtico, y el filosfico; ello nos permitir adems obtener conclusiones respecto a la situacin actual de los problemas de la Filosofa de la Matemtica. Aspecto metodolgico

Basta tomar un tratado moderno de Matemtica, para darse cuenta de que su metodologa es formalista; la precisin, el convencionalismo, el estilo claro y conciso, el encadenamiento lgico perfecto ejecutado a partir de una cuidadosa fundamentacin axiomtica, que son las caractersticas del formalismo hilbertiano, parecen haberse impuesto como modalidades de la Matemtica actual; y esto a pesar de la crtica fundada que se hace a l, de no tomar en cuenta los elementos, que una mayor aproximacin a la intuicin y a la imaginacin, pudieran proporcionar para la comprensin de la teora. Podemos, pues, afirmar que el formalismo ha dado la orientacin de la Matemtica de nuestro tiempo en el aspecto estructural. Hay, sin embargo, un aspecto en el cual el mtodo formalista resulta pobre y de difcil aplicacin, nos referimos a la invencin matemtica. El mecanismo formalista, demasiado pesado en su rigorismo meticuloso, que se presta tan bien para el anlisis y la exposicin de teoras, no se presenta apto para la creacin matemtica. Basta recordar, al respecto, las consideraciones que hace Poincar en su conocido libro Science et Mthode. Debe destacarse tambin la influencia remarcable que ha tenido

Actas del Primer Congreso Nacional de Filosofa, Mendoza, Argentina, marzo-abril 1949, tomo 3

1636

FAUSTO I. TORANZOS

la metodologa formalista en la estructuracin de otras ramas de la ciencia, aquellas que usan la Matemtica como instrumento; como la Fsica, la Mecnica, las disciplinas tcnicas, etc. Aspecto lgico y metamatenitico

La crtica de Gidel es concluyente, prueba que la Metamatemtica no ha realizado, y ms, que no es realizable, el ideal que se propona Hilbert de dar una solucin definitiva y perfecta al problema de la fundamentacin y estructuracin de la Matemtica; no obstante lo cual, su creacin no fu intil y representa una valiosa contribucin; el valor principal est en que la Metamatemtica, con su tcnica precisa e inequvoca, ha permitido por primera vez, formular con claridad meridiana, los verdaderos problemas de la fundamentacin, precisar sus dificultades y discutir en forma conveniente las soluciones. Basta notar que el propio Gdel ha realizado por camino metamatemtico la demostracin del trascendental teorema que objeta los propsitos de Hilbert. Podemos, pues, afirmar que la Metamatemtica se ha convertido en el verdadero mtodo para el tratamiento de los fundamentos, lo cual es suficiente para consagrar la obra de Hbert como la contribucin ms valiosa aportada al problema de los fundamentos de un siglo al presente. Aspecto filosfico

Hilbert se propona eliminar del edificio matemtico y sus fundamentos, toda ingerencia de la filosofa, haciendo de la Matemtica una disciplina autnoma y perfecta. No lo ha conseguido, resultando la paradjica situacin de que, quien se propone eliminar la Filosofa de los fundamentos de la Matemtica, no consigue sino agregar una escuela filosfica ms; la escuela que pretende, sin probar de manera acabada las posibilidades de su criterio, solucionar el problema ontolgico, fijando como criterio existencial la no contradiccin. Segn este criterio, para tener derecho a afirmar la existencia de u n ente matemtico, basta probar que no es contradictorio; ya sabemos que esta condicin no es siempre realizable como lo prueba el teorema de Gdel.

Actas del Primer Congreso Nacional de Filosofa, Mendoza, Argentina, marzo-abril 1949, tomo 3

E L PANORAMA ACTUAL DK LA FILOSOFA DE LA MATEMTICA

1637

Frente a la concepcin de existencia formalista, est el criterio neointuicionsta, que exige, para probar la existencia, que se haya encontrado un procedimiento que permita la efectiva construccin o clculo del ente en cuestin. La polmica filosfico-cientfica a que dio lugar esa diferencia de opiniones abarc ms de 30 aos, habiendo tomado parte en ella las grandes figuras de las ciencias exactas de nuestro siglo y algunas de gran relieve en la Filosofa. La seguridad y profundidad de los mtodos usados permiti reunir el mximo de argumentos en favor y en contra de todas las tendencias; quedan de esta polmica numerosos y muy valiosos libros, una gran cantidad de artculos y cartas polmicas, de las cuales merecen especial mencin las publicadas en Revue de Mtaphysique et de Morle, en Revue des Mois, en Bulletin de la Socit Mathmatique de France, en Mathematische Annalen, etc.; y las ponencias presentadas en la mayora de los congresos matemticos y filosficos de este siglo. Gracias a tan copiosa y valiosa produccin hoy podemos considerar superado el estado de crisis, estando en condiciones de formular conclusiones referentes al planteo y al valor de las soluciones propuestas. Estas conclusiones son segn nuestra opinin las siguientes: 1. El criticismo extremista ha perdido su poder destructivo al establecerse que sus objeciones no ponen en peligro la compatibilidad. La exigencia de procedimientos constructivos, que era la crtica fundamental de ellos, no puede considerarse hoy como un imperativo necesario; queda nada ms que como un refinamiento metodolgico. Es claro que no carece de mritos efectuar demostraciones constructivas de un teorema, sobre todo si se tiene en cuenta las dificultades que el mtodo presenta, pero esto no quiere dcir que deban desecharse las demostraciones de tipo existencial. 2. En el terreno lgico, si bien se ha probado la posibilidad de que existan otras lgicas formales, adems de la de origen clsico, no existen razones categricas para objetar sta. La diferencia entre estas lgicas se reduce, en el fondo, a aceptar el principio del tercero excluido, o rechazarlo, o sustituirlo; en todo caso la diferencia est en la formulacin de un postulado, lo que indica que pueden coexistir las distintas lgicas sin contradecirse. 3. Quedan an pendientes, y son motivo actual de polmicas matemtico-filosficas, problemas como el de decisin y muy especial-

Actas del Primer Congreso Nacional de Filosofa, Mendoza, Argentina, marzo-abril 1949, tomo 3

1638

FAUSTO I. TORANZOS

mente la legitimidad de las teoras del transfinito, pero estos problemas pueden considerarse como marginales en la Matemtica, las teoras nucleares no estn afectadas por estas cuestiones. 4. Hay en los cimientos de la Matemtica, o con ms precisin en los fundamentos de la nocin de nmero, la necesidad de admitir sin justificacin racional perfecta, la introduccin del infinito potencial mediante el principio de induccin completa o procedimiento de recurrencia. La mejor justificacin de esto, es segn nuestro modo de ver, la dada por Poincar quien afirma: "La induccin matemtica, es decir la demostracin por recurrencia, se impone necesariamente, porque no es ms que la afirmacin de una propiedad del espritu humano". 5. Como consecuencia de lo dicho en el prrafo anterior, resulta que la Matemtica no es perfecta en el sentido formal, pero si lo es en el sentido hiunano, es decir, en relacin a la capacidad del intelecto humano. Es la disciplina estructuralmente ms perfecta que ha podido elaborar el pensamiento humano. Lo dicho nos permite formular una observacin fundamental, el carcter esencialmente humano de la Matemtica; el grado de perfeccin y las limitaciones de esta disciplina son resultantes de las propias del intelecto humano. 6. Lo dicho respecto al carcter subjetivo de las nociones funda mentales de la Matemtica, se extiende a toda la ciencia y condiciona su epistemologa. El conocimiento cientfico no es objetivo en forma absoluta, ya que no puede prescindirse del factor humano que lo condiciona. Por esto, consideramos que es impropio creer que la ciencia pueda edificarse en forma autnoma respecto a la filosofa, como lo pretenden los positivistas, tanto los comtianos como los actuales. El hombre de ciencia har filosofa toda vez que sea capaz de mirar en su obra, con espritu crtico, los fundamentos, los mtodos y el alcance de sus resultados. 7. Las conclusiones anteriores nos permiten fijar nuestra opinin respecto a la vieja polmica entre kantianos y leibnizianos, la que, descartando extremismos absolutistas de ambas orientaciones, est tan bien representada por Poincar y Hilbert. Creemos que las dos orientaciones no son contradictorias y que es posible encontrar un sistema capaz de comprenderlas a ambas, presentndolas como complementarias en aquellos aspectos de cada una de ellas que hayan manifestado la consistencia necesaria para perdurar.

Actas del Primer Congreso Nacional de Filosofa, Mendoza, Argentina, marzo-abril 1949, tomo 3

E L PANOKAMA ACTUAL DE LA paosoFA DE LA MATEMTICA

1639

Desarrollando esta idea, nuestra tesis sobre el problema filosfico de la Matemtica se concreta en la siguiente forma: a) La estructuracin de la Matemtica es formalista. b) La justificacin de los fundamentos, que es inaccesible por el camino formalista, debemos buscarla atribuyendo a los entes matemticos fundamentales (axiomas del nmero y de la teora de conjuntos), contenido intuitivo en el sentido de Kant y Poincar.

Actas del Primer Congreso Nacional de Filosofa, Mendoza, Argentina, marzo-abril 1949, tomo 3

You might also like