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 p roblemas de la Filosofa de la Matemtica, destacando el sentido y la importancia qu e 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 un in 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 f undamental que estas contribuciones tienen para la solucin actual. Desarrollamos el trabajo en tres captulos: 1. Planteo de los problemas de la Filosofa de la Mate mtica. 2. La solucin de Hilbert. 3. Significado y valor actual de la solucin de Hil bert y conclusiones respecto al panorama actual de la Filosofa de la Matemtica. Al referirnos al aspecto logstico o matemtico de los problemas de fundamentacin, no e ntraremos 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 traba jo . El siglo XIX es para la Matemtica, particularmente en el ltimo tercio, el pe rodo de su perfeccionamiento metodolgico. Los matemticos del siglo pasado sintieron la necesidad de efectuar un profundo anlisis de los cimientos y mtodos de las div ersas ramas que constituyen su disciplina, en un esfuerzo de labor crtica y const ructiva, tendiente a dotar a las ciencias exactas de la solidez en sus fundament os y seguridad en sus procedimientos, suficientes para garantizar el grado de pe rfeccin estructural que por su ndole requiere. Ya en el siglo m (a. J. C.) Euclide s tuvo igual propsito respecto a la Matemtica griega, en su obra Elementos emprend e con genial maestra, la sistematizacin racional de la Geometra. Crea y utiliza el mtodo axiomtico, procurando estructurar esa disciplina en forma lgico-deductiva per fecta. Gran parte del propsito euclidiano fu realizado, legndonos un mtodo y una obr a 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 s e propusiera respecto a la griega, sin variar ni el programa ni el mtodo; se conf irma con esto el valor y la profundidad de la obra euclidiana. Si propsitos y mtod os no han variado de la antigedad a nuestros das, en cambio, ha habido una total t ransformacin en cuanto al contenido de la Matemtica, sus ramas clsicas han adquirid o un extraordinario desarrollo, y otras nuevas han aparecido, complicando enorme mente 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 lle var sus investigaciones hacia lo general y lo abstracto, en un esfuerzo por alej ar 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, infinitod imensionales, etc., hasta llegar a la Geometra de los espacios abstractos; efectu ando una extraordinaria ampliacin formal del campo de validez de las relaciones g eomtricas. Iguales procesos siguen la Aritmtica, el Anlisis y el Algebra. De la co njuncin, o mejor dicho del choque, entre las dos corrientes mencionadas como cara ctersticas 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 conduc idas a su verdadero lugar, habindose convertido la crisis que pareca de destruccin, en movimiento constructivo y de perfeccionamiento de las teoras matemticas, movim iento que cuenta a Hilbert como figura mxima. Ejemplo tpico de esta situacin de cri sis es la aparicin de las antinomias cantorianas, producidas al estructurar la te ora de los conjuntos. Son conocidas, y no insistiremos por ello, la de Russell, l a 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 razonamiento s lgicos, en particular, los que utilizan el principio del tercero excluido; esto trajo la duda respecto a la seguridad de algunas teoras matemticas, aquellas cons truidas 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 cuan do 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 sis tema 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 Wh itehead Principia Matemtica publicada entre 1910 y 1913, que contiene la Lgica est ructurada 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 c ual la Matemtica pasa a ser una rama de la Lgica. De esta manera los logicistas cr een tener los elementos necesarios para resolver, dentro de la Lgica, todos los p roblemas de fundamentacin y estructuracin de la Matemtica. La crtica demostr que este propsito no fu realizado en forma completa, ya que la fundamentacin dada a la Mate mtica por este camino no queda exenta de objeciones de carcter fundamental, que re sultan incompatibles con el propsito de dar a la Matemtica una estructuracin lgicame nte perfecta. Las dificultades que se presentaron a los logicistas aumentaron co n la aparicin de nuevas ramas de la Matemtica, ms generales y ms abstractas, que apo rtaron problemas de mayor dificultad en el terreno lgico. Estos problemas tuviero n 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 s u clebre paradoja, aport un elemento importante de crtica a su propia obra. El movi miento criticista, heredero en el terreno de la Filosofa de la Matemtica, del kant ianismo, 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 pura" en el sentido de Kant. Data de aproximadamente un tercio de s iglo una nueva reedicin de la posicin criticista, que se distingue por el radicali smo de sus objeciones a la estructura y fundamentacin de la Matemtica. Estas crtica s intuicionistas dieron por resultado, las as llamadas, polmicas sobre los fundame ntos, polmica sobre la Lgica y polmica sobre el transfinito, que condujeron a la Ma temtica a la situacin que fu designada como "de crisis". El primer resultado concre to de estas polmicas es que el carcter de ellas no es nicamente lgico, las diferenci as 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 pr imero se refiere a la naturaleza de los entes matemticos, se trata pues de un pro blema 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 reducti bles 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 de Kant; son los intuicionistas. Otros a firman 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 deta lle ms adelante. El segundo problema se plantea al considerar el infinito en Mate mtica Puede concretarse en las siguientes preguntas: Puede el espritu humano abarca r y manejar con propiedad el concepto de infinito? O puede nicamente hacerlo con e l 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 problc 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 t ransfmita, 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 auto noma cientificista, podra prescindir de estas cuestiones dejando su solucin a los f ilsofos, y construir las teoras matemticas sin preocuparse de la naturaleza y orige

