El concepto de nmero natural segn Charles S.

Peirce1

Arnold Oostra

Universidad del Tolima 2002 1 Este documento corresponde al cursillo desarrollado por el autor en el XIII En cuentro de Geometra y I Encuentro de Aritmtica, Universidad Pedaggica Nacional, Bogot, 20 a 22 de junio de 2002.

A nuestro amigo Edward Prez, In Memoriam

Contrario a lo que quizs hace pensar el ttulo, este no es un estudio amplio o filo sfico de la nocin de nmero natural en el pensamiento peirceano. Se trata, simplemente, de presentar y discutir un artculo breve de Peirce, publicado en la poca fugaz pero m uy productiva en la que estuvo vinculado directamente a la academia. Ese escrito co ntiene un sistema de axiomas para los nmeros naturales, una definicin recursiva de las opera ciones, demostraciones inductivas de sus propiedades algebraicas bsicas, una extensin de l a estructura para incluir los nmeros negativos y un primer estudio de la nocin de co njunto finito. El artculo en cuestin es muy anterior a los trabajos de Dedekind y Peano s obre estos temas, de manera que puede decirse con seguridad que se trata de la primer a axiomatizacin publicada de los nmeros naturales. (Vase Shields 1981, 1997.)

En la seccin 1 del documento presente se hace una descripcin ms detallada del artcul o de Peirce. En la seccin 2 se procura construir un contexto para este aporte valio so: se busca un lugar para la axiomtica en el edificio filosfico peirceano; se presenta l a axiomatizacin posterior, ms conocida, de Peano; se muestran otras axiomatizaciones similares. En la seccin 3 se discute el problema de la equivalencia de los difere ntes sistemas axiomticos para los nmeros naturales.

1. Lectura: El artculo On the Logic of Number 1.1.Charles S. Peirce

Charles Sanders Peirce (1839 1914) es uno de los ltimos cientficos universales. Es ms conocido en la filosofa, a la cual hizo aportes significativos: es el padre de la semitica moderna, cre el pragmatismo autntico y redujo a un mnimo tres las categoras ontolgicas. Pero aunque esa es la contribucin ms reconocida de Peirce, no pueden pasarse por alto sus gigantescas y numerosas contribuciones a la lgica y a la mat emtica: axiomatiz el clculo proposicional distinguiendo la implicacin de la deducibilidad y relacionndolas mediante un teorema de deduccin; anticip clculos implicativos dbiles y lgicas trivalentes; propuso una notacin homognea para la totalidad de los conectivo s binarios clsicos y estudi entre ellos los conectivos completos; desarroll el clculo de predicados, la teora de cuantificadores y las formas normales; discuti la nocin de conjunto, diversas definiciones de infinito y las comparaciones cardinales; estu di el continuo de manera original; desarroll un sistema muy amplio de lgica grfica que permite, entre otros resultados, realizar deducciones formales de manera visual. (Vase Thibaud 1982, Zalamea 1993, 1997, Oostra 2000, Garca et al. 2001.)

Por un cmulo de razones de toda ndole geogrficas, circunstanciales, personales, metodolgicas, conceptuales Peirce fue olvidado y, ms an, marginado de la academia. Durante su vida, an reconociendo su brillantez, no fue admitido de manera estable en ningn centro universitario; por el contrario, fue echado de la Universidad Johns Hopkins despus de apenas un lustro de labores que ya empezaban a arrojar frutos. El recha zo no termin con su muerte pues el gigantesco volumen de sus escritos, cerca de 100.000 pginas manuscritas, fue relegado al olvido por mucho tiempo y cuando se realizaro n los primeros esfuerzos por editar parte de ella, los documentos fueron alterados y r ecortados. Slo durante las ltimas dcadas del siglo XX se iniciaron esfuerzos serios y cuidados os por restaurar la obra de Charles S. Peirce y darle el lugar que merece. Desde 19 76 se desarrolla en la Universidad de Indiana el Peirce Edition Project, encaminado a producir la edicin completa, respetuosa y cronolgica de los escritos de Peirce.

En la tarea de recuperacin del legado peirceano pueden distinguirse tres niveles. En primer lugar es preciso leer a Peirce: abordar los temas presentes en sus escritos y es tudiarlos con rigor. En segundo lugar, cada aspecto de la obra de Peirce debe interpretarse en contextos variados: sus aportes pueden compararse con otros trabajos en el desarrollo de l a ciencia y, por otra parte, deben mirarse en el contexto filosfico global de la obra de Peirc e. Por ltimo, la tarea ms difcil pero tambin ms fructfera es la de construccin: las ideas presentes en el legado de Peirce deben desarrollarse y explotarse para avanzar e n el planteamiento y la solucin de problemas abiertos importantes. En el documento pre sente pueden encontrarse reflejados, de manera tenue, estos tres frentes de trabajo.

1.2.Contenido del artculo

El escrito On the Logic of Number fue publicado en 1881 en las pginas 85 a 95 del volumen 4 de la revista The American Journal of Mathematics. Desde las primeras frases el autor indica la intencin de su cometido.

Nadie puede poner en duda las propiedades elementales concernientes al nmero: las que no son manifiestamente verdaderas a primera vista son verificadas por las demostraciones usuales. Pero aunque vemos que son verdaderas, no vemos fcilmente con precisin por qu son verdaderas; tanto es as que un lgico ingls de renombre ha abrigado la duda si seran verdaderas en todas las partes del universo. El objetiv o de este artculo es mostrar que ellas son consecuencias estrictamente silogsticas de u nas pocas proposiciones primarias.

En pocas palabras, el propsito de Peirce es axiomatizar la aritmtica.

En seguida el autor postula un trmino relativo lo que hoy se denomina una relacin binaria del cual pide, en primer lugar, que sea transitivo; luego, que sea en term inologa actual reflexivo; adems que sea antisimtrico. A eso denomina un relativo fundamental de cantidad y al sistema obtenido, un sistema de cantidad . Esto se llama ahora una

relacin de orden y un conjunto (parcialmente) ordenado: segn algunos historiadores este es el primer lugar en que aparecen as juntas estas conocidas definiciones.

A continuacin Peirce distingue entre sistema mltiple , en el cual hay pares de elemen tos que no se relacionan entre s y sistema simple , que corresponde a un conjunto linealmente ordenado (o totalmente ordenado). Cabe anotar que Peirce, anterior a l auge de la teora de conjuntos y muy anterior a Bourbaki, por supuesto no habla de element os: dice cantidades . Los sistemas simples a su vez los clasifica en continuos , discretos y mixtos : en los primeros, entre cada par de elementos relacionados hay un tercero, es lo que hoy se denomina un orden denso; en un sistema discreto , cualquier elemento may or que otro es sucesor inmediato de algn elemento o, lo que es lo mismo, todo elemen to no minimal posee antecesor inmediato; un sistema mixto es continuo en unas partes y discreto en otras. Luego, un sistema simple discreto puede ser limitado , semilimitado o ilimitado , segn tenga mnimo y mximo, o slo uno, o ninguno de los dos.

Para terminar su clasificacin, Peirce afirma que un sistema simple, discreto y no limitado (semi-limitado o ilimitado) puede ser infinito o super-infinito y da varias descripciones del primer caso, definiendo el segundo como su complemento. En un sistema infinito , todo elemento mayor que uno dado puede ser alcanzado por pasos sucesivos , cada uno hacia el sucesor inmediato. En otras palabras de Peirce , si es cierto que todo elemento sucesor inmediato de cualquier integrante de cierta clase tambin pertene ce a la clase, entonces todo elemento mayor que un elemento de esa clase pertenece a la clase. O bien, un sistema infinito puede ser definido y Peirce lo indica como uno en el que, del hecho de que una proposicin dada, si es vlida para un elemento entonces es vlida pa ra su sucesor inmediato, puede inferirse que si esta proposicin es vlida para algn elemen to entonces es vlida para todo elemento mayor. Es, con toda exactitud, lo que hoy se conoce como el principio de induccin.

Asumidos los axiomas sistema de cantidad simple, discreto, semi-limitado, infinito Peirce procede a dar algunas definiciones. El mnimo lo llama uno, 1. La suma x + y la define por recursin de nuevo, segn algunos estudiosos esta es la primera vez que

aparecen tales definiciones en matemticas : si x carece de antecesor inmediato, ent onces es el mnimo y x + y se define como el sucesor inmediato de y; en caso contrario, si x tiene antecesor inmediato x entonces x + y se define como el sucesor inmediato de x + y. De manera similar, si x carece de antecesor inmediato, xy se define como y ; en caso contrario, se define como y + x y.

Las definiciones de las operaciones pueden parafrasearse como sigue. Aunque Peir ce no enuncia de manera explcita estas igualdades, s las emplea ms adelante varias veces.

1 + y = siguiente de y (1 + x) + y = 1 + (x + y)

1y = y (1 + x)y = y + xy

A continuacin el autor prueba por induccin, como se dice hoy siguientes de las operaciones recin definidas.

las propiedades

1. 2. 3. 4. 5. 6.

(x + y) + z = x + (y + z) x + y = y + x (x + y)z = xz + yz x(y + z) = xy + xz (xy)z = x(yz) xy = yx

Ahora Peirce cambia un poco las condiciones para estudiar un sistema simple, disc reto, ilimitado, infinito en ambas direcciones . Ya no hay mnimo pero cierto elemento se designa uno, 1, mientras su antecesor inmediato es el cero, 0. Los elementos may ores que 0 constituyen un sistema simple, discreto, semi-limitado, infinito en el cual es vlid o todo el desarrollo anterior. Las definiciones de las operaciones, al igual que sus pr opiedades demostradas, se extienden al sistema ilimitado . Peirce indica que las pruebas de e stas

ltimas son consecuencia inmediata de la primera de las siguientes, que s prueba to das en detalle.

7. Si x + y = x + z entonces y = z 8. x + 0 = x 9. x0 = 0 10. Todo elemento x mayor que 0 tiene un negativo x 11. ( x)y = (xy) 12. x = ( x)

En la ltima seccin del artculo, Peirce da un uso nuevo a los nmeros recin construidos : define una cuenta como una correspondencia biyectiva entre una clase y un segmento inicial de los nmeros naturales. Mediante una compleja demostracin inductiva asegu ra que el nmero de nmeros menores o iguales que un natural x es x, sin importar la fo rma u orden en que se cuenten , garantizando as la unicidad del nmero de elementos de cualquier conjunto finito. Colige luego que si un subconjunto de un conjunto fin ito posee tantos elementos como ste conjunto, entonces es igual a l, lo cual ilustra con un m odo de razonamiento frecuente en teora de nmeros :

Todo Texano mata un Texano, Nadie es muerto por ms de una persona, Por lo tanto, todo Texano es muerto por un Texano.

Cabe anotar que de esta seccin pueden extraerse con facilidad dos nociones de con junto finito, precisadas de nuevo ms tarde en la historia de la matemtica: (a) un conjun to es finito si est en correspondencia biyectiva con un segmento inicial de los nmeros naturales; (b) un conjunto es finito si no est en correspondencia biyectiva con n ingn subconjunto propio. De hecho, Peirce en este artculo deduce (b) de (a).

1.3.Axiomatizaciones en terminologa actual

El artculo On the Logic of Number contiene una axiomatizacin para los nmeros natura les y una para los nmeros enteros. Una presentacin con terminologa y simbologa actuales es la siguiente.

Nmeros Naturales

Trminos: Un conjunto, N, y una relacin binaria, R, en N. Axiomas: 1. 2. 3. 4. R es un orden lineal en N N posee elemento R-mnimo y no posee elemento R-mximo Todo elemento de N distinto del R-mnimo posee R-antecesor inmediato Si un subconjunto S . N satisface:

para cada n . N, si S contiene el R-antecesor inmediato de n entonces contiene a n entonces S satisface: si S contiene un elemento k entonces contiene todos los R-sucesores de k

Ejemplo Un conjunto ordenado que satisface los primeros 3 axiomas pero no el ltimo es

{ 1 } . { n + 1/m | n, m . N }

con el orden usual de los nmeros racionales. (Este ejemplo no fue indicado por Pei rce!)

Nmeros Enteros

Trminos: Un conjunto, Z, y una relacin binaria, R, en Z.

Axiomas: 1. 2. 3. 4. R es un orden lineal en Z Z no posee elemento R-mnimo ni posee elemento R-mximo Todo elemento de Z posee R-antecesor inmediato Si un subconjunto no vaco S . Z satisface:

para cada m . Z, S contiene a m si y slo si contiene el R-antecesor inmediato de m entonces S = Z

2. Contextos: Axiomatizaciones 2.1.La axiomtica en Peirce

Benjamin Peirce, padre de Charles, fue uno de los matemticos americanos ms distinguidos durante el siglo XIX. Quizs la mayor influencia se ejerci a travs de s us textos entre los que se destaca Linear Associative Algebra, publicado por primer a vez en 1870 y que comienza con la siguiente definicin notable:

La matemtica es la ciencia que obtiene conclusiones necesarias.

Benjamin falleci en 1880; en 1881 fue reimpreso de manera pstuma su escrito Linear Associative Algebra, esta vez editado por Charles Peirce, en el mismo nmero de la revista The American Journal of Mathematics en el cual se public On the Logic of Number. Todo parece indicar que Charles quiso enfatizar y honrar la visin de su recin fallecido padre, a quien siempre quiso y estim mucho, mostrando con claridad que la aritmtica consist e en conclusiones necesarias de unas pocas proposiciones primarias . Cabe observar que a la sazn ya se haba logrado la aritmetizacin del anlisis y que poco despus se lograra la d e la geometra, de suerte que, ms que nunca antes, la matemtica poda verse como una teora de conclusiones necesarias.

Charles Peirce sigui muchas veces a su padre en la citada definicin de la matemtica , amplindola y complementndola con la siguiente.

La lgica deductiva es la ciencia de obtener conclusiones necesarias.

Este par de definiciones puede conducir a un interesante estudio del papel la dependencia mutua de la matemtica y la lgica deductiva en el pensamiento , analizados en distintos pasajes. (Vase Grattan-Guinness 1992, Levy 1997.) matemtica es, para Peirce, anterior a la lgica como puede observarse en acin

y de peirceano La su clasific

de las ciencias porque debe haber razonamientos y conclusiones necesarias antes d e que pueda existir una ciencia de los mismos. En palabras del pensador:

El matemtico busca la solucin de un problema... mientras el lgico, sin importarle u n comino la solucin, desea analizar la forma del proceso mediante el cual ella se obtiene.

Por otra parte, puede observarse que la axiomtica es ubicua en el legado peircean o. Adems de la primera axiomatizacin de la aritmtica, Peirce present la primera axiomatizacin del clculo proposicional y estudi por primera vez los conectivos completos. Tambin vale la pena destacar su sistema de grficos existenciales, considerados por l mismo su obra maestra: sus partes alfa y beta corresponden al clculo proposicional y clculo de predicados de la lgica clsica y se axiomatizan con un sis tema reducido y homogneo de reglas de transformacin; el ambiente gama es mucho ms amplio pero contiene, en particular, clculos modales que pueden describirse de ig ual manera con sistemas sencillos de reglas. (Vase Zalamea 1997, 2001.)

2.2.La axiomatizacin de la aritmtica por Peano

Desde los pitagricos la geometra y la aritmtica se consideran los dos pilares fundamentales de la matemtica. La axiomatizacin de la geometra fue un proceso muy, muy largo que, aunque iniciado mucho antes, se materializ por primera vez en el t rabajo Elementos, de Euclides, unos 300 aos antes de Cristo. Durante el siglo XIX, sin d uda con el impulso de la aparicin de las geometras no euclidianas, se multiplicaron los es fuerzos por axiomatizar la geometra, empeo culminado finalmente en 1899 con la publicacin d e Fundamentos de la Geometra, de David Hilbert. (Vase Campos 1994.)

Durante el siglo XIX tambin se presentaron varias axiomatizaciones de la aritmtica o, con ms precisin, de los nmeros naturales. Sin lugar a dudas, la ms conocida es la que present Giuseppe Peano en 1889 en un pequeo libro, escrito en latn y publicado en

Turn, titulado Arithmetices Principia Nova Methodo Exposita. Mucho ms que un texto de aritmtica, este documento contiene una introduccin a la lgica que tambin ejerci gran influencia. Peano reconoce hacer uso de estudios de otros autores: en lgica menci ona a Boole, Schrder, Peirce, Jevons y MacColl; en aritmtica menciona el trabajo de Dede kind publicado el ao anterior reconocido de manera generalizada como la primera axiomatizacin de la aritmtica, aunque sali a la luz 7 aos despus del artculo de Peirce y el texto de Grassmann de 1861. Este ltimo libro posiblemente fue fuente de insp iracin tanto para Peano y Dedekind como para Peirce, fuente que merecera un estudio apar te.

A continuacin se hace una presentacin muy resumida de la primera parte del libro d e Peano. En el prefacio se introduce una gran cantidad de notacin lgica. El 1, titula do Nmeros y Adicin, comienza con las explicaciones siguientes.

El smbolo N significa nmero (entero positivo). El smbolo 1 significa unidad. El smbolo a + 1 significa el sucesor de a, o, a mas 1. El smbolo = significa es igual a. Consideramos este signo como nuevo, aunque tiene la forma de un signo lgico.

En seguida se enuncian los notacin lgica.

axiomas . En esta presentacin slo se ha modificado la

1. 2. 3. 4. 5. 6. 7. 8.

1 . N. Si a . N entonces a = a. Si a, b . N entonces: a = b si y slo si b = a. Si a, b, c . N entonces: a = b, b = c implica a = c. Si a = b y b . N entonces a . N. Si a . N entonces a + 1 . N. Si a, b . N entonces: a = b si y slo si a + 1 = b + 1. Si a . N entonces a + 1 . 1.

9. Si k es una clase (Peano escribe: k . K !), 1 . k, y si para x . N: x . k implica x + 1 . k, entonces N . k.

Siguen las definiciones 2 = 1 + 1, 3 = 2 + 1, etctera y algunos teoremas , en su mayora de carcter lgico exceptuando las afirmaciones 2 . N, 3 . N etctera. Luego se encuentra otra definicin .

Si a, b . N entonces: a + (b + 1) = (a + b) + 1.

Peano anota que esta definicin debe leerse como (a + b) + 1 tiene significado (esto es, si a + b no ha sido definido, entonces a + (b + 1) significa el e sigue que si a . N entonces a + 2 = (a + 1) + 1, a + 3 1, etctera.

sigue: si a y b son nmeros y si es un nmero) pero a + (b + 1) an nmero que sigue a a + b. De aqu s = (a + 2) + 1 = ((a + 1) + 1) +

Los teoremas aritmticos que el autor demuestra a continuacin son los siguientes.

Si a, b . N entonces a + b . N. Si a, b, c . N entonces: a = b si y slo si a + c = b + c. Si a, b, c . N entonces a + (b + c) = (a + b) + c. Si a . N entonces 1 + a = a + 1. Si a, b . N entonces a + b = b + a.

En el 2 Peano define la sustraccin; en el 3 define la multiplicacin, como sigue.

Si a . N entonces a 1 = a. Si a, b . N entonces a (b + 1) = (a b) + a.

Actualmente, los axiomas 2 hasta 5 se consideran propiedades lgicas y se distingu en de la aritmtica; el axioma 6 y una implicacin del 7 dicen que la correspondencia que a c ada nmero asigna el siguiente es una funcin; la inclusin N . k se considera en la

interseccin con N, para no cuantificar sobre todos los conjuntos sino slo sobre lo s contenidos en N. Con estas reducciones, una presentacin de los axiomas de Peano c on terminologa y simbologa actuales es la siguiente.

Nmeros Naturales

Trminos: Un conjunto, N; una funcin, s, de N en N; una constante, 1, en N. Axiomas: 1. s es inyectiva 2. 1 no pertenece al recorrido de s 3. Si un subconjunto S . N satisface 1 . S para cada n . N, si n . S entonces s(n) . S entonces S = N

2.3.Axiomatizacin de otros conjuntos ordenados

Una de las caractersticas notables de la axiomatizacin de los nmeros naturales debi da a Peirce en su artculo de 1881 es que el autor estudia este sistema como un conjunt o ordenado: inicialmente da la definicin de conjunto ordenado, luego va aadiendo condiciones hasta capturar la estructura buscada. En la matemtica actual se conoc en otros conjuntos ordenados determinados completamente por un puado de sus propiedades, e s decir, axiomatizados. A continuacin se presentan dos ejemplos.

Nmeros Racionales

El conjunto de los nmeros racionales con el orden usual es el nico conjunto lineal mente ordenado Q que satisface las condiciones siguientes.

1. Q no posee elemento mnimo ni posee elemento mximo

2. Entre cada par de elementos distintos de Q hay un tercer elemento (el orden e s denso) 3. El conjunto Q es enumerable (Vase Willard 1970.)

El conjunto de Cantor

El conjunto ternario de Cantor con el orden heredado de la recta real es el nico conjunto linealmente ordenado C que satisface las condiciones siguientes. 1. Todo subconjunto de C posee extremo superior ( C es un retculo completo) 2. Entre cada par de elementos distintos de C hay un salto (un par de elementos, uno antecesor inmediato del otro) 3. C no posee elementos aislados (elementos que poseen, a la vez, antecesor inmediato y sucesor inmediato) 4. En C hay una cantidad enumerable de saltos (Vase Oostra 1991.)

3. Mediacin: Peirce y Peano 3.1.La equivalencia de las axiomatizaciones

Una demostracin formal de la equivalencia entre los sistemas de axiomas presentad os por Peirce y Peano no es difcil, aunque presenta algunos detalles tcnicos de cuidado.

De los axiomas de Peano a los de Peirce podra pasarse fcil, verificando las condic iones que exige este ltimo en el sistema usual de los nmeros naturales (N), que se supon e es un modelo de los axiomas de Peano. Un camino ms riguroso es definir el orden, por ej emplo como sigue.

Si a, b . N entonces: a < b si existe c . N tal que a + c = b.

A partir de aqu, empleando los axiomas de Peano y las propiedades derivadas de el los, pueden demostrarse las condiciones de Peirce.

Al revs, para pasar de los axiomas de Peirce a los de Peano basta demostrar que c ada elemento tiene un sucesor inmediato (esto no est explcito en los axiomas de Peirce! ). Por la linealidad del orden, este sucesor inmediato es nico y ya se tiene la funcin su cesor prerequerida por las condiciones de Peano. Por la construccin de la funcin, estas condiciones se verifican de inmediato.

3.2.La equivalencia puesta en duda

Es bien sabido que la equivalencia formal no significa igualdad. Una comparacin no muy profunda de los conjuntos de axiomas presentados por Peirce y Peano arroja el sig uiente par de observaciones.

An si se expresan con la notacin actual de la teora de conjuntos (notacin cuya precursora se encuentra en el trabajo de Peano!), los axiomas de Peirce no puede n aspirar a superar los de Peano en elegancia y concisin. Pero por otra parte, los trminos de la axiomatizacin de Peano aparecen de manera muy artificial de hecho, la estructura (Conjunto, Endofuncin) no es usual en matemticas mientras la presentacin de Peirce e s contextual y natural: una relacin muy comn en matemticas y en lgica , binaria, transitiva, de orden, lineal, con mnimo y sin mximo, con antecesores, inductivo... En esta sucesin, cada condicin aadida puede verse como una restriccin adicional al universo hasta que en la interseccin queda un solo objeto, precisamente el que se quera axiomatizar. As, parece haber una diferencia ms profunda entre las dos axiomatizac iones, la de Peano y la de Peirce.

En este punto vale la pena traer a colacin una de las expresiones de la llamada Mx ima Pragmtica, elemento fundamental en el pensamiento de Charles S. Peirce.

Considerad qu efectos, que concebiblemente podran tener consecuencias prcticas, concebimos que tiene el objeto de nuestra concepcin. Entonces, nuestra concepcin de estos efectos es la totalidad de nuestra concepcin del objeto.

(Vase Peirce 1878.) Si el objeto es el sistema de los nmeros naturales, la comprensin de los mismos crece si se los estudia desde diferentes perspectivas, por ejemplo : a partir de los axiomas de Peirce, a partir de los axiomas de Peano, a partir de la teora de conjuntos, ...

Pero si el objeto es la equivalencia entre los sistemas aritmticos de Peirce y Pean o, no es suficiente una deduccin, ms o menos rigurosa, de los axiomas propuestos por el uno en el sistema propuesto por el otro. Tal demostracin ahoga el sabor de la diferencia es encial que parece existir entre las presentaciones: en un caso un orden, en el otro una fun cin. Para detectar la diferencia si la hay , sera preciso recorrer el haz de todos los context os posibles en los cuales los sistemas fueran expresables y comparables. Lo cual es muy difcil.

Una ayuda magnfica en este sentido la ha provisto, desde su creacin a mediados del siglo XX, la teora de categoras. Se trata de una ciencia cuya primera impresin lleva a pe nsarla como un lenguaje universal y sinttico para la matemtica, que permite verla de una forma esencialmente distinta pues cambia el lenguaje interno, analtico, atomista de la teora de conjuntos por un lenguaje externo, sinttico, libre. La teora de categoras no mira l o que hay dentro de los objetos sino analiza las relaciones entre los mismos, de ah que ella se refiera a todo lo que pueda expresarse con flechas. La libertad del lenguaje sin ttico hace ver relaciones y similitudes entre conceptos que con la visin conjuntista ni siqu iera eran pensadas, lo cual se ha comprobado de manera efectiva en varios casos concretos. Por ejemplo, se han construido sendas categoras que constituyen modelos para la independencia del axioma de eleccin, para la independencia de la hiptesis del cont inuo, para la topologa intuicionista (todas las funciones reales son continuas) y para el clculo lambda. (Vase Mac Lane and Moerdijk 1992.)

Entre las categoras en las cuales pueden construirse los nmeros reales, existen al gunas donde la construccin que simula las cortaduras de Dedekind y la que generaliza la s sucesiones de Cauchy arrojan objetos no isomorfos. Ese hecho sorprendente demues tra que estas dos construcciones son esencialmente distintas, si bien en la teora de conj untos clsica dan el mismo resultado porque all slo existe un campo ordenado y completo. (Vase Johnstone 1977.)

De esta manera, demostrar con la teora de categoras la diferencia esencial entre l as axiomatizaciones de los nmeros naturales dadas por Peirce y Peano consistira en encontrar alguna categora en las cuales los objetos nmeros naturales correspondiente s no son isomorfos. Para lo cual se plantea el problema preliminar de traducir al lenguaje de la teora de categoras al lenguaje de flechas los dos sistemas axiomticos.

Traducir la axiomatizacin de Peirce al lenguaje de las categoras parece difcil, de entrada hay varias maneras de considerar una relacin: como subobjeto del producto cartesi ano o como una clase de equivalencia de un par mnico de morfismos. Por el contrario, la

axiomatizacin de Peano fue traducida al lenguaje categrico de manera en extremo elegante por William Lawvere. (Vase Freyd and Scedrov 1990, Lawvere 1964.)

3.3.La axiomatizacin de Lawvere

La traduccin al lenguaje categrico de los axiomas de Peano puede considerarse una nueva axiomatizacin de la aritmtica, que se presenta a continuacin sin ms prembulos.

Nmeros Naturales

Trminos: Un conjunto, N; una funcin, s, de N en N; una constante, 1, en N. Axioma: Para cualquier conjunto X con una funcin f de X en X y una constante a en X, existe una nica funcin s de N en X tal que s(1) = a ss = fs (funciones compuestas)

Un elemento de X puede verse como una funcin de T en X siendo T un conjunto unitario. Luego la axiomatizacin puede presentarse con el siguiente diagrama de f lechas, que evidencia la traduccin categrica.

s N N 1 T s s a X X

Una funcin de N en X suele llamarse una sucesin en X y sus imgenes se denotan sn. Con esta terminologa, el axioma de Lawvere toma la forma siguiente.

Para cualquier conjunto X con una funcin f de X en X y una constante a en X, existe una nica sucesin sn en X tal que s1 = a sn+1 = f(sn)

Se trata de la sucesin (a, f(a), f(f(a)), ... ) que se usa, por ejemplo, en espac ios mtricos para probar que toda funcin contractiva en un espacio completo tiene un punto fij o, y en teora del caos para ejemplificar este catico fenmeno.

De los axiomas de Peano al de Lawvere se pasa fcil, demostrando

por induccin, claro

est la existencia y unicidad de la sucesin. Al revs, probar los axiomas de Peano a p artir del nico axioma de Lawvere es un poco ms complejo pero resulta una prueba elegante , muy tpica del pensamiento con flechas. (Vase Mac Lane and Birkhoff 1970.)

Bibliografa

Campos, Alberto 1994 Axiomtica y Geometra desde Euclides hasta Hilbert y Bourbaki, editor: Alberto Campos, Bogot.

Dedekind, Richard 1888 Was Sind und Was Sollen die Zahlen? Vieweg, Braunschweig.

Freyd, Peter J. and Andre Scedrov 1990 Categories, Allegories, North-Holland, Amsterdam.

Garca, Mireya, Jhon Fredy Gmez y Arnold Oostra 2001 Simetra y Lgica: La Notacin de Peirce para los 16 Conectivos Binarios, Memorias del XII Encuentro de Geometra y sus Aplicaciones, Universidad Pedaggica Nacional, Bogot, 1 26.

Grassmann, Hermann 1861 Lehrbuch der Arithmetik fr Hhere Lehranstalten, Eslin, Berlin.

Grattan-Guinness, Ivor 1992 Peirce: entre la lgica y las matemticas, Mathesis 8, 55 72.

Johnstone, P. T. 1977 Topos Theory, Academic Press, London.

Lawvere, F. William 1964 An elementary theory of the category of sets, Proc. Nat. Acad. Sci. 52, 150 6 1511.

Levy, Stephen H.

1997 Peirce s theoremic/corollarial distinction and the interconnections between mathematics and logic, in: Nathan Houser, Don D. Roberts and James Van Evra (Eds.), Studies in the Logic of Charles Sanders Peirce, Indiana University Press , Bloomington and Indianapolis, 85 110.

Mac Lane, Saunders and Garrett Birkhoff 1970 Algebra, Macmillan, London.

Mac Lane, Saunders and Ieke Moerdijk 1992 Sheaves in Geometry and Logic, Springer Verlag, New York.

Oostra, Arnold 1991 La Topologa del Orden y el Conjunto Ordenado de Cantor, Tesis (Matemtico), Universidad Nacional de Colombia. 2000 Acercamiento lgico a Peirce, Boletn de Matemticas Nueva Serie VII, 60 77.

Peano, Giuseppe 1889 Arithmetices Principia Nova Methodo Exposita, Bocca, Turin.

Peirce, Benjamin 1870 Linear Associative Algebra, private edition, Washington, D.C. Reprinted in: American Journal of Mathematics 4, 97 229.

Peirce, Charles S. 1878 How to make our ideas clear, Popular Science Monthly 12, 286 1881 On the logic of number, American Journal of Mathematics 4, 85 302. 95.

Shields, Paul 1981 Charles S. Peirce on the Logic of Number, Ph. D. Dissertation, Fordham Univ ersity, New York.

1997 Peirce s axiomatization of arithmetic, in: Nathan Houser, Don D. Roberts and James Van Evra (Eds.), Studies in the Logic of Charles Sanders Peirce, Indiana University Press, Bloomington and Indianapolis, 43 52.

Thibaud, Pierre 1982 La Lgica de Charles Sanders Peirce, Paraninfo, Madrid.

Willard, Stephen 1970 General Topology, Addison Wesley, Reading (Massachusetts).

Zalamea, Fernando 1993 Una jabalina lanzada hacia el futuro: anticipos y aportes de C. S. Peirce a la lgica matemtica del siglo XX, Mathesis 9, 391 404. 1997 Lgica Topolgica: Una Introduccin a los Grficos Existenciales de Peirce, XIV Coloquio Distrital de Matemticas y Estadstica, Universidad Pedaggica Nacional, Bogot. 2001 El Continuo Peirceano. Aspectos globales y locales de genericidad, reflexiv idad y modalidad: Una visin del continuo y la arquitectnica pragmtica peirceana desde la lgica matemtica del siglo XX, Universidad Nacional de Colombia, Facultad de Ciencias, Bogot.

Sitios en Internet

http://www.cspeirce.com/ Principal sitio de estudios peirceanos.

http://www.iupui.edu/~peirce/web/index.htm Sitio del Peirce Edition Project.

http://www.unav.es/gep/ Mayor sitio peirceano en espaol.

Arnold Oostra

Departamento de Matemticas y Estadstica Universidad del Tolima A A 546 Ibagu, COLOMBIA

oostra@bunde.tolinet.com.co