Quaderns de losoa i cincia, 37, 2007, pp.

15-28

IMPLICACIONES PARA LA FILOSOFA DE LAS MATEMTICAS DEL CONSTRUCTIVISMO EVOLUCIONISTA DE S. DEHAENE

Antonio Caba
Universidad de Mlaga

Abstract: Stanislas Dehaenes well-known arguments on our innate grasp of mathematics and on how the brain understands and manipulates numbers and other forms of mathematical information are beyond any reasonable doubt. This paper mostly deals with an account of Dehaenes arguments. Anyway, as I think that there are some lacunae in his philosophical bases, I point out some criticisms on his evolutionist constructivism. Keywords: Philosophy of Mathematics, Dehaene, Intuitionism, Constructivism.

Si prestamos atencin a los asuntos que polarizan en la actualidad la Filosofa de las

Matemticas, estaramos justicados al concluir que las cuestiones planteadas por las escuelas fundacionales constituyen planteamientos periclitados sobre los que aparentemente est todo dicho. Pero la cosa est muy lejos de ser as: todos estos puntos de vista constituyen an hoy da un referente obligado que hay que tener presente cuando se trata de enmarcar cualquier nueva investigacin sobre los fundamentos de las matemticas. Dicho de otro modo, la concepcin heredada (the received view) desde Frege, asimilando Filosofa de las Matemticas y busca de fundamentos, contina todava vigente. Un claro ejemplo de ello es, segn creo, el constructivismo evolucionista que, enmarcado en su defensa del intuicionismo, desarrolla Stanislas Dehaene. Estimo conveniente observar que, si bien su anlisis se circunscribe al mbito de la aritmtica, las conclusiones a las que llega pueden extenderse a los restantes campos de las matemticas.1 Por otra parte, sus puntos de vista no se limitan exclusivamente al mbito especulativo, sino que se encuentran avalados por una gran cantidad de investigaciones en Neurociencia y en Psicologa Cognitiva, de muchas de las cuales l mismo es autor. Al hilo de esto, una primera cuestin que habra que plantearse podra ser la repercusin que tienen estos descubrimientos en nuestra visin de lo que es la matemtica y, en ltima instancia, en la propia losofa. Pero an ms, convendra determinar en qu aspectos y hasta qu punto

La pretensin de Dehaene no es nica. En su ciencia cognitiva de la matemtica, Lakoff y Nez (2000) han defendido que el origen de las estructuras y del pensamiento matemtico hay que buscarlo en los procesos cognitivos cotidianos, tales como la adquisicin de esquemas de imgenes o el pensamiento metafrico.
1

16 estas experiencias pueden cambiar nuestra visin de las matemticas y, retrospectivamente, de nuestro propio cerebro. A decir verdad, no creo que Dehaene est particularmente interesado por los aspectos loscos de la cuestin. Parece ms bien que fuera la dinmica interna de su propio planteamiento la que lo obligara a adoptar una posicin en el complicado mbito fundacional. Tras descartar las restantes alternativas, el autor se decanta por el intuicionismo: a su juicio, es la explicacin que da mejor cuenta de la relacin entre la aritmtica y la organizacin del cerebro (Dehaene, 1997, p. 244). Esta conclusin, en principio terica, tiene a su vez repercusiones de tipo prctico, puesto que condicionara las estrategias en el mbito de la enseanza y, por tanto, debera inuir en el diseo de los planes de educacin. En este trabajo intentamos una exposicin crtica de las razones que aporta Dehaene para elegir el intuicionismo entre las otras alternativas fundacionales y analizar hasta qu punto est justicada tal eleccin. I La incursin losca de Dehaene se sustenta en algunas tesis concretas fruto de sus trabajos y avaladas todas ellas por gran cantidad de experiencias e investigaciones. Aunque es difcil deslindar unos argumentos de otros, dado que todos ellos estn imbricados, nos vamos a detener en tres que estimo sucientes para justicar su planteamiento. En concreto, vamos a analizar brevemente en qu sentido el nmero aparece para Dehaene como una de las categoras fundamentales a travs de las que nuestro sistema nervioso representa el mundo que nos rodea. En segundo lugar, veremos cmo la observacin y el anlisis de sujetos que realizan operaciones aritmticas de cualquier tipo inducen a nuestro autor a rechazar que el cerebro acte como lo pueda hacer un ordenador. Por ltimo, habr que tener en cuenta que cualquier operacin aritmtica que realicemos, por muy sencilla que sea, activa numerosas redes neuronales, si bien cada operacin concreta incide ms intensamente en unas reas determinadas. Desde hace tiempo experiencias controladas y sistemticas han puesto de maniesto que algunos animales poseen una cierta capacidad para percibir y distinguir cantidades numricas. No son pocos los cientcos que han tenido que superar su reticencia inicial a aceptar tales resultados, pero todo parece indicar que hoy da casi nadie discute que el nmero es un parmetro complejo del mundo exterior que posibilita la adaptacin del animal al mundo que lo rodea, tal y como ocurre con el color o con la concepcin espacial de los objetos; a veces incluso esa percepcin numrica puede ser fundamental para su propia subsistencia. Pero, para no confundirnos, hay que decir enseguida que, si lo comparamos con el que empleamos los humanos, el procedimiento que utilizan los animales al contar es ms bien borroso; todo parece funcionar como si el animal dispusiera de una especie de acumulador interno cuya composicin se altera cuando se contabiliza positiva o negativamente un objeto. La precisin con la que los humanos describimos las cantidades numricas gracias al lenguaje es algo a lo que el animal, evidentemente, nunca va a llegar. Pero no hay que disponer de competencia lingstica alguna para tener una cierta capacidad de contabilizar conjuntos, como ponen de maniesto experiencias realizadas con bebs. De hecho, sta es una de las hiptesis de trabajo de Dehaene: nuestra representacin de los nmeros no es tan distinta de la que poseen los animales. No obstante, podra pensarse que, tras la eclosin lingstica del nio en torno a los quince meses, este mdulo protonumrico desaparece, pero nada ms lejos de la realidad. Segn Dehaene, esta intuicin originaria de los nmeros que heredamos de la evolucin y que compartimos con los animales, desempea el papel

Implicaciones para la Filosofa de las Matemticas del constructivismo...

17

de un germen que favorece y permite el desarrollo de las matemticas ms avanzadas. En este sentido, su posicin es clara: aun cuando el lenguaje y la cultura nos hayan permitido rebasar ampliamente los lmites en los que nos connaba el sistema proto numrico animal, este mdulo primitivo permanece en el corazn de nuestra intuicin de los nmeros (Dehaene, 1997, p. 65).2 El segundo pilar sobre el que se apoya Dehaene para justicar su posicin losca no est exento de discusin. Sus investigaciones lo llevan a la conclusin de que el cerebro no funciona como un ordenador cuando ejecuta operaciones aritmticas.3 Son varias las razones que impelen a Dehaene a aceptar esta tesis. En primer lugar estn los denominados efecto distancia y efecto tamao que en cierta medida tambin compartimos con los animales. Ya se ha comentado que la adquisicin del lenguaje no es la panacea para adquirir una competencia numrica adecuada; an queda mucho camino por recorrer. Vamos a detenernos en algunos tramos de ese recorrido para describir estos efectos. El hecho de que los tres primeros nmeros sean captados de manera inmediata es un fenmeno que han estudiado los psiclogos desde hace tiempo y al que incluso han puesto nombre: subitizacin.4 La singularidad de las tres primeras cifras es algo universal que trasciende la historia del mundo mediterrneo antiguo y que se maniesta en las expresiones que las distintas lenguas emplean para distinguirlos del resto de los nmeros. Todo parece indicar que el cerebro tiene una querencia por los nmeros pequeos, como tambin se pone de maniesto en otras situaciones.5 En cualquier caso, lo ms probable es que la limitacin de la subitizacin a tres objetos se aplique al conjunto de la especie humana y que apenas sufra excepciones. Este lmite, empero, no resulta una barrera infranqueable, puesto que disponemos de otros recursos para referirnos a cantidades numricas mayores. En concreto, sufrimos lo que se denomina efecto distancia: el tiempo que necesitamos para distinguir dos nmeros entre s es tanto mayor cuanto mayor sea la distancia entre esos nmeros. Por ejemplo, necesitamos menos tiempo para distinguir dos nmeros alejados entre s, como el 70 y el 90, que dos nmeros prximos, como puedan serlo el 70 y el 72. Igualmente, mediante experiencias adecuadas se ha observado que, a distancia constante, distinguimos mejor nmeros pequeos que grandes; as, distinguimos ms rpidamente entre 10 y 20 que entre 80 y 90. ste es el denominado efecto tamao. Segn Dehaene (Dehaene, 1997, p. 73), estas respuestas retardantes se deben a que el cerebro aprehende cada nmero en su integridad y lo transforma en una cantidad interna casi continua, ignorando a continuacin las cifras concretas que le han conducido a colocar esa cantidad en su acumulador interno. Es decir, cada vez que nos enfrentamos

2 Esta independencia de la adquisicin del lenguaje con respecto a nuestra competencia y representacin cognitiva en matemticas tuve ocasin de desarrollarla ms extensamente en Caba (2005). 3 En este punto Dehaene se alinea con Von Neumann, quien en su citadsimo The computer and the brain de 1958 propuso un modelo hbrido analgico-digital para explicar el comportamiento del cerebro. 4 La subitizacin no se reduce a este mbito de la asimilacin numrica, sino que se extiende a otras reas perceptivas. Por otra parte, en las culturas antiguas la distincin que se estableca era entre uno, dos y muchos. Ver Ifrah (1985), especialmente pp. 17-26. 5 Esta curiosa preferencia del cerebro por los nmeros pequeos se ha plasmado matemticamente en la conocida como ley de Benford, que establece que la probabilidad de que un nmero elegido al azar de entre un conjunto cualquiera comience por n (entre 1 y 9) es igual a log (1 + 1/n), valor que va disminuyendo al hacerse n mayor. Este curioso fenmeno ha tenido inuencia en dominios tan dispares como los censos demogrcos o la deteccin de fraudes contables. Ver T. Hill (1999).

18 con un nmero, nuestro cerebro no puede evitar tratarlo como una cantidad continua y representrsela mentalmente, para decidir a continuacin la respuesta a la cuestin que se le plantea. Este doble trabajo tiene varios costes: por una parte, la precisin decrece conforme aumentan los nmeros que nos muestran y, por otra, aumenta el tiempo que necesitamos para responder a lo que se nos pregunta. Este comportamiento diere bastante del proceso que sigue un ordenador cuando efecta el mismo trabajo. El programa ms sencillo que podra realizar esta tarea comparara en primer lugar las cifras de las decenas, y dara la respuesta si son distintas. Si fueran iguales, hara lo propio con los dgitos de las unidades. En cualquier caso, ambas operaciones las realizara en un tiempo constante. En segundo lugar, el modo como comparamos nmeros entre s y efectuamos multiplicaciones revela que nuestro cerebro no utiliza un cdigo digital (como s lo hace un ordenador), sino que ms bien implica toda una representacin interna cuantitativa y continua, ms parecida a un dispositivo analgico (Cf. Dehaene, 1997, p. 218 y ss.). Los procesos de ejecucin de estas dos operaciones poseen algunos rasgos intrnsecos que los hacen totalmente diferentes. En concreto, al comparar no se precisa una memorizacin procesual, lo contrario de lo que ocurre con la multiplicacin, que obliga al almacenamiento de resultados intermedios. Esto se traduce en que la multiplicacin exige utilizar el lenguaje a un nivel al que no es preciso llegar durante el proceso de comparacin. Tambin en el mbito de la actividad cerebral tiene repercusin esta diferencia, pues mientras la multiplicacin hace intervenir fundamentalmente al hemisferio izquierdo, la comparacin se desplaza al derecho o incluso parece que hace intervenir a los dos a la vez. La diversidad de las reas cerebrales implicadas en estas dos operaciones subraya que la aritmtica no es una actividad frenolgica uniforme a la que podra asociarse un centro de clculo nico. Ms bien es al revs: cada operacin implica toda una red cerebral muy extendida. As pues, el cerebro al contrario de los ordenadores no dispone de una unidad de clculo aritmtico propiamente dicha, sino que se comporta como un ensamblaje heterocltico de agentes conectados incapaces de hacer nada por s mismos; no obstante, la divisin del trabajo entre distintas redes neuronales consigue resolver multitud de problemas de gran complejidad vase tambin Dehaene (1993). En tercer lugar, el cerebro no hace un uso prctico de las matemticas al modo como lo realiza una mquina lgica; en concreto, su actuacin al efectuar operaciones matemticas no puede circunscribirse al seguimiento de los esquemas de un sistema formal. Entre otras razones porque los sistemas formales son susceptibles de diferentes interpretaciones que en ocasiones se alejan del origen intuitivo que los origin. Por ejemplo, el mismo sistema de Peano permite la aparicin de monstruos, como los calica Dehaene, que verican los axiomas y a los que a nuestro sentido comn le repugnara llamar nmeros: son las denominadas interpretaciones no estndar. No cabe duda de que desde un punto de vista formal cualquier interpretacin constituye un modelo representativo del sistema en cuestin, pero en el terreno de lo intuitivo esta equiparacin no es razonable. Pero, segn nuestro autor, eso no seran ms que quimeras; nosotros sabemos intuitivamente lo que son los nmeros naturales, de manera que podemos elegir de entre todos los modelos que verican los axiomas el que se adapta a nuestro conocimiento y uso, desdeando, como dice Dehaene, quimeras articiales desprovistas de toda signicacin.6

6 El no tener en cuenta este hecho fue, segn nuestro autor, el origen de la debacle que supuso la introduccin en la enseanza elemental de las denominadas matemticas modernas. A su juicio,

Implicaciones para la Filosofa de las Matemticas del constructivismo...

19

Un tercer aspecto sobre el que se apoya Dehaene para justicar su punto de vista losco viene dado por el anlisis de las alteraciones que se producen en el cerebro cuando un sujeto efecta operaciones aritmticas (Dehaene, 1997, p. 213 y ss.). En 1985 Roland y Friberg aplicaron la tcnica denominada resonancia magntica nuclear funcional para detectar que las actividades cerebrales durante el clculo mental eran particularmente notables en una amplia regin prefrontal y en otra regin parietal inferior ms restringida, el denominado giro angular. Incluso llegaron a constatar que la activacin de estas dos regiones se produca en ambos hemisferios a la vez, aunque se detectaba una mayor intensidad en el izquierdo. Pese a todo, estas dos regiones no desempean el mismo papel. Mientras que la regin prefrontal haca su aparicin en todas las tareas de manipulacin mental y no nicamente en el clculo, la regin parietal inferior pareca especca para el clculo mental y slo se activaba durante la ejecucin de tareas de imaginera espacial o de transposicin verbal. Tomar estos datos al pie de la letra, apunta Dehaene, nos retrotraera a la ya superada frenologa, segn la cual el cerebro contiene toda una panoplia de rganos especializados para funciones de muy alto nivel. Pero el cerebro no funciona as. Cualquier proceso, por muy simple que parezca, requiere la coordinacin de un gran nmero de reas cerebrales, cada una de las cuales proporciona una contribucin elemental, pero decisiva, al conjunto. Esta tesis de la modularidad cerebral que propugna Dehaene est muy consolidada entre los neurlogos y deende que ni una neurona aislada, ni una colonia cortical, ni incluso un rea cerebral al completo puede pensar. No es sino combinando las capacidades de millones de neuronas distribuidas en la supercie del crtex como el cerebro es capaz de alcanzar una cierta capacidad en el manejo de complejos algoritmos ver Dehaene (2007a). II A partir de estas distinciones, Dehaene cree disponer de argumentos sucientes para rechazar el platonismo y el formalismo. El realismo en matemticas posee unas connotaciones de las que no dispone su homnimo en la ciencia, pero bsicamente el fundamento es el mismo. Desde un punto de vista semntico, los enunciados matemticos son verdaderos o falsos en virtud de las caractersticas de una cierta realidad que no depende de la mente de los matemticos. La versin ms frecuente del realismo matemtico presupone, de algn modo, la existencia de un reino de objetos independientes del conocimiento que tengamos de ellos, y cuyas propiedades se afanan por descubrir y describir los matemticos. Esta visin ontolgica del realismo se conoce habitualmente como platonismo y, aunque los dos trminos tienen connotaciones que los distinguen, algunos autores los consideran como sinnimos.7 Aunque la mayor parte de los matemticos se muestran ajenos a los temas loscos, sobre el papel todos actan como platnicos. Como dice Krner, el platonismo es la propensin del

bajo esa reforma se esconda una teora implcita del aprendizaje basada en la metfora del cerebro ordenador. Al contrario de lo que defenda Piaget, el cerebro del nio no es una esponja absorbente, sino un rgano estructurado que no aprende ms que lo que est en resonancia con conocimientos anteriores. Segn Dehaene, la evolucin no lo ha preparado para engullir amplios sistemas de axiomas o largos algoritmos simblicos; es la intuicin la que prima sobre los axiomas. Resulta intil, pues, bombardear a un cerebro juvenil con axiomas abstractos. Vase Dehaene (1997), p. 262 y ss. 7 Es el caso de Maddy en su libro de 1990 Realism in mathematics. Conviene sealar que, al igual que ocurre en la ciencia, caben distintos tipos de realismo. Hemos mencionado el epistemolgico y el ontolgico, pero cabran otras posibilidades. Ver Shapiro (2000) para el caso de las matemticas y Diguez (1988) para una visin ms general y completa del realismo en la ciencia.

20 matemtico profesional; en su quehacer diario tiene la impresin de moverse en un paisaje de entidades que existen independientemente de l mismo y cuyas relaciones intrnsecas trata de descubrir. Aun as, los matemticos no se sienten cmodos cuando se los acusa de platnicos, como es el caso de Dieudonn.8 La crtica ms contundente con que se encuentra el platonismo matemtico es de naturaleza epistemolgica: si las entidades matemticas son abstractas y carecen de ubicacin espaciotemporal, son causalmente inertes y por tanto no pueden ser conocidas. Como es un hecho admitido que poseemos conocimiento matemtico, el platonismo debe ser falso.9 Los manuales suelen citar a Gdel como el representante ms respetable y genuino del platonismo. En su trabajo sobre la hiptesis del continuo de Cantor perge la posibilidad de superar esta crtica apelando a una especie de intuicin cuya naturaleza resulta equiparable a la percepcin de los objetos fsicos que constituye el fundamento de la ciencia emprica. Como es conocido, este punto de vista tuvo sus defensores (la primera Maddy), pero tambin fueron muchos los detractores (Chihara). En cualquier caso, pese a la respetabilidad que merece Gdel, su solucin est lejos de ser aceptada. Para rechazar el platonismo, Dehaene se adhiere a esta crtica ya tradicional esgrimiendo argumentos conocidos, que aunque no sean expresamente mencionados por el autor entiendo que estn prximos al planteamiento de J. S. Mill. Como es lgico, ni neurobilogos ni neuropsiclogos suelen prodigarse como defensores del platonismo, tal y como ocurre con nuestro autor. Pero al mismo tiempo resulta imposible ignorar el hecho incuestionable de que el matemtico tiene la impresin de moverse en un paisaje de entidades que existen independientemente de l y cuya naturaleza intrnseca constituye el objeto principal de su investigacin. Pese a todo, esta impresin de trabajar en un mundo de objetos independientes no obliga a aceptar el platonismo, puesto que, segn Dehaene, esta sensacin, ms que una realidad, es un fenmeno psicolgico que requiere una explicacin (Cf. Dehaene (1997), p. 242 y ss.); explicacin que, por otra parte, viene de suyo en cuanto se analizan las propias aptitudes sensoriales del ser humano. En efecto, resulta difcil dar cuenta satisfactoria de cmo un matemtico de carne y hueso puede explorar un universo abstracto de objetos matemticos sin apelar a la existencia de una va extrasensorial, una especie de apndice cognoscitivo del que los humanos no disponemos. No se est discutiendo el que para alcanzar las matemticas de alto nivel los matemticos tengan que formarse una imagen mental vvida de los conceptos con los que trabajan. El problema surge cuando esta imagen adquiere la fuerza de una ilusin, olvidando su origen humano y conriendo a los objetos matemticos una apariencia de existencia independiente. Aunque no indica expresamente su origen, Dehaene est repitiendo casi literalmente una muy conocida cita de Mill al respecto. Segn el autor ingls, tanto la necesidad como la certidumbre que se atribuye a las verdades de las matemticas no son ms que una ilusin que slo se mantiene si se considera que tales propiedades se reeren a objetos y a propiedades de objetos puramente imaginarios (System of logic, II, v, 1).

8 Es muy repetida la irona del bourbakista Dieudonn de confesarse platnico durante su trabajo diario de matemtico y refugiarse en el formalismo cuando se le acusa de que est presuponiendo que las entidades con las que trabaja poseen existencia real. 9 ste es, en sntesis, el denominado dilema epistemolgico planteado por Benacerraf en su celebrrimo artculo Mathematical truth de 1973 y sobre el que ha basculado gran parte de la Filosofa de las Matemticas del ltimo cuarto del siglo XX.

Implicaciones para la Filosofa de las Matemticas del constructivismo...

21

Dehaene rechaza igualmente el formalismo como razn explicativa ltima de la fundamentacin de la matemtica por razones que en parte se encuentran implcitas en su negacin de la tesis que deende que el cerebro acta como lo hace un ordenador. No cabe duda de que la efervescencia del perodo formalista, propiciado sobre todo por el grupo Bourbaki, est hoy da cuestionada. Tenemos una prueba tangible de este abandono en la erradicacin de los curricula escolares de las matemticas modernas, consideradas nefastas por algunos, incluido el propio Dehaene. Pero el hecho de que en los niveles elementales no se estudien ya la teora de conjuntos o las relaciones de equivalencia no quiere decir que en el mbito de la investigacin el procedimiento formal haya dejado de perder un pice de vigencia. De hecho, pese a todo, la formalizacin contina siendo el nico procedimiento plausible para que la comunidad matemtica acepte como tal un trabajo de investigacin. Por otra parte, la boutade de Dieudonn indicada en la nota 7 pone de maniesto, pese a la irona, que el formalismo contina siendo el refugio de los matemticos cuando son acusados de platnicos. Los que se oponen al formalismo como fundamentacin ltima para las matemticas argumentan que la mera manipulacin de smbolos vacos de contenido dejara sin explicar algunas caractersticas que parecen irrenunciables en el caso de las matemticas. De entrada, cuestionan en qu se diferenciaran de las reglas de un juego como el ajedrez. No obstante, la crtica ms severa que se efecta al formalismo es que deja sin explicacin el problema de la exitosa aplicabilidad de la matemtica en el mbito de lo fsico.10 Habitualmente los matemticos responden a esta cuestin de modo parecido a la acusacin anterior: no les concierne si sus productos son aplicables o no al mundo fsico, que sean los propios cientcos quienes lo decidan, ellos tan slo proporcionan modelos sin interpretacin. La historia pone de maniesto que, en algunos casos notables, estructuras matemticas sin aparente nexo con la realidad han servido de gran ayuda a desarrollos cientcos muy concretos.11 Estos comentarios indican lo complicado que resulta dar razn del origen de las matemticas desde la perspectiva formalista. Dehaene hace suyas todas estas consideraciones para insistir en que, parafraseando a McCulloch, para que puedan ser conocidas por el hombre las matemticas no pueden reducirse a un sistema formal.12 Pero si bien en el contexto de gnesis lo tiene complicado, no ocurre lo mismo en el contexto de justicacin. Y Dehaene se adhiere a este aspecto aprovechable del formalismo (O. c., p. 242 y ss.); de hecho una gran parte del desarrollo de la matemtica actual ya nace formalizada y en muchas ocasiones las investigaciones se centran simplemente en determinar las modicaciones que se producen en un sistema cuando se alteran algunos de los axiomas que lo denen.13 Lo que no admite es que, a partir de la consideracin

10 Este aspecto, digamos negativo, se debe a que los formalistas priorizan el mtodo sobre el objeto. De este modo, al trabajar con smbolos desconectados de la realidad, estara justicado incluso el que algunos tildaran poco menos que de irracional el ajuste de la observacin emprica, con lo que se deduce formalmente en el seno de las teoras matemticas. Ver Curry (1963), especialmente p. 8 y ss. 11 Los ejemplos son abundantes. Kline seala tres de ellos: el trabajo griego sobre las cnicas, las geometras no eucldeas y la aparicin de la teora de grupos. Ver Kline (1980), p. 352 y ss. 12 Las preguntas a las que me reero dan ttulo a un citadsimo trabajo de este autor (1965) y Dehaene se propone como objetivo hallar una respuesta satisfactoria: Qu es un nmero para que el hombre pueda conocerlo? y qu es el hombre para que pueda conocer lo que es un nmero? 13 sta es una de las razones que, segn Kline, han contribuido de manera particular al pernicioso aislamiento de las matemticas en los ltimos tiempos. En lugar de centrarse en la resolucin de problemas concretos del mbito cientco, adoptan una actitud endgena tratando de resolver

22 de la matemtica como un mero sistema formal, estemos en condiciones de obtener una explicacin satisfactoria del origen de las matemticas. Una vez rechazadas como explicaciones fundacionales el platonismo y el formalismo, Dehaene se decanta por el intuicionismo, atrado de manera especial por el sesgo constructivista de este planteamiento. Aunque aporta sus razones para tal eleccin, hay que sealar en este punto que Dehaene se inserta en una tradicin que slo considera viables estas tres posibilidades y que, como ya hemos indicado, para algunos constituye algo obsoleto y ya superado. Quiz el caso ms cercano del que disponemos en este sentido sea el de J. Echeverra, para quien la busca de una fundamentacin ltima ha dejado de constituir desde hace aos el objetivo nico para la Filosofa de las Matemticas. A partir de la segunda mitad del pasado siglo ha irrumpido toda una serie de crticos que han rechazado la concepcin heredada que haba dominado el panorama durante varias dcadas. Esta nueva visin del asunto iniciada por Plya y Lakatos, y compartida por autores como Tymozcko, Gillies, Kitcher y el propio Echeverra propugna, entre otras cosas, que los lsofos dediquen una mayor atencin a la prctica matemtica y que por tanto se potencien los estudios sobre la historia, tan ignorados durante el perodo fundacional. Pero quiz lo ms relevante de esta nueva visin sea su defensa del uso de mtodos empricos en el mbito de las matemticas, estableciendo paralelismos entre ambas ciencias, con objeto de entender el pluralismo metodolgico subyacente a la creacin matemtica.14 Pese a todo, como ya indicamos, los planteamientos fundacionales son retomados por los lsofos con cierta frecuencia y la eleccin de nuestro autor es un claro ejemplo de ello al decantarse por el intuicionismo. Como es conocido, para los que deenden esta posicin los objetos matemticos no son ms que construcciones del espritu humano; por tanto, las matemticas no existen en el universo, sino slo en el cerebro del matemtico que las inventa. Ni la aritmtica ni la geometra preexisten a la especie humana; de hecho, entrara dentro de lo aceptable el que especies distintas a la nuestra desarrollaran unas matemticas completamente diferentes a las que conocemos. En este punto, Dehaene hace suya una de las ideas clave de Poincar, que lleg a calicar al nmero entero como el nico objeto natural del pensamiento matemtico, de manera que la intuicin que poseemos del nmero es la nica que no puede engaarnos. Todo este cuadro encaja con el punto de vista que deende nuestro autor. En una primera instancia, los objetos matemticos no son ms que categoras fundamentales y a priori del pensamiento humano; slo posteriormente el matemtico rena y formaliza esos constructos iniciales. Es decir, el origen de las nociones ms intuitivas como la de nmero no hay que buscarlo en un mundo exterior; es ms bien la estructura de nuestro cerebro la que nos impone de manera particular la organizacin del mundo que nos rodea en objetos discretos (Dehaene, 1997, p. 244). Esta representacin cualitativa heredada se encuentra en el origen de la comprehensin intuitiva de los nmeros naturales de que disponemos los humanos. Pero nuestra competencia numrica no se limita a esa representacin mental primitiva y simplicada. Como pone de maniesto la historia, la ampliacin del campo numrico supuso extraordinarias dicultades conceptuales a los matemticos que la

cuestiones internas cuya resolucin no comprometa en exceso la carrera investigadora del matemtico. Ver Kline, p. 342 y ss. 14 Estas propuestas de Echeverra se encuentra en varios de sus escritos. Quiz el ms signicativo sea el que se indica en las referencias, que toma como caso de estudio la evolucin de la conjetura de Goldbach.

Implicaciones para la Filosofa de las Matemticas del constructivismo...

23

llevaron a cabo y contina presentando serias complicaciones a nuestros estudiantes en la actualidad. La razn ltima de estas dicultades, explica Dehaene, es que estas nuevas entidades numricas no entran en correspondencia con ninguna categora preexistente en nuestro espritu; de hecho, no disponemos de un cerebro capacitado para representaciones numricas de nmeros mayores que tres. En resumen, la evolucin slo nos ha dotado de una imagen intuitiva de los enteros positivos, las otras clases de nmeros no tienen anlogo directo en nuestro cerebro, de ah las dicultades para su asimilacin. Por otro lado, hay que justicar en parte el planteamiento de Dehaene, puesto que defender el intuicionismo en la actualidad resulta ms fcil debido a las recientes investigaciones en ramas especializadas en torno a la Psicologa de la Aritmtica. Estos nuevos hallazgos han aportado argumentos a favor de esta corriente de pensamiento que ninguno de los autores pioneros ni siquiera pudieron imaginar. As, por ejemplo, se ha constatado que el beb humano viene al mundo provisto de una serie de mecanismos innatos de individuacin de objetos y de percepcin de nmeros pequeos. Numerosos experimentos aceptados por la comunidad cientca ponen de maniesto que estos mecanismos aparecen en forma ms rudimentaria en los animales, lo que prueba entre otras cosas que el sentido de los nmeros es independiente de la facultad del lenguaje. Otras experiencias ms sosticadas han mostrado que en el caso de los bebs se imponen, de manera espontnea y sin educacin explcita, operaciones como la estimacin numrica y la adicin o sustraccin elemental, entre otras. Asimismo, las nuevas tcnicas de investigacin encefalogrca muestran, cada vez con mayor consistencia, que es en la regin parietal de los dos hemisferios cerebrales donde estn situados los circuitos neuronales dedicados a la manipulacin de cantidades numricas. Todos estos hallazgos parecen reforzar la armacin de Poincar de que los nmeros forman parte de los objetos naturales del pensamiento. En la actualidad habra que traducir esta frase, como hace Dehaene, diciendo que la intuicin de los nmeros est rmemente anclada en nuestro cerebro Dehaene (1997), p. 245; es decir, que el nmero aparece como una de las categoras fundamentales a travs de las que nuestro sistema nervioso se representa el mundo que nos rodea. Es la propia organizacin de nuestro cerebro la que determina los atributos del mundo exterior a los que somos capaces de prestar atencin. Y uno de esos atributos fundamentales es el nmero, pero como hemos indicado no es el nico: la capacidad de atribuir colores a los objetos o de determinar posiciones en un espacio tridimensional se encuentran en idntica situacin ver Dehaene (2007b). Todas estas consideraciones refuerzan la idea de Dehaene de admitir que, de todas las teoras acerca de la naturaleza de las matemticas, el intuicionismo da mejor cuenta de la relacin entre la aritmtica y la organizacin del cerebro humano. Nuestro autor insina, que no justica, su preferencia por la visin del intuicionismo de Poincar sobre el radical punto de vista de Brouwer, pero estimo que esta preferencia pone en tela de juicio algunos de sus propios planteamientos (Cf. Dehaene, 1997, p. 245 y ss.). En primer lugar, porque Brouwer considera a la matemtica como una actividad alingstica, que curiosamente casara bien con la insistencia de Dehaene en la independencia del lenguaje. Y, en segundo lugar, porque su visin de la emergencia y la denicin de nmero se insertaran sin muchas dicultades en el planteamiento del holands; creo que esta cita avala cuanto digo: el nmero emerge de manera natural como la representacin ms abstracta de objetos en el espacio; de hecho casi podramos denir el nmero como el nico parmetro que permanece constante, excepcin hecha de la identidad y de la trayectoria de los objetos (O. c., p. 190). Lo que s analiza Dehaene con ms detenimiento es la contraposicin entre el intuicionismo de Brouwer y la matemtica clsica que ste criticaba con tanta fruicin (O.

24 c., p. 270). Para nuestro autor, esta discusin se diluye si se acepta su punto de vista. Como es conocido, el afn de Brouwer por fundamentar la matemtica en intuiciones puras lo indujo a rechazar principios lgicos, como el del tercio excluso, admitidos y utilizados en gran medida por los matemticos. Nuestro autor arma con buen criterio que la decisin sobre qu matemticas aceptar es algo que debern discutir entre s los matemticos y que, obviamente, no incumbe al psiclogo, que debe mantenerse al margen y limitarse al papel de mero observador. Pero esta discusin, observa, tiene lugar en un nivel que no invalida su propuesta. Tanto las clsicas como las intuicionistas son compatibles con la hiptesis de una construccin de las matemticas sobre la base de categoras fundamentales de la intuicin. Es decir, que el sustrato bsico es el mismo en ambos casos, a saber, que venimos al mundo con un cmulo de intuiciones sobre el nmero, sobre los conjuntos, sobre procesos iterativos, sobre la geometra del espacio, etc. Slo en un momento posterior el matemtico trata de simbolizar y formalizar todas estas intuiciones con el objetivo de hacerlas coherentes entre s, pero sin garanta cierta de que esto sea posible. De hecho, en muchos de los casos no lo es, puesto que los mdulos cerebrales en los que se elaboran estas intuiciones han sido diseados evolutivamente para que su portador sea ecaz antes que consistente.15 sta es la razn, segn Dehaene, de que distintos matemticos adopten diferentes axiomas. As, por ejemplo, mientras que la matemtica clsica se fundamenta sobre la intuicin de la dicotoma verdadero-falso, con el riesgo de sobrepasar nuestras intuiciones de lo nito y de lo innito, los intuicionistas adoptan por principio la primaca del razonamiento nito. De esta manera, si el sustrato bsico es el mismo en ambos casos, la diferencia entre las distintas matemticas estriba en que se fundamentan en diferentes tipos de intuicin. As pues, estas intuiciones elementales bsicas (nmero, conjunto) forman parte de las representaciones irreductibles que elabora nuestro cerebro. El trabajo de los matemticos se centra en la formalizacin de estas intuiciones con el objeto de hacerlas coherentes y compatibles entre s, adems de adaptarlas a la experiencia que tenemos del mundo exterior.16 Pero con esto el proceso no ha hecho ms que empezar, puesto que hay que explicar cmo a partir de unas intuiciones tan bsicas, primitivas y rudimentarias se llegan a alcanzar las complejas construcciones matemticas del ms alto nivel. Para ello Dehaene recurre al evolucionismo de su colega Changeux, para quien las matemticas no constituyen un cuerpo de datos jado de una vez por todas, sino que se van modicando a lo largo del tiempo por el mtodo de ensayo y error. Hay, pues, todo un proceso evolutivo de seleccin de objetos matemticos no continuo, en el que constructos que parecan bien consolidados se vienen abajo para ser reconstruidos de nuevo.17 Lo que s creo que hay que admitir con Dehaene es que a lo largo de la historia se han dado mltiples criterios para seleccionar las

15 Esta idea es recurrente en Dehaene. En paralelo con el animal, el cerebro humano surgi para adaptarse a la subsistencia y la relacin con los objetos ms inmediatos. De hecho, no est preparado para memorizar hechos aritmticos ni para ejecutar con precisin complicadas operaciones. Ha tenido que hacer chapuzas utilizando circuitos cerebrales de recambio para paliar semejante deciencia, y como consecuencia de esta adaptacin forzada surge la lentitud e imprecisin en los clculos e incluso los errores que se producen. 16 Ver Dehaene (1997, p. 246). Creo que Dehaene no acierta al sealar que tales intuiciones bsicas casi nunca se cuestionan. La historia pone de maniesto que han sido precisamente estos conceptos los que, loscamente hablando, han generado mayor discusin. Recurdese, si no, la problemtica del nmero natural. 17 Esta idea no es, ni mucho menos, nueva. Wilder (1968), por ejemplo, ha discutido, desde un punto de vista antropolgico, la modicacin a lo largo del tiempo de los conceptos matemticos, llegando incluso a formular leyes que rigen su evolucin.

Implicaciones para la Filosofa de las Matemticas del constructivismo...

25

construcciones matemticas, y que no siempre ha primado el sesgo lgico en la eleccin. As, incluso en la matemtica pura, junto a la ausencia de contradiccin, aparece como criterio positivo de evolucin la elegancia o la simplicidad. En el caso de la matemtica aplicada, hay que aadir a todos stos el criterio de adecuacin entre los objetos matemticos y el mbito del mundo fsico que pretenden reejar. En cualquier caso, a lo largo de los aos slo las construcciones ms slidas resisten; las contradictorias, inelegantes o simplemente intiles son acosadas e implacablemente eliminadas.18 Nuestro autor parece abandonar momentneamente sus esquemas fundacionales para abordar la cuestin desde una perspectiva ms actual. As, entiende que su punto de vista posee rasgos que coinciden con algunos de los planteamientos actuales ya citados que consideran la matemtica como una construccin humana y, por ende, imperfecta y revisable (Dehaene, 1997, p. 247). A su juicio, es posible que este punto de vista quiz sea difcil de aceptar por los matemticos, acostumbrados a considerar, y a que se considere, su disciplina como el culmen de la pureza y de la perfeccin. A decir verdad, Dehaene est sacando a la luz una cuestin muy trillada ante la que habra que hacer una doble consideracin. En primer lugar, sabemos que a la mayora de los matemticos los problemas loscos les interesan ms bien poco y no es previsible que las consideraciones de los no profesionales sobre su disciplina los obligue a modicar sus mtodos de trabajo. En segundo lugar, los escasos matemticos que se preocupan por estos temas ya deben estar acostumbrados a que no pocos lsofos entiendan que la matemtica dej de ser lo que fue en otros tiempos para ser considerada como una ciencia emprica ms. Uno de los argumentos que con ms frecuencia se esgrimen para considerar la matemtica integrada en la ciencia en general y, por tanto, sometida a los avatares que sta pueda sufrir lo constituye la aparicin de errores que muestran cmo el edicio de las matemticas no est perfectamente establecido. La aparicin de un error en la demostracin del ltimo teorema de Fermat por parte de Wiles o la posibilidad de que surjan errores en demostraciones excesivamente largas que no pueden ser visualizadas por un solo matemtico, como la clasicacin de los grupos nitos simples, son dos de los ejemplos clsicos para argumentar en este sentido. Dehaene cree encontrar una explicacin a este hecho desde su teora. A su juicio, si las matemticas son difciles y se hallan sometidas a todos estos embates, se debe a que la arquitectura de nuestro cerebro no est adaptada a largas cadenas de razonamientos simblicos. Si para realizar una sencilla sustraccin tiene que ponerse en funcionamiento una complejsima red neuronal que implica millones de conexiones sinpticas, cuntas redes neuronales debern entrar en funcionamiento para demostrar nuevas conjeturas! No es por tanto sorprendente que los errores aparezcan. En este caso parece como si la razn individual cediera ante una aparente razn colectiva que da cuenta del estatus actual: slo la actividad acumulada y depurada de decenas de millares de matemticos durante milenios explica el xito presente (Dehaene, 1997, p. 249).

Esto refuerza an ms la tesis del paralelismo metodolgico entre matemticas y ciencia emprica. Para Alcolea (2000) la actividad matemtica se rige ms por consideraciones de racionalidad prctica ms que de razonamiento lgico, lo que implica que el conocimiento matemtico no es esencialmente diferente del emprico. Es cierto que unas teoras matemticas son ms seguras y se encuentran ms asentadas que otras, pero la evidencia sobre determinados axiomas, segn su fecundidad, puede ser tan provisional como lo es cualquier teora cientca.
18

26 Dehaene se opone asimismo al carcter acumulativo que se asigna habitualmente a la matemtica aduciendo algunas razones de tipo histrico ya conocidas.19 Pero tampoco en este caso los argumentos que ofrece son originales; as, observa, puede constatarse cmo trabajos monumentales para la resolucin de ciertos problemas se vuelven de pronto obsoletos cuando se descubren mtodos ms generales que engloban todos los casos estudiados anteriormente de manera dispersa y fragmentaria. Por otra parte, aquellos que, como nuestro autor, deenden que la matemtica es un producto del espritu humano estn obligados a explicar cmo un constructo de este tipo puede ser objetivo y no meramente arbitrario. Dehaene cree haber encontrado tambin una respuesta a esta cuestin desde su sistema.20 Segn l, en el curso del proceso evolucionista que deende, la seleccin asegura que nuestro cerebro desarrolla representaciones internas adaptadas al mundo exterior, y una de esas adaptaciones (que adems funciona con alto grado de ecacia) es, precisamente, la aritmtica. En la escala mundana en la que desarrollamos nuestra vida el mundo est compuesto en su mayora de objetos distintos, cuya combinacin sigue la ecuacin 1 + 1 = 2. Si nuestro mundo, o mejor, nuestra manera de concebir el mundo fuera distinta, es posible que esa ecuacin fuera diferente. Este modo de ver las cosas explica asimismo, segn Dehaene, el viejo problema de la aplicabilidad de las matemticas al mundo fsico (Cf. Dehaene, 1997, p. 249 y ss.). Esta discusin no ha concluido todava y ha presentado a lo largo de la historia diversos matices, pero contina siendo un hecho que todo el mundo admite pero al que pocos encuentran explicacin. Algunos Wigner es el ejemplo ms socorrido consideran esta irracional ecacia como un don maravilloso que ni comprendemos ni merecemos. Cmo es posible admitir que la matemtica, un producto del pensamiento humano e independiente de toda experiencia, pueda adecuarse tan estrechamente al mundo fsico?, se preguntaba Einstein en 1921. Tampoco los platnicos tienen una respuesta inmediata, puesto que no hay razn alguna para admitir que el mundo abstracto de las matemticas, otro mundo en denitiva, se adapte como lo hace al mundo fsico. En otro tiempo algunos matemticos pensaban estar traduciendo el plan de Dios sobre el mundo a smbolos matemticos; otros en cambio preferan prescindir de Dios y hablar simplemente de las leyes matemticas del universo. Dehaene cree poder compatibilizar todas estas opiniones desde su planteamiento (O. c., p. 251 y ss.). A su juicio, la historia de las matemticas muestra su ascendente grado de ecacia por ensayo y error gracias a la seleccin y eliminacin de determinados conceptos y teoras. Quiz la cuestin no sea suponer que el universo se ha concebido para adaptarse a las leyes de la matemtica, sino que son nuestras leyes matemticas y, antes que ellas, los principios de organizacin de nuestro cerebro los que han sido seleccionados en funcin de su adaptacin a la estructura del universo.21 Esta evolucin selectiva que deende Dehaene

19 Este carcter acumulativo que se atribuye a la matemtica goza en la actualidad de escaso predicamento. Vase si no Crowe (1988). Pero en otro tiempo, no tan lejano, s que lo tuvo. Por ejemplo, autores como Fourier y Duhem lo defendieron en su momento. 20 Conviene recordar en este punto que Frege ya se plante esta cuestin para prevenir las crticas que pudieran hacrsele a su concepcin del nmero. El que a un mismo agregado se le pudieran atribuir diferentes cardinales sin incurrir en contradiccin podra llevar a la idea de que el nmero es algo que depende del sujeto. Pero esto deja de ser as si se entiende como haca Frege que el nmero es algo que se dice de los conceptos y no, como pensaba Mill, una propiedad caracterstica de cada conjunto. Bloor ha insistido en esta idea de la objetividad asocindola al consenso social (Bloor, 1971, p. 150 y ss.). 21 Dos dcadas antes que Dehaene, y sin tener a su disposicin semejante cantidad de resultados experimentales, el experto en teora de nmeros Gerhard Frey apunt una interpretacin parecida.

Implicaciones para la Filosofa de las Matemticas del constructivismo...

27

explica razonablemente el asunto sin recurrir, como hace Wigner, a lo milagroso. Si nuestras matemticas de hoy son ecaces, quiz se deba a que las matemticas inecaces de otros tiempos han sido implacablemente eliminadas. Pero no todas las matemticas que se generan son creadas con la pretensin de ser aplicadas, de hecho un mnimo porcentaje lo hace. Las matemticas puras surgen de las mentes de los matemticos en muchas ocasiones por razones tan poco relacionadas con posibles aplicaciones como la elegancia o el honor del espritu humano. En estos casos parece que la matemtica surgiera verdaderamente de la mente humana sin una idea preconcebida. Sin embargo, la historia muestra mltiples ejemplos en los que estas teoras, productos puros de la mente de los matemticos, encuentran una sorprendente y a veces inesperada aplicabilidad.22 En cualquier caso, una gran parte del misterio de la susodicha ecacia desaparece cuando se tiene en cuenta que los modelos matemticos no son adaptaciones perfectas al mundo fsico, sino que constituyen modelos parciales. Por ejemplo, las rbitas de los astros no son exactamente elpticas, puesto que intervienen una gran cantidad de factores que despreciamos, es decir que se producen simplicaciones drsticas. Por ltimo, quiero sealar brevemente cmo desde el planteamiento de nuestro autor cabe una conciliacin entre platonismo y constructivismo.23 Habra que admitir con los platnicos que la realidad fsica est organizada siguiendo estructuras que preexisten al espritu humano; sin embargo, no se debera decir que esta organizacin sigue unas leyes matemticas. Es el cerebro humano quien la percibe y la traduce en matemticas. Los nmeros y, en general, todos los objetos matemticos son construcciones mentales cuyas races se hunden, en un ltimo anlisis, en la adaptacin del cerebro a las regularidades con las que se nos presenta el universo. Lo que ocurre es que el cerebro es un instrumento del que tan regularmente se sirven los cientcos que hasta olvidan su existencia. Como ya hemos indicado, para Dehaene, nuestro cerebro no funciona como una mquina lgica, y aunque la evolucin le ha conferido una sensibilidad particular a ciertos parmetros tiles a la ciencia, tales como el nmero, en cambio lo ha congurado ms reticente e inecaz a la hora de realizar largas series de clculos. Parafraseando a Galileo, entiende nuestro autor que, ms que armar que el universo est escrito en lenguaje matemtico, habra que decir que el lenguaje matemtico es el nico que sabemos leer (Dehaene, 1997, p. 252). BIBLIOGRAFA
Alcolea, J. y otros, Justicacin y racionalidad de axiomas, Lgica, lenguaje e informacin, Actas de las I Jornadas sobre Lgica y Lenguaje, Sevilla, pp. 1-7, 2000 Bloor, D., Conocimiento e imaginario social, Barcelona, Gedisa, 1998 (ed. original, 1971).

A su juicio, nosotros proyectamos los conceptos sobre la realidad de la experiencia e intentamos acomodarla a ellos. As puede darse una explicacin al problema de la aplicabilidad, puesto que el universo que nos rodea contiene un principio de discordia, ya que en l se da algo notoriamente independiente de nosotros en su forma y condicionamiento, pero que depende de nosotros en cuanto cognoscible y experimentable. Ver Frey (1972), p. 32 y ss. 22 La historia se muestra prdiga en ejemplicaciones de este hecho. Kline (1980, p. 352 y ss.) seala el estudio de las cnicas, las geometras no eucldeas y la teora de grupos como casos paradigmticos de desarrollos ajenos a toda perspectiva de aplicacin y que ms resultaron de gran utilidad en algunas ramas cientcas. 23 Ver o. c., p. 251 y ss. Tampoco esta pretensin es totalmente nueva. Un intento anlogo, pero desde una perspectiva diferente, fue defendido por Rudolf Carnap en su momento.

28
Caba, A., Las bases neurolgicas de la aritmtica. Una aproximacin al pensamiento de S. Dehaene, en P. Martnez-Freire (ed.), Cognicin y representacin, suplemento 10 de Contrastes, Mlaga, pp. 249-272, 2005. Crowe, M. J., Ten misconceptions about mathematics and its history, en W. Aspray y P. Kitcher (eds.), History and Philosophy of modern mathematics, Minneapolis, University of Minnesota Press, pp. 260-277, 1988. Curry, H., Foundations of mathematical logic, New Cork, Dover Publications, 1963. Dehaene, S., Varietes of numerical abilities, en S. Dehaene (ed.), Numerical cognition, Oxford, Blackwell publishers, pp. 1-42, 1993. Dehaene, S., The number sense. How the mind creates mathematics, Oxford, Oxford University Press, 1997. Dehaene, La representacin de las matemticas, <http://www.prbb.org/quark/21/021045.htm>, 2007a. Dehaene, S., What are numbers, really. A cerebral basis for number sense, <http://www.edge.org/3rd_culture/ dehaene>, 2007b. Diguez, A., Realismo cientco, Mlaga, Universidad de Mlaga, 1998. Echeverra, J., Empirical methods in mathematics, en G. Munvar (ed.), Spanish studies in the Philosophy of Science, Kluwer, Dordrecht, pp. 19-55, 1996. Frey, G., La matematizacin de nuestro universo, Madrid, G. del Toro editor, 1972. Hill, T., La primera cifra signicativa dicta su ley, Mundo cientco, nmero 199, pp. 56-59, 1999. Ifrah, G., Las cifras. Historia de una gran invencin, Madrid, Alianza, 1988 (ed. original, 1985). Kline, M., Matemticas. La prdida de la certidumbre, Madrid, Siglo XXI, 1985 (ed. original, 1980). Lakoff, G. y R. Nez, Where mathematics come from, New Cork, Basic Books, 2000. Martnez-Freire, P., La nueva losofa de la mente, Barcelona, Gedisa, 1995. McCulloch, W. S., What is a number, that a man may know it, and a man, that he may know a number?, en W. S. McCulloch (ed.), Embodiments of mind, Cambridge, MIT Press, pp. 1-18, 1965. Shapiro, S., Thinking about mathematics, Oxford, Oxford University Press, 2000. Wilder, R., Evolution of mathematical concepts, London, Open University Press, 1968.