n 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 Matemt ica. Asi SI se adopta la posicin criticista, la teora de conjuntos abstractos y la s del transfinito quedaran excluidas de la Matemtica, y otras, aun dentro de las r amas 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 legitimi dad de importantes teoras que se suponan definitivamente consolidadas. Citaremos u n solo ejemplo para dar idea de la gravedad de la situacin: Hermn Weyl con su indi scutible autoridad cientfica, afirmaba en 1917 que el calculo infinitesimal est ed ificado 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 fenme no, sin precedente en la historia de la ciencia Una disciplina que ha sido lleva da al estado positivo (cientfico) est en vas de volver al estado metafsico. Esta ci encia es la ms vieja, la ms simple y perfecta de las ciencias: la Matemtica". Uno d e 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 consider arse superada, habindose restituido a la Matemtica su verdadero lugar de primera d isciplina cientfica, en cuanto a perfeccin estructural; y que los problemas filosfi cos que continan planteados, y que como todo problema filosfico se mantienen en el terreno polmico, son los que naturalmente corresponden a toda disciplina cientfic a. 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 igu almente valiosos, pero con caractersticas marcadamente diferentes que reflejan te mperamentos cientficos opuestos. Poincar y Hilbert encarnan, a principios del sigl o XX las dos grandes corrientes de la Filosofa de la Matemtica, Poincar es el repre sentante ms caracterizado del intuicionismo kantiano; Hilbert lo es del racionali smo leibniziano. La misma polmica vuelve a hacerse presente, pero entonces toma c aractersticas, y sobre todo mtodos, totalmente nuevos. Analizaremos a continuacin l a solucin que ofrece el segundo. Hilbert cree necesario, y lo realiza, en Grundzge der theoretischen Logik (Hilbert und Ackermann, 1928), perfeccionar y ampliar p reviamente la tcnica logicista, en la cual apoya su obra; pero diferencindose fund amentalmete de sus antecesores, en que no parte de la afirmacin de que los concep tos y relaciones matemticas son reductibles a conceptos y relaciones lgicas; afirm a que hay en los fundamentos de la Matemtica, elementos nuevos no contenidos en l a Lgica, lo cual se traduce en la introduccin, al fundamentarla, al lado de los po stulados lgicos, de otros nuevos, y esencialmente uno que se refiere al infinito. Se obtiene as un sistema que resulta una ampliacin de la Lgica, es el "sistema fo rmal", que permite fundamentar conjuntamente Lgica y Matemtica, unidas por su comn caracterstica de disciplinas formales, es decir, de estructura deductiva. El props ito 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 lle ga por una cadena de operaciones del sistema formal a partir de los axiomas; lue go, toda proposicin del sistema formal es implicada por el sistema de axiomas. Es ta 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 Lgi ca. La Metamatemtica utiliza habitualmente el tecnicismo logstico y comprende la t eora de la axiomatizacin, conjuntamente con la llamada Beweistheorie (teora de la d emostracin), 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 len guaje simblico, de manera que los axiomas se transformen en frmulas aptas para efe ctuar clculos logsticos. Estas frmulas agregadas a las que corresponden a los axiom as lgicos constituyen la base del sistema formal. 3. Demostracin de las condicione s lgicas que debe cumplir un sistema de axiomas: compatibilidad, independencia, i ntegridad y determinacin. De las condiciones impuestas en la etapa tercera, la fu ndamental es la de compatibilidad; por brevedad, solamente nos referiremos a ell a. 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 ax

iomas, no es posible llegar a dos proposiciones contradictorias. Refirindose al p roblema de la compatibilidad dice Hilbert en su trabajo Axiomatisches Denken (Mt uhematische Annalen, 1918): "Por su esencia misma el mtodo axiomtico tiene exigenc ias mucho ms extremas y, en particular, debe demostrarse que, en cada caso y sob re la base de los axiomas aceptados, las contradicciones son abso* lulamente imp osibles 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 co mpatibilidad, 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 compatib ilidad de la teora en cuestin puede reducirse, como en el caso anteriormente citad o, al de otra; la dificultad se presenta para las disciplinas fundamentales Arit mtica y Teoras de Conjuntos. Para la Aritmtica el problema se plantea en los siguie ntes trminos: utilizando la Lgica y una parte de los nmeros naturales, probar la co mpatibilidad 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 p roblema tom un giro distinto debido a las investigaciones de Karl Godel. Este jov en matemtico vienes encar y dio solucin al problema opuesto, es decir, prob la impos ibilidad 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". 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 autorizad as o ms que las anteriores, han proclamado 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 s e 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 obt ener 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 a nlisis desde tres puntos de vista, el metodolgico, el lgico y metamatemtico, y el fi losfico; 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 formalist a; la precisin, el convencionalismo, el estilo claro y conciso, el encadenamiento lgico perfecto ejecutado a partir de una cuidadosa fundamentacin axiomtica, que so n las caractersticas del formalismo hilbertiano, parecen haberse impuesto como mo dalidades 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, pu es, afirmar que el formalismo ha dado la orientacin de la Matemtica de nuestro tie mpo en el aspecto estructural. Hay, sin embargo, un aspecto en el cual el mtodo f ormalista resulta pobre y de difcil aplicacin, nos referimos a la invencin matemtica . El mecanismo formalista, demasiado pesado en su rigorismo meticuloso, que se p resta tan bien para el anlisis y la exposicin de teoras, no se presenta apto para l a creacin matemtica. Basta recordar, al respecto, las consideraciones que hace Poi ncar en su conocido libro Science et Mthode. Debe destacarse tambin la influencia r emarcable que ha tenido la metodologa formalista en la estructuracin de otras ram as 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 perfe cta 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 princip

al 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 fun damentacin, precisar sus dificultades y discutir en forma conveniente las solucio nes. Basta notar que el propio Gdel ha realizado por camino metamatemtico la demos tracin del trascendental teorema que objeta los propsitos de Hilbert. Podemos, pue s, afirmar que la Metamatemtica se ha convertido en el verdadero mtodo para el tra tamiento de los fundamentos, lo cual es suficiente para consagrar la obra de Hber t como la contribucin ms valiosa aportada al problema de los fundamentos de un sig lo al presente. Aspecto filosfico Hilbert se propona eliminar del edificio matemtic o y sus fundamentos, toda ingerencia de la filosofa, haciendo de la Matemtica una disciplina autnoma y perfecta. No lo ha conseguido, resultando la paradjica situac in 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 problem a ontolgico, fijando como criterio existencial la no contradiccin. Segn este criter io, para tener derecho a afirmar la existencia de un ente matemtico, basta probar que no es contradictorio; ya sabemos que esta condicin no es siempre realizable como lo prueba el teorema de Gdel. Frente a la concepcin de existencia formalista , est el criterio neointuicionsta, que exige, para probar la existencia, que se ha ya encontrado un procedimiento que permita la efectiva construccin o clculo del en te en cuestin. La polmica filosfico-cientfica a que dio lugar esa diferencia de opin iones 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 se guridad 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 mu y 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 Revu e 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 fil osficos de este siglo. Gracias a tan copiosa y valiosa produccin hoy podemos consi derar superado el estado de crisis, estando en condiciones de formular conclusio nes referentes al planteo y al valor de las soluciones propuestas. Estas conclus iones son segn nuestra opinin las siguientes: 1. El criticismo extremista ha perdi do su poder destructivo al establecerse que sus objeciones no ponen en peligro l a compatibilidad. La exigencia de procedimientos constructivos, que era la crtica fundamental de ellos, no puede considerarse hoy como un imperativo necesario; q ueda 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 decir que deba n desecharse las demostraciones de tipo existencial. 2. En el terreno lgico, si b ien 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 en tre estas lgicas se reduce, en el fondo, a aceptar el principio del tercero exclu ido, 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 cont radecirse. 3. Quedan an pendientes, y son motivo actual de polmicas matemtico- filo sficas, problemas como el de decisin y muy especialmente la legitimidad de las teo ras del transfinito, pero estos problemas pueden considerarse como marginales en la Matemtica, las teoras nucleares no estn afectadas por estas cuestiones. 4. Hay e n 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 da da por Poincar quien afirma: "La induccin matemtica, es decir la demostracin por rec urrencia, se impone necesariamente, porque no es ms que la afirmacin de una propie dad del espritu humano". 5. Como consecuencia de lo dicho en el prrafo anterior, r esulta 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 hum ano. Lo dicho nos permite formular una observacin fundamental, el carcter esencial

mente humano de la Matemtica; el grado de perfeccin y las limitaciones de esta dis ciplina son resultantes de las propias del intelecto humano. 6. Lo dicho respect o 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 ob jetivo 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 ed ificarse en forma autnoma respecto a la filosofa, como lo pretenden los positivist as, 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 mto dos y el alcance de sus resultados. 7. Las conclusiones anteriores nos permiten fijar nuestra opinin respecto a la vieja polmica entre kantianos y leibnizianos, l a que, descartando extremismos absolutistas de ambas orientaciones, est tan bien representada por Poincar y Hilbert. Creemos que las dos orientaciones no son cont radictorias y que es posible encontrar un sistema capaz de comprenderlas a ambas , presentndolas como complementarias en aquellos aspectos de cada una de ellas qu e hayan manifestado la consistencia necesaria para perdurar. 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 justific acin de los fundamentos, que es inaccesible por el camino formalista, debemos bus carla atribuyendo a los entes matemticos fundamentales (axiomas del nmero y de la teora de conjuntos), contenido intuitivo en el sentido de Kant y Poincar.