Tomado de MATHESIS, filosofa e historia de las ciencias matemticas, Departamento de Matemticas, UNAM, Vol. 10, No. 2: 171-186 (1994).

El desmigajador de la realidad: Wittgenstein y las matemticas

Miguel Espinoza

Despus de describir la especificidad de las ideas de Wittgenstein sobre la naturaleza de las matemticas comparndolas con el realismo platnico, el intuicionismo y el convencionalismo, se hace notar que el filfoso deshace la unidad de la realidad matemtica. Wittgenstein toca las matemticas por su lado menos interesante, lgico y calculatorio. Resulta difcil, en esas circunstancias, contribuir eficazmente a la verdadera filosofa de las matemticas. Lo ms grave es que su filosofa, inadecuada a la esencia y a la pertinencia de las matemticas, es consecuencia de sus ideas centrales como la nocin de juego de lenguaje o forma de vida, por lo que nuestras crticas se transmiten, por transposicin, a su filosofa general.

1. Est el Universo contenido en el smbolo? El platonismo en filosofa de las matemticas postula que detrs del mundo fsico, sensible y dotado de movimiento, existe un mundo objetivo, habitado por ideas o universales abstractos, inmutables y omnitemporales que pueden combinarse para formar verdades o falsedades exactas y definitivas que podemos a veces descubrir. Este mundo perfecto, sobre el cual no podemos tener ninguna influencia, nos controla de una manera que no llegamos a comprender bien. En el proceso de descubrimiento, el lenguaje tiene un rol secundario y accesorio. La historia, las aproximaciones a la verdad, la contingencia, no tienen lugar en el mundo matemtico: forman parte de nuestro esfuerzo por llegar a la verdad. La razn lingstica funciona como una escalera que nos permite elevarnos para ver. Hay en el platonismo, como en el intuicionismo de L. E. J. Brouwer, una primaca de la intuicin intelectual con respecto a la demostracin.

2 Al contrario, para el idealista, el mundo objetivo independiente de nuestros smbolos es un sueo. El Universo est en el smbolo. No hay verdad matemtica en sentido ontolgico; toda verdad es epistemolgica y depende de nuestra percepcin, de nuestra expresin, de nuestro lenguaje que no es solamente el traje con que se viste la verdad sino su contenido mismo. Despus del Tractatus , Wittgenstein niega que las proposiciones matemticas describan hechos referentes a los objetos e imagina que la nocin de verdad-correspondencia (la adecuacin de nuestra representacin a la realidad) no tiene significacin, y se encamina hacia una teora nominalista o redundantista de la verdad. Para el idealista, la verdad no es otra cosa que la coherencia de los smbolos entre ellos puesto que no es posible salir de los smbolos: se puede comparar el lenguaje con el lenguaje, pero no con algo extra-lingstico. Por su parte, la concepcin redundantista llama la atencin sobre el supuesto hecho que decir "p es verdad" y decir "p" son la misma cosa; nada se gana, una vez que se ha reconocido p, con agregar "es verdad". Retengamos por lo menos que el autor de las Investigaciones filosficas da pie para una interpretacin anti-realista de su pensamiento. El rechazo del mundo objetivo es compartido por el constructivista. Qu es el constructivismo? Como todo movimiento de ideas, no es fcil resumirlo en pocas lneas. Digamos, para fijar las ideas, que el constructivista exige una regla o un clculo que le permita demostrar, producir o reconocer la existencia de un objeto o de una propiedad cuya existencia es presupuesta o afirmada explcitamente por un teorema. Se necesita un algoritmo, es decir, un proceso enteramente planificado, y por ende finito, que opere sobre configuraciones finitas, en etapas discretas y simples, donde cada paso est determinado por el paso que le precede. Un algoritmo no resuelve solamente un problema nico sino toda una clase de problemas que, aunque difieren por los datos que los constituyen, son regidos por las mismas prescripciones. Una prueba es constructiva si cada vez que implica la existencia de algo se muestran los procedimientos que permiten su construccin. El constructivista exigir adems que cada vez que se establezca una afirmacin general, se den ejemplos; que cuando se trata de un conjunto, se nombren sus elementos de manera a distinguirlos ntidamente unos de otros. La verdad, segn el constructivismo y tal como es definida por Wittgenstein, es su mtodo de verificacin. Se pasa de la ontologa a la epistemologa: "La verificacin no es un simple ndice de la verdad sino que determina el sentido de la proposicin." 1 El constructivista inventa o construye las verdades matemticas, no las descubre: "Si existe una

3 infinidad de nmeros cardinales es porque nosotros construimos tal sistema infinito y lo llamamos sistema de nmeros cardinales."2 En una palabra, "el matemtico crea la esencia".3 Wittgenstein escribi que los que hablan de la solucin del problema de Fermat (que podemos expresar as: an + bn = cn donde a, b y c son nmeros enteros y donde n es un exponente entero) no entienden la gramtica de la expresin "problema matemtico" ni aqulla de la palabra "solucin"... Se ofrece un premio a la solucin de un problema cientfico; a la parte exterior de la solucin... Las condiciones del problema son condiciones externas, y si el problema es resuelto, lo que se produce corresponde a la solucin del problema...Si el problema fuera encontrar la construccin de un pentgono regular, una vez enunciado el problema, lo que caracteriza la construccin es la propiedad fsica que tiene de poder producir efectivamente un pentgono que la medida determina como regular. 4 Tenemos que dejar que el uso de una palabra nos instruya sobre su significado; anlogamente, la prueba se encargar de ensearnos lo que es probado. Quisiera hacer notar, de paso, que esta actitud constructivista es compatible con el platonismo, mientras no se agregue que la prueba crea la existencia. Uno puede exigir legtimamente una prueba de existencia para tener el derecho personal de afirmar que conocemos tal o cual verdad, estrategia ausente en el platonismo. Desgraciadamente, como lo hemos visto, Wittgenstein dice explcitamente que el matemtico crea la esencia. La filosofa de las matemticas de Wittgenstein puede ser calificada, con justicia, de constructivismo antropocntrico puesto que acepta como verdadero no solamente lo que podemos demostrar como tal, sino que pide, adems, que seamos capaces de seguir psicolgicamente la demostracin. De hecho, un comn denominador de los intuicionistas es que nuestra capacidad de concebir o de imaginar no puede extenderse ms all de ciertos lmites que habra que definir. As, los lmites de nuestra capacidad de percibir sensiblemente o intelectualmente una verdad seran los lmites de esta verdad, como, segn Wittgenstein, los lmites de nuestro lenguaje son los lmites del mundo. (Descartes, en las Reglas para la direccin del espritu, abord este problema y propuso aprender de memoria trozos de prueba para aumentar nuestra capacidad psicolgica de demostracin, lo que entr bien en nuestras costumbres). La exigencia de Wittgenstein excluye de la esencia de las matemticas las pruebas demasiado largas para nosotros, lo que no ocurre con la mayora de los constructivistas sensibles a la ayuda de los computadores. Por ejemplo, en la solucin del problema de los cuatro colores (es verdad que el nmero cromtico del plano o de la esfera es igual a cuatro?), Appel y Haken, para llevar a cabo las ltimas etapas de la demostracin, ingeniaron

4 un clculo que necesit 1200 horas de computador, y actualmente (Octubre de 1993) la prueba de A. Wiles de la conjetura de Fermat ocupa unas mil pginas, y los primeros que han tenido la prueba en sus manos nos piden tener confianza en ella, a pesar de los vacos o presuposiciones no debidamente justificadas que presenta. Los empiristas recientes, como Ph. Kitcher, se han servido de la observacin que no podemos seguir las pruebas demasiado largas y verificarlas, por decirlo as, de un vistazo, para afirmar que las matemticas son tan empricas y sobre todo tan falibles como las ciencias naturales.5 Incluso si a Wittgenstein le parece que el empirismo es inadmisible, de vez en cuando est cerca de l. Cmo no calificar de empirismo o de conductismo la idea de que el significado de un concepto sea dado por la prctica, por la accin, por su uso? La capacidad de seguir paso a paso una demostracin es no solamente lgica, es tambin psicolgica, y sera coherente reconocer la pertinencia de este ltimo aspecto en la descripcin constructivista antropocntrica de la esencia de las matemticas. Sin embargo, Wittgenstein dice explcitamente que no quiere saber nada de la incidencia mental sobre las matemticas: "Los procesos mentales, las alegras, las depresiones, los instintos de la gente en su trabajo, sea cual fuere su inters desde otros puntos de vista, no me interesan para nada."6 Por supuesto, J. Hadamard no estara de acuerdo (Cf. Ensayo sobre la psicologa de la invencin en el dominio de las matemticas ). Lo que interesa a Wittgenstein, la esencia de las matemticas, son las pruebas, los mtodos de demostracin. Pues bien, un mtodo no es nunca un fin en s sino un medio que finalmente permite "ver" algo con los ojos del espritu. Los pensadores antiguos estaban conscientes de eso. Para qu sirve un camino que no lleve a ninguna parte? Afirmar que en las matemticas lo esencial es el mtodo es tan absurdo como considerar que un camino es un fin. Lo que cuenta, son los hechos matemticos vistos despus de caminar. R. Thom, haciendo notar el carcter secundario de la prueba, est convencido de que cuando uno ha visto una verdad matemtica, habr siempre alguien que vendr a demostrarla.

2. Puede haber existencia sin prueba? L.E.J. Brouwer concibe en la base de las matemticas una intuicin primordial, la percepcin de los nmeros, y en la base de los nmeros una especie de dualidad, nuestra capacidad de distinguir un instante de otro, un elemento de otro. Las matemticas son el desarrollo de la intuicin primordial. El tiempo de la conciencia tiene aqu un rol fundamental. La intuicin de los nmeros es la base de la inteligibilidad y sera entonces intil tratar de definirla o de explicarla.

5 Qu propone Wittgenstein? En su ontologa no hay lugar para una base nica de inteligibilidad, ni para objetos dotados de algunas propiedades universales, ni para nada esencial. "El mundo se compone de hechos". No hay esencia de los nmeros, ni esencia de las matemticas. Con su manera tpica de deshacer la unidad de la realidad, de desmigajarla, de partirla en pedazos sin lazos necesarios, Wittgenstein afirma que las clases de nmeros tienen entre ellas una semejanza como la que puede existir entre los miembros de una misma familia. Nada impide la extensin del concepto de nmero, como nada impide que tal concepto tenga lmites fijos. Todo eso depende de nosotros, de la manera en que empleemos las palabras. 7 Los problemas acerca de los nmeros, las definiciones, las posibilidades de desarrollarlos, seran problemas de gramtica, pero se sabe que no es fcil de aprehender el significado exacto de la palabra "gramtica" en Wittgenstein. Digamos, por nuestra cuenta, que esperamos de una gramtica que sea un algoritmo, una serie de reglas que tengan la propiedad notable de permitirnos distinguir los enunciados significativos. La aplicacin podra continuar tericamente al infinito porque la serie de enunciados correctos, en un lenguaje natural, no tiene aparentemente un lmite superior. La gramtica parece ser as un modelo de algo, una lgica profunda, o ms bien, dira yo, una topologa que habra que especificar, y que nos permitira formar enunciados con sentido y reconocerlos. Pero esta sugerencia parece poco compatible con la doctrina omnipresente de los juegos del lenguaje, los cuales, siendo individualmente autnomos, no reconocen una esencia comn.

El estudio de los juegos de lenguaje es el estudio de las formas primitivas de lenguaje o de los lenguajes primitivos. Si queremos estudiar los problemas de la verdad y de la falsedad, del acuerdo y del desacuerdo de las proposiciones con la realidad, de la naturaleza de la asercin, la suposicin y la pregunta, nos ser muy provechoso considerar formas primitivas de lenguaje en las que estas formas de pensar aparecen sin el fondo perturbador de los procesos de pensamiento altamente complicados.8 Los intrpretes de Wittgenstein parecen unnimes para reconocer que los juegos de lenguaje (i) son autnomos, (ii) la fuente de la claridad de una expresin; (iii) que uno puede aprender las reglas entrenndose, imitando, una vez que uno entra a jugar; y (iv) que las explicaciones son concretas, dadas en ejemplos particulares. Esta es la idea completa que tena en mente al afirmar que Wittgenstein deshace la realidad, su anti-realismo. Tanto para el realista como para el intuicionista, la existencia de un objeto o de una propiedad goza de una cierta independencia con respecto a la prueba. Para el realista, porque reconoce la existencia de objetos y de propiedades en s, fuera de nosotros; para el intuicionista, (pienso en Brouwer, en particular) porque los seres matemticos son actos.

6 Sobre este punto, Wittgenstein opina que quien considera que la existencia es independiente de la prueba no tiene un concepto claro de existencia. Hasta ah, la opinin no es ontolgica y es correcta. Es comn que los matemticos manipulen objetos y propiedades antes de definirlos, la historia de la disciplina abunda en ejemplos. Un caso ilustre es la manipulacin del infinito antes de Cantor. Pero Wittgenstein no se detiene ah: "En realidad, existencia es lo que se prueba con lo que se llama "prueba de existencia"". 9 La existencia es absolutamente indescernible de la prueba (nominalismo). Segn los racionalistas clsicos como Descartes, los entes fsicos necesitan una causa o razn suficiente para pasar de la esencia a la existencia, pero la situacin de los entes matemticos es diferente puesto que en ellos la esencia es indistinguible de la existencia: existe, matemticamente, lo posible, es decir, lo no-contradictorio. Ahora bien, Wittgenstein, como los intuicionistas, ve en los entes matemticos una diferencia entre la esencia y la existencia; por eso, se requiere una causa o razn suficiente para que la esencia se actualice. Tal causa es la voluntad humana para L.E.J. Brouwer, la prueba constructiva para los constructivistas. Wittgenstein, como los intuicionistas, no tiene ninguna confianza en el principio del tercero excluido (para toda proposicin P, la proposicin [P o (no-P)] es verdadera) ni en la ley de la doble negacin (la negacin de un enunciado verdadero es falsa; la negacin de un enunciado falso es verdadera) en tanto que procedimientos capaces de probar la existencia de algo. El tercero excluido y la ley de la doble negacin son tiles en la prueba por reduccin al absurdo, pero, segn el intuicionismo, ese tipo de prueba puede a lo sumo hacer que algo sea posible, pero no actual. En la aritmtica intuicionista, la disyuncin p v q recibe un sentido constructivo de la siguiente manera: p v q es verdadero si y solamente si al menos uno de los dos, p o q, es efectivamente verdadero y que se sabe cul es. La exigencia de construccin efectiva deja sin significado cognoscitivo (sin valor de verdad, sin sentido literal) los enunciados como "hay siete 7 en la expansin decimal de " puesto que no sabemos si es verdad o no. Adems que la afirmacin puede ser verdadera en algunos modelos, y falsa en otros. (Recurdese que los "cazadores de decimales" de han recurrido a mtodos diferentes, aunque complementarios, como la ciclometra (Arqumides) y la trigonometra (F. Vite)). La misma situacin se presenta (no conocemos el valor de verdad) acerca de los enunciados que recurren al infinito (conjunto infinito, tender al infinito, etc.) porque, en la prctica, solo lo finito tiene sentido claro. En la prctica, y en el mejor caso, slo el infinito potencial tendra sentido, aquel que evoca la posibilidad de ir ms all de un lmite dado, en

7 las palabras de Aristteles, aquello fuera de lo cual hay siempre algo ms. Por ejemplo, todo nmero primo admite otro que le sigue y decimos entonces que la lista de nmeros primos es ilimitada. Ininteligible sera, por otra parte, el infinito como un todo acabado, el infinito actual en el sentido de Cantor, concebido como una toma de conciencia de todos los elementos, al mismo tiempo, de un conjunto infinito, como el conjunto de los nmeros enteros naturales. Los fisicalistas pueden prolongar este rechazo del infinito actual haciendo notar, por una parte, que "infinito" no puede significar otra cosa que nuestra capacidad, psicolgica y biolgica, de iterar un proceso, y que, por otra parte, esta capacidad, cuyo asiento es un cerebro finito, no puede sino ser limitada. As, nada en nuestra experiencia, necesariamente finita, equivale al infinito actual. Durante mucho tiempo el infinito actual estuvo condenado en matemticas, y se ve que su vida, desde el punto de vista de la comprensin conceptual, sigue siendo difcil. Pero es acaso verdad, como lo afirma el fisicalista, que el cerebro escapa al continuo? Considrese que el cerebro contiene un nmero elevado de neuronas (1011) y que cada neurona est compuesta por un nmero considerable de molculas. Como las molculas vibran, deben tenerse en cuenta los parmetros de posicin de las molculas, y si se admite que el espacio en el cual vibran las molculas es continuo, se obtienen parmetros continuos. (Ver por ejemplo R. Thom, Prdire n'est pas expliquer, 1991). Retomemos nuestro tema. Wittgenstein considera que el principio del tercero (o medio) excluido se comporta como un modelo o imagen que tratamos de imponer a la realidad, pero deja entender que nada nos obliga a hacerlo as y que solo un dios podra darse el lujo de excluir una tercera posibilidad.10 Pero su rechazo del tercero excluido no es categrico en todos los contextos. De hecho, si un matemtico elije emplear la expresin "p o no-p" como enunciado necesariamente verdadero, entonces tendra derecho a emplear el tercero excluido como regla de inferencia (convencionalismo). Luego, L.E.J. Brouwer y Wittgenstein ven las matemticas ms bien como una actividad que como teora. 11 Pero hasta ah llega la similitud porque el matemtico holands reconoce mientras que Wittgenstein no lo hace la existencia de objetos abstractos, construcciones mentales independientes del lenguaje; las intuiciones matemticas son actos que pueden o no ser expresados verbalmente.12 Einstein, en sus notas autobiogrficas, revela que no le cabe ninguna duda que el pensamiento progresa en gran parte sin recurrir a signos o a palabras, y que se encamina, aunque no exclusivamente, de manera inconsciente. Por otro lado, se entiende que el filsofo, para quien el lenguaje natural es indispensable, caiga en la tentacin de generalizar y saque la conclusin errnea que no hay pensamiento sin lenguaje.

8 3. Son las matemticas esencialmente algortmicas? Es bien sabido que para Wittgenstein, el sentido de un concepto es su uso:

El significado no es acaso realmente el uso de la palabra? No es acaso la manera en que tal uso interviene en la vida?... El sentido de la proposicin, es el rol que tiene en el clculo. Algo no es una proposicin sino en un lenguaje. Entender una proposicin significa entender un lenguaje.13 Wittgenstein se ha encerrado en una concepcin algortmica de las matemticas, lo que est claro dada su insistencia sobre el (pretendido) carcter esencial del clculo y de la prueba. Ahora bien, los teoremas de inclompletud de K. Gdel nos obligan a reconocer que el pensamiento no es algortmico. El primer teorema puede formularse as: (I) si la aritmtica formal no es contradictoria, existe una frmula F de la aritmtica formal tal que ni F ni no-F sean demostrables en esa teora. En otras palabras, si la aritmtica formal no es contradictoria, no es una teora completa. Pero es sobre todo lo que puede llamarse el segundo teorema de incompletud de K. Gdel el que muestra de manera ms ntida el carcter no-algortmico del pensamiento: (II) Si la aritmtica formal no es contradictoria, su no-contradiccin no es demostrable por los mtodos formalizables en la aritmtica formal. (Recordemos, de paso, que este resultado dio un golpe fatal a la parte del programa formalista de D. Hilbert consistente en la idea que es posible axiomatizar completamente las matemticas). Se sigue de los teoremas mencionados que somos capaces de ver una verdad que no haya sido obtenida gracias a una serie finita de procesos en nmero finito y aplicados a un nmero finito de datos. Eso quiere decir que un sistema lgico es, por s mismo, incapaz de garantizar su propia descripcin: lo verdadero no equivale a lo demostrable. El tema es interesante y difcil,14 pero uno no ve bien cmo podramos abordarlo sin estudiar la dinmica mental una vez que se ha declarado, como Wittgenstein lo ha hecho, que los procesos mentales, en el estudio de las matemticas, no le interesan. K. Gdel tena ms de una razn para quejarse de que Wittgenstein no haba entendido sus trabajos y que los ltimos escritos de su compatriota significan una regresin o, en los trminos de St. Hawking, "una desgracia" cuando se los comparan con la tradicin filosfica dedicada al estudio de problemas ms bien que al anlisis del lenguaje. A. Connes15 distingue tres niveles del pensamiento matemtico: el primero se define por la facultad de calcular, de aplicar una receta dada, lo que existe ya en los computadores. No hay comprensin de lo que se hace ni conciencia de su valor. El segundo nivel, ms sofisticado, exige una comprensin del problema tratado que determina una estrategia en vista

9 de un fin. Hay que comprender la significacin de lo que se hace. Las operaciones estn jerarquizadas. La eleccin de una estrategia muestra un cierto grado de libertad, una eleccin por parte de la mente, pero en ningn momento se ve una distancia entre el funcionamiento del cerebro y el objeto al cual se aplica. Todo lo necesario para la resolucin del problema existe. Ahora bien, no es claro cmo se podra programar un computador capaz de evaluar lo que hace. A. Connes considera que en el hombre el sentimiento de frustracin, la tensin o el placer, cumplen esta funcin. Habra que arreglrselas para introducir en el programa una funcin similar a la frustracin o al placer que evale y oriente la estrategia de la mquina que piensa. Qu razn tendra una mquina para perfeccionarse, para mejorar su capacidad de jugar ajedrez, si no sufre, si no se frustra cuando hace una tontera, si le da igual perder o ganar? La situacin del tercer nivel es diferente: hay descubrimiento de nuevas zonas de la realidad matemtica, se plantean nuevos problemas y se abren nuevas vas de resolucin. El matemtico cree ver ah una disociacin entre la actividad cerebral y el pensamiento. Se tiene la impresin que el espritu se ocupa de una tarea diferente mientras que de manera interna, subconsciente, el problema contina su curso en el cerebro. Es como si el espritu, en su bsqueda de significacin, se dejara guiar por la coherencia de la realidad matemtica independiente del cerebro. Yo propongo concebir la conciencia como un demiurgo que modela el cerebro inspirndose en el orden del mundo inteligible. Se entiende que esta reflexin quede fuera de la actitud wittgensteiniana porque esta ltima excluye explcitamente de las matemticas el pensamiento y lo mental: "Las proposiciones matemticas no expresan ningn pensamiento". (Tractatus , 6.21).

4. Existe una necesidad detrs de las reglas? Desde el punto de vista de la teora del conocimiento, la necesidad aparece claramente en dos contextos: en las matemticas y en la fsica. En fsica, la necesidad adopta la forma de la transmisin de una energa, de una fuerza o de una informacin. Es lo que la relacin causal intenta describir. En matemticas, la necesidad aparece en forma de deduccin y pueden ser concebidas como el dominio de la deduccin pura. En principio, si los axiomas tienen sentido, todo tiene sentido, porque se transmite necesariamente en la deduccin. Ahora bien, una de las razones principales que hacen que un matemtico, cuando reflexiona sobre lo que hace, adopte el platonismo, es la necesidad con la que los hechos se le imponen a su intelecto, y no le queda otra opcin que dejarse enrielar por la necesidad. El estatuto de esta nocin es central a la concepcin de las matemticas, y la idea que uno tenga de ella determina una filosofa.

10 En el Tractatus, se asigna la necesidad a la lgica, pero en los textos posteriores la necesidad desaparece favoreciendo as algunas ideas que en ciertos aspectos -en algunos solamente, porque Wittgenstein es un pensador independiente- se dejan emparentar al convencionalismo o al pragmatismo. Sucede que se subordina la necesidad a la eleccin de una regla o a la eleccin de una gramtica, de un juego de lenguaje. Tales reglas seran idnticas a su uso, lo que quiere decir que ellas no manifiestan una realidad en s: "No se puede excavar detrs de las reglas, puesto que no hay nada detrs de ellas." 16 Dos referentes que permiten captar la especificidad de la idea de Wittgenstein son el pragmatismo y el realismo. Veamos el caso de Quine. En la medida en que las matemticas contribuyen a pasar lgicamente de un enunciado de observacin a otro, las matemticas comparten el contenido emprico de la fsica matemtica, y la apariencia de necesidad no es otra cosa que el reflejo de nuestra prudencia ante la posibilidad indeseable de modificar demasiado profundamente el campo cognitivo. Ntese que de las matemticas se conserva aqu solamente su rol lgico y que lo nico que se les pide es que sean capaces de "salvar los fenmenos", de dar cuenta de ellos. El principio director, segn Quine, es la mxima de la mutilacin mnima: "intente perturbar lo menos posible el todo de la ciencia." Como los efectos de las verdades matemticas se dejan sentir lejos y en muchos dominios, se entiende que las verdades matemticas estn particularmente bien protegidas y que estemos dispuestos a modificarlas lo menos posible: eso es todo lo que tenemos que ver en la necesidad matemtica. Pero Wittgenstein no es cientificista, no se da como fin intocable el progreso del conocimiento, dejando entender que la ciencia es un juego de lenguaje entre otros. Para el realista, la necesidad es una sola, la necesidad natural, que se manifiesta, por ejemplo, en la transmisin de una fuerza fsica o en la transmisin del sentido en matemticas. Existe un campo cognitivo, jerrquicamente organizado, donde el principio de la organizacin es la necesidad. La historia del conocimiento, y en particular el desarrollo de las matemticas y de la fsica, es la historia de la bsqueda de necesidad. Si se han elaborado teoras cada vez ms abstractas, unificadas y profundas, es porque se ha intentado atar hechos, aparentemente contingentes, a una necesidad. Esta observacin permite de ubicar a la cabeza de las ciencias la metafsica, entendida como la ciencia de la necesidad pura, luego las matemticas, la mecnica racional, la fsica, etc. en una jerarqua como la propuesta por A. Comte, slo que aqu figura, en primer lugar, la metafsica. La idea de base es que existe un solo mundo, dotado de una sola inteligibilidad, necesidad o razn (considero que desde un punto de vista metafsico, estos tres conceptos forman uno solo), captados finalmente por un solo gran

11 sistema conceptual. Toda concepcin diferente de este realismo metafsico contendr componentes escpticos, y las doctrinas de Wittgenstein ilustran esta afirmacin. La visin wittgensteiniana de la necesidad y de la significacin que hace que ellas dependan de las reglas seleccionadas, de un clculo o juego de lenguaje, es un argumento convencionalista contra la unidad del mundo y de la razn. Al contrario de lo que se afirmaba en el Tractatus, hemos visto que se lee en los escritos posteriores que no hay nada en comn en las diversas formas de lenguaje, que cada juego de lenguaje es autnomo, la incorporacin de una forma de vida. En las matemticas, como en las otras situaciones, "lo que debe ser aceptado, lo dado es, podramos decirlo as, las formas de vida." 17 Algunos comentadores, por ejemplo M. Dummett,18 han credo ver en la insistencia de Wittgenstein en la eleccin de reglas, un convencionalismo radical. Esta interpretacin no parece imposible, pero que yo sepa, Wittgenstein no dice explcitamente que elegimos las reglas de manera arbitraria. Puesto que la nocin-clave es la forma de vida, habra que hacer la lista de sus componentes. Cmo no incluir en ella las condiciones biolgicas, y cmo no ver en estas ltimas une serie de elementos naturales y universales que expresan, a su vez, condiciones matemticas y fsicas? Slo la descripcin adecuada de la extensin del concepto de forma de vida podra aclararnos sobre el grado de convencionalismo de Wittgenstein, pero el filsofo austraco dira probablemente que la tarea propuesta sera sin fin, indecidible, ya que para llevarla a cabo, tendramos que recurrir a formas de vida. Se corre as el riesgo de razonar en crculo, lo que culminara en una forma de escepticismo tpicamente wittgensteiniano.

5. Qu inters tiene una matemtica sin pertinencia metafsica? La serie de juegos de lenguaje no est ordenada jerrquicamente, las regularidades no estn surordinadas a ninguna regularidad superior. No es entonces sorprendente que Wittgenstein llegue a separar la filosofa (en la escasa medida en que reconoce a sta un contenido positivo) de las matemticas19 y que enseguida desligue las matemticas de la metamatemtica, una de las razones por las cuales no parece haber entendido, o no haber querido entender, el inters de los trabajos de K. Gdel o de A. Tarski20 Ya el Tractatus negaba la posibilidad de la metamatemtica, y sabemos ahora, despus de los aportes de K. Gdel, de A. Tarski, de P. Cohen, entre otros, que esa actitud es errnea. La metamatemtica toca las matemticas, y en la medida en que la metamatemtica es una filosofa, no se puede afirmar, como Wittgenstein lo hizo, que la filosofa deje todo tal cual.

12 Una opcin diferente y preferible, dada la actividad matemtica, consiste en reconocer que las matemticas, como la filosofa, son ideas, seres vivos que se unen para engendrar nuevos seres los cuales a su vez se desarrollan y mueren, dejando una descendencia. Generaciones enemigas pueden combatirse mientras que algunos de sus miembros mezclan sus sangres. La historia de las matemticas se asemeja a la historia humana. De otra manera no se entendera que algunas ideas filosficas precedan a ideas matemticas, o que ideas en fsica puedan servir al progreso de las matemticas, y as sucesivamente. Imagine las matemticas antiguas sin sus races cosmolgicas o mticas -se convierten en curiosidades sin maana. Y cmo entender el nacimiento del clculo infinitesimal fuera de su contexto metafsico y fsico? Ms cerca de nosotros en el tiempo, los trabajos de K. Gdel adquieren una nueva dimensin cuando se nos informa de su optimismo racionalista, de su esperanza leibniziana de ver la metafsica convertida en ciencia exacta, y se entiende la plena significacin de la Teora de las catstrofes de R. Thom solamente en el contexto de la filosofa de la naturaleza donde aparece como una teora general de la analoga, como una metodologa o especie de lenguaje que permite organizar los datos de la experiencia en las condiciones ms diversas.

A fuerza de querer suprimir los lazos entre el pensamiento y la realidad, as como al rehusar de dar a la ciencia el valor de una experiencia espiritual, corremos el riesgo de quedarnos solamente con la sombra de la ciencia. (A. Lautman). Habra que admitir que los hechos matemticos existen en la naturaleza pre-humana antes de existir conscientemente en nuestro intelecto. Las matemticas, en tanto que ciencia, emergen de un cerebro sometido l mismo a condiciones matemticas, fsicas y biolgicas. Imaginemos entonces que los objetos y propiedades matemticos estn hechos de una cierta "materia" cuyas propiedades requieren especificacin. Se puede pensar en este contexto al referente del concepto de punto material de la mecnica. Recordemos que Leibniz, al discutir los fundamentos de la fsica, tuvo necesidad de postular la existencia de puntos metafsicos, detrs de los puntos fsicos o tomos (divisibles slo en apariencia) y detrs de los puntos matemticos (exactos, pero son solamente modalidades, abstracciones). Los puntos metafsicos (o substancias) son a la vez exactos y reales, y sin ellos no habra nada real porque sin verdaderas unidades no habra multitud. Si consideramos en cambio que los objetos matemticos y sus propiedades son absolutamente transfsicos, y si conservamos la ontologa matemtica (no como hacen los logicistas), no podramos dar cuenta del hecho que las matemticas tienen un rol constitutivo

13 (no son una mera aplicacin del exterior) en la teora de la fsica matemtica. Si esta teora es literalmente verdadera, y si contiene una parte matemtica ineliminable, se sigue que los objetos y las propiedades matemticas presupuestos son reales. Las partes de la fsica bien matematizadas como la gravitacin y el electromagnatismo sugieren que el mundo platnico y que el mundo sensible son un solo mundo, y decir que la constitucin matemtica de las leyes en esos dominios es el resultado del azar significa renunciar a entender. El azar, causa ciega, siendo l mismo ininteligible, no puede explicar nada. La verdad implica la existencia aunque para dar un contenido definitivo a la afirmacin haya que esperar que las teoras se estabilicen, que hayan alcanzado el ideal de darnos las cosas como son. Digamos que una frmula, una proposicin nos da una verdad literal cuando es trans-terica, cuando pasa intacta de una teora a otra ms vasta y profunda que la engloba.

Wittgenstein recorri un largo camino en el sentido opuesto al realismo descrito. Las reglas no determinan ninguna realidad y se supone que podemos elegir las reglas y la manera de aplicarlas (convencionalismo, pragmatismo). La objetividad no sera otra cosa que el acuerdo de la comunidad cientfica que comparte un juego de lenguaje y una forma de vida. 21 Difcil, en ese caso, de hacer justicia al progreso del conocimiento, de describir convenientemente el encadenamiento de teoremas y de descubrimientos durante siglos. Hemos visto que el realista se esfuerza por recuperar la visin unificada del conocimiento gracias a la unidad de la necesidad. La historia de las matemticas ensea que la solucin de muchos problemas llega a ser posible slo una vez que sectores particulares y mutuamente indiferentes consiguen ser reunidos. La reunin hace que una curiosidad gane en significacin y permite a veces que pase a ser un teorema profundo. La solucin de la conjetura de Fermat a la cual he hecho alusin ocurri recientemente gracias a que los trabajos en geometra algebraica haban logrado enlazar el teorema a dominios bien explorados de las matemticas. Qu posibilidad tiene de dar cuenta de estos notables hechos una filosofa que deshace la unidad y la necesidad de la realidad?

6. Conclusin Cmo no aplastar el mundo matemtico y la actividad mental que arranca hechos al inconsciente, cuando se ha decidido poner atencin solamente a "los libros de cuenta de los matemticos?"22 Uno se queda con la impresin de que la visin de Wittgenstein no puede ser aquella de un matemtico, ni aplicable cmodamente a la significacin y pertinencia de esta

14 ciencia. Hay teoremas profundos cuyas consecuencias de dejan ver lejos. Considrese el rol constitutivo de la geometra en la relatividad general, de los nmeros complejos en la mecnica cuntica, de los conceptos de singularidad y de bifurcacin en la biologa terica, etc. Todos conocemos la importancia que se da a la medida y a las leyes cuantitativas en la ciencia moderna, incluso en las ciencias llamadas "humanas". Ahora bien, cmo entender este hecho sin reducir los fenmenos a la geometra del espacio-tiempo? Wittgenstein se acerc a las matemticas por su lado menos interesante, por abajo, por sus aspectos lgicos, empricos y calculatorios. Es difcil, dado ese punto de partida, de contribuir eficazmente a la filosofa de las matemticas. El gemetra tiene menos posibilidades de extraviarse sobre la naturaleza de las matemticas que el lgico puesto que la geometra, ciencia fundamental, se encuentra en la base de la mecnica y de otras teoras fsicas, mientras que la lgica se ha derivado del lenguaje natural. Lo grave es que la ideas de Wittgenstein sobre las matemticas, como lo he mostrado, estn en gran parte implicadas por el ncleo de su filosofa general: las nociones de sentido, de comprensin, de juego de lenguaje y de forma de vida, por lo que las crticas que podemos presentar a su filosofa de las matemticas se transmiten, por transposicin, a su pensamiento en general.

***

Notas

1. L. Wittgenstein, Gramtica filosfica, 2a parte, Cap.VII, 39. 2. Ibid., 2a parte, Cap. IV, 28. 3. L. Wittgenstein, Remarks on the foundations of mathematics, Nueva York, 1956, I,32. 4. L. Wittgenstein, Gramtica filosfica, 2a parte, Cap.V, 22. 5. Ph. Kitcher, On the nature of mathematical knowledge, Oxford University Press, 1983. 6. L. Wittgenstein, Gramtica filosfica, 2a parte, Cap.III, 2. 7. L. Wittgenstein, Philosophical Investigations, The Macmillan Co., Nueva York, 3a ed. 1968, pp.32-33. 8. L. Wittgenstein, Los cuadernos azul y marrn, Tecnos, Madrid, 1968, pp. 44-45. 9. L. Wittgenstein, Gramtica filosfica, 2a parte, Cap.V, 24. 10. L. Wittgenstein, Philosophical Investigations, op.cit., p.112. 11. Ibid., p. 227.

15 12. Sobre las relaciones entre las ideas de Wittgenstein y de Brouwer se puede ver, p.ej., M. Dummett, "Wittgenstein's philosophy of mathematics", in The Philosophical Review, vol. LXVIII, 1959, pp. 324-348. 13. L. Wittgenstein, Gramtica filosfica, Sumario, Caps.II, VI. 14. Ver, p.ej., R. Penrose, The Emperor's New Mind. Concerning Computers, Minds, and the Laws of Physics, Oxford U.P., 1980, Ch. 2 y 10. 15. J.P Changeux, A. Connes, Matire pense, O. Jacob, Pars, 1989. 16. L. Wittgenstein, Gramtica filosfica, 2a parte, Cap.I, 1. 17. L. Wittgenstein, Philosophical Investigations, op.cit., p. 226. 18. Cf. M. Dummett, op.cit. 19. L. Wittgenstein, Philosophical Investigations, op.cit., p. 49. 20. Sobre las relaciones entre Wittgenstein y Gdel, y en particular sobre el juicio de Gdel de la obra de Wittgenstein se puede leer Hao Wang, Reflections on Kurt Gdel, M.I.T., 1987. 21. L. Wittgenstein, Philosophical Investigations, op.cit., p. 88. 22. L. Wittgenstein, Gramtica filosfica, 2a parte, Cap.III, 11.

***