Você está na página 1de 18

EL CONCEPTO DE NUMERO NATURAL SEGUN CHARLES S.

PEIRCE
Arnold Oostra Profesor de Matemticas a
Universidad del Tolima. A nuestro amigo Edward Prez, e In Memoriam.

Resumen.
Se bosqueja un estudio del art culo On the Logic of Number, publicado en 1881, en el cual C. S. Peirce present una axiomatizacin de los o o nmeros naturales. u

Contrario a lo que quizs hace pensar el t a tulo, este no es un estudio amplio o losco de la nocin de n mero natural en el pensamiento peirceano. Se o o u trata, simplemente, de presentar y discutir un art culo breve de Peirce, publicado en la poca fugaz pero muy productiva en la que estuvo vinculado e directamente a la academia. Ese escrito contiene un sistema de axiomas para los n meros naturales, una denicin recursiva de las operaciones, demostrau o ciones inductivas de sus propiedades algebraicas bsicas, una extensin de a o la estructura para incluir los n meros negativos y un primer estudio de la u nocin de conjunto nito. El art o culo en cuestin es muy anterior a los trao bajos de Dedekind y Peano sobre estos temas, de manera que puede decirse con seguridad que se trata de la primera axiomatizacin publicada de los o n meros naturales. (Vase Shields 1981, 1997.) u e En la seccin 1 del documento presente se hace una descripcin ms detallada o o a del art culo de Peirce. En la seccin 2 se procura construir un contexto o para este aporte valioso: se busca un lugar para la axiomtica en el edicio a losco peirceano; se presenta la axiomatizacin posterior, ms conocida, o o a de Peano; se muestran otras axiomatizaciones similares. En la seccin 3 se o discute el problema de la equivalencia de los diferentes sistemas axiomticos a para los n meros naturales. u

Memorias XIII Encuentro de Geometr y I de Aritmtica a e

1
1.1

Lectura: El art culo On the Logic of Number.


Charles S. Peirce.

Charles Sanders Peirce (18391914) es uno de los ultimos cient cos universales. Es ms conocido en la losof a la cual hizo aportes signicativos: es a a, el padre de la semitica moderna, cre el pragmatismo autntico y redujo a o o e un m nimo treslas categor ontolgicas. Pero aunque esa es la contribuas o cin ms reconocida de Peirce, no pueden pasarse por alto sus gigantescas o a y numerosas contribuciones a la lgica y a la matemtica: axiomatiz el o a o clculo proposicional distinguiendo la implicacin de la deducibilidad y relaa o cionndolas mediante un teorema de deduccin; anticip clculos implicativos a o o a dbiles y lgicas trivalentes; propuso una notacin homognea para la totae o o e lidad de los conectivos binarios clsicos y estudi entre ellos los conectivos a o completos; desarroll el clculo de predicados, la teor de cuanticadores o a a y las formas normales; discuti la nocin de conjunto, diversas deniciones o o del innito y las comparaciones cardinales; estudi el continuo de manera o original; desarroll un sistema muy amplio de lgica grca que permite, eno o a tre otros resultados, realizar deducciones formales de manera visual. (Vase e Thibaud 1982, Zalamea 1993, 1997, Oostra 2000, Garca et al. 2001.) Por un c mulo de razones de toda u ndole geogrcas, circunstanciales, pera sonales, metodolgicas, conceptualesPeirce fue marginado de la academia. o Durante su vida, an reconociendo su brillantez, no fue admitido de maneu ra estable en ning n centro universitario; por el contrario, fue echado de la u Universidad Johns Hopkins despus de apenas un lustro de labores que ya e empezaban a arrojar frutos. El rechazo no termin con su muerte pues el o gigantesco volumen de sus escritos, cerca de 100.000 pginas manuscritas, a fue relegado al olvido por mucho tiempo y cuando se realizaron los primeros esfuerzos por editar parte de ella, los documentos fueron alterados y recortados. Slo durante las ultimas dcadas del siglo XX se iniciaron esfuerzos o e serios y cuidadosos por restaurar la obra de Charles S. Peirce y darle el lugar que merece. Desde 1976 se desarrolla en la Universidad de Indiana el Peirce Edition Project, encaminado a producir la edicin completa, respetuosa y o cronolgica de los escritos de Peirce. o En la tarea de recuperacin del legado de Peirce pueden distinguirse tres o niveles. En primer lugar es preciso leer a Peirce: abordar los temas presentes 2

El Concepto de Numero Natural Segun Charles Peirce

en sus escritos y estudiarlos 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 la ciencia y, por otra parte, deben mirarse en el contexto losco global de la obra de Peirce. Por ultimo, o la tarea ms dif pero tambin ms fruct a cil e a fera es la de construccin: las o ideas presentes en el legado de Peirce deben desarrollarse y explotarse para avanzar en el planteamiento y la solucin de problemas abiertos importantes. o En el documento presente pueden encontrarse reejados, tenuemente, estos tres frentes de trabajo.

1.2

Contenido del art culo.

El escrito On the Logic of Number fue publicado en 1881 en las pginas 85 a 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. o Nadie puede poner en duda las propiedades elementales concernientes al n mero: las que no son maniestamente verdaderas a primera vista son u vericadas por las demostraciones usuales. Pero aunque vemos que son verdaderas, no vemos fcilmente con precisin por qu son verdaderas; tanto es a o e as que un lgico ingls de renombre ha abrigado la duda si ser verdaderas o e an en todas las partes del universo. El objetivo de este art culo es mostrar que ellas son consecuencias estrictamente silog sticas de unas pocas proposiciones primarias. En pocas palabras, el propsito de Peirce es axiomatizar la aritmtica. o e En seguida el autor postula un trmino relativo lo que hoy se denomina e una relacin binariadel cual pide, en primer lugar, que sea transitivo; luego, o que sea (en terminolog actual) reexivo; adems que sea antisimtrico. A a a e eso denomina un relativo fundamental de cantidad y al sistema obtenido, un sistema de cantidad . Esto se llama ahora una relacin de orden y o un conjunto (parcialmente) ordenado: seg n algunos historiadores este es el u primer lugar en que aparecen as juntas estas conocidas deniciones. A continuacin Peirce distingue entre sistema mltiple, en el cual hay pares o u de elementos que no se relacionan entre s y sistema simple, que corres ponde a un conjunto linealmente ordenado (o totalmente ordenado). Cabe anotar que Peirce, anterior al auge de la teor de conjuntos y muy anterior a a Bourbaki, por supuesto no habla de elementos: dice cantidades. Los sistemas simples a su vez los clasica en continuos, discretos y mixtos: 3

Memorias XIII Encuentro de Geometr y I de Aritmtica a e

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 mayor que otro es sucesor inmediato de algn elemento o, lo que es u lo mismo, todo elemento 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, seg n tenga m u nimo y mximo, o slo uno, o ninguno de los dos. a o Para terminar su clasicacin, Peirce arma que un sistema simple, diso creto y no limitado (semilimitado o ilimitado) puede ser innito o superinnito y da varias descripciones del primer caso, deniendo el segundo como su complemento. En un sistema innito, todo elemento mayor que uno dado puede ser alcanzado por pasos sucesivos hacia el sucesor inmediato. En otras palabras de Peirce, si es cierto que el sucesor inmediato de todo elemento de cierta clase tambin pertenece a la clase, entonces todo elemento e mayor que un elemento de esa clase pertenece a la clase. O bien, un sistema innito puede ser denido y Peirce lo indicacomo uno en el que, del hecho de que una proposicin dada, si es vlida para un elemento entonces o a es vlida para su sucesor inmediato, puede inferirse que si esta proposicin a o es vlida para algn elemento entonces es vlida para todo elemento mayor. a u a Es, con toda exactitud, lo que hoy se conoce como el principio de induccin. o Asumidos los axiomas sistema de cantidad simple, discreto, semilimitado, innito, Peirce procede a dar algunas deniciones. El m nimo lo llama uno, 1. La suma x + y la dene por recursin de nuevo, seg n algunos estudiosos o u esta es la primera vez que aparecen tales deniciones en matemticas: si x a carece de antecesor inmediato, entonces es el m nimo y x + y se dene como el sucesor inmediato de y; en caso contrario, si x tiene antecesor inmediato x entonces x + y se dene como el sucesor inmediato de x + y. De manera similar, si x carece de antecesor inmediato, xy se dene como y; en caso contrario, se dene como y + x y. A continuacin el autor prueba por induccin, como se dice hoylas propieo o dades siguientes de las operaciones recin denidas. e 1. (x + y) + z = x + (y + z) 2. x + y = y + x 3. (x + y)z = xz + yz 4. x(y + z) = xy + xz 4

El Concepto de Numero Natural Segun Charles Peirce

5. (xy)z = x(yz) 6. xy = yx Ahora Peirce cambia un poco las condiciones para estudiar un sistema simple, discreto, ilimitado, innito en ambas direcciones. Ya no hay m nimo pero cierto elemento se designa uno, 1, mientras su antecesor inmediato es el cero, 0. Los elementos mayores que 0 constituyen un sistema simple, discreto, semilimitado, innito en el cual es vlido a todo el desarrollo anterior. Las deniciones de las operaciones, al igual que sus propiedades demostradas, se extienden al sistema ilimitado. Peirce indica que las pruebas de estas ultimas son consecuencia inme diata de la primera de las siguientes, que s prueba todas 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 ultima seccin del art o culo, Peirce da un nuevo uso a los n meros u recin construidos: dene una cuenta como una correspondencia biyectiva e entre una clase y un segmento inicial de los n meros naturales. Mediante u una compleja demostracin inductiva asegura que el nmero de n meros o u u menores o iguales que un natural x es x, sin importar la forma u orden en que se cuenten, garantizando as la unicidad del n mero de elementos de u cualquier conjunto nito. Colige luego que si un subconjunto de un conjunto nito posee tantos elementos como ste conjunto, entonces es igual a l, lo e e cual ilustra con un modo de razonamiento frecuente en teora de nmeros: u Todo Texano mata un Texano, Nadie es muerto por ms de una persona, a Por lo tanto, todo Texano es muerto por un Texano. 5

Memorias XIII Encuentro de Geometr y I de Aritmtica a e

Cabe anotar que de esta seccin pueden extraerse con facilidad dos nociones o de conjunto nito, precisadas de nuevo ms tarde en la historia de la maa temtica: (a) un conjunto es nito si est en correspondencia biyectiva con a a un segmento inicial de los n meros naturales; (b) un conjunto es nito si no u est en correspondencia biyectiva con ning n subconjunto propio. De hecho, a u Peirce en este art culo deduce (b) de (a).

1.3

Axiomatizaciones en terminolog actual. a

El art culo On the Logic of Number contiene una axiomatizacin para los o n meros naturales y una para los nmeros enteros. Una presentacin con u u o terminolog y simbolog actuales es la siguiente. a a

N meros Naturales. u Trminos: e Un conjunto, N, y una relacin binaria, R, en N. Axiomas: o 1. R es un orden lineal en N 2. N posee elemento R m nimo y no posee elemento R mximo a 3. Todo elemento de N distinto del Rm nimo posee Rantecesor inmediato 4. Si un subconjunto S N satisface: para cada n N, si S contiene a n entonces contiene el Rsucesor inmediato de n entonces S satisface: si S contiene un elemento k entonces contiene todos los Rsucesores de k

N meros Enteros. u Trminos: e Un conjunto, Z, y una relacin binaria, R, en Z. Axiomas: o

El Concepto de Numero Natural Segun Charles Peirce

1. R es un orden lineal en Z. 2. Z no posee elemento Rm nimo ni posee elemento Rmximo a 3. Todo elemento de Z posee Rantecesor inmediato 4. Si un subconjunto no vac S Z satisface: para cada m Z, S o contiene a m si y slo si contiene el Rsucesor inmediato de m o entonces S = Z

2
2.1

Contextos: Axiomatizaciones.
La axiomtica en Peirce. a

Benjamin Peirce, padre de Charles, fue uno de los matemticos americanos a ms distinguidos durante el siglo XIX. Quizs la mayor inuencia se ejerci a a o a travs de sus textos entre los que se destaca Linear Associative Algebra, e publicado por primera vez en 1870 y que comienza con la siguiente denicin o notable: La matemtica es la ciencia que obtiene conclusiones necesarias. a Benjamin falleci en 1880; en 1881 fue reimpreso de manera pstuma su o o escrito Linear Associative Algebra, esta vez editado por Charles Peirce, en el mismo n mero de la revista The American Journal of Mathematics en el cual u se public On the Logic of Number. Todo parece indicar que Charles quiso o enfatizar y honrar la visin de su recin fallecido padre, a quien siempre o e quiso y estim mucho, mostrando con claridad que la aritmtica consiste o e en conclusiones necesarias de unas pocas proposiciones primarias. Cabe observar que a la sazn ya se hab logrado la aritmetizacin del anlisis y o a o a que poco despus se lograr la de la geometr de suerte que, ms que nunca e a a, a antes, la matemtica pod verse como una teor de conclusiones necesarias. a a a Charles Peirce sigui muchas veces a su padre en la citada denicin de la o o matemtica, amplindola y complementndola con la siguiente. a a a La lgica deductiva es la ciencia de obtener conclusiones necesarias. o 7

Memorias XIII Encuentro de Geometr y I de Aritmtica a e

Este par de deniciones puede conducir a un interesante estudio del papel y de la dependencia mutua de la matemtica y la lgica deductiva en el pensaa o miento peirceano, analizados en distintos pasajes. (Vase GrattanGuinness e 1992, Levy 1997.) La matemtica es, para Peirce, anterior a la lgica como a o puede observarse en su clasicacin de las cienciasporque debe haber razoo namientos y conclusiones necesarias antes de que pueda existir una ciencia de los mismos. En palabras del pensador: El matemtico busca la solucin de un problema... mientras el lgico, sin a o o importarle un comino la solucin, desea analizar la forma del proceso o mediante el cual ella se obtiene. Por otra parte, puede observarse que la axiomtica es ubicua en el legado a peirceano. Adems de la primera axiomatizacin de la aritmtica, Peirce a o e present la primera axiomatizacin del clculo proposicional y estudi por o o a o primera vez los conectivos completos. Tambin vale la pena destacar su e sistema de grcos existenciales, considerados por l mismo su obra maestra: a e sus partes alfa y beta corresponden al clculo proposicional y clculo de a a predicados de la lgica clsica y se axiomatizan con un sistema reducido y o a homogneo de reglas de transformacin; el ambiente gama es mucho ms e o a amplio pero contiene, en particular, clculos modales que pueden describirse a de igual manera con sistemas sencillos de reglas. (Vase Zalamea 1997, e 2001.)

2.2

La axiomatizacin de la aritmtica por Peano. o e

Desde que se diferenciaron, la geometr y la aritmtica se constituyeron en a e los dos pilares fundamentales de la matemtica. La axiomatizacin de la a o geometr fue un proceso muy, muy largo que, aunque iniciado mucho antes, a se materializ por primera vez en el trabajo Elementos de Euclides, unos o 300 a os antes de Cristo. Durante el siglo XIX, sin duda con el impulso de n la aparicin de las geometr no euclidianas, se multiplicaron los esfuerzos o as por axiomatizar la geometr empe o culminado nalmente en 1899 con a, n la publicacin de Fundamentos de la Geometra, de David Hilbert. (Vase o e Campos 1994.) Durante el siglo XIX tambin se presentaron varias axiomatizaciones de la e aritmtica o, con ms precisin, de los n meros naturales. Sin lugar a dudas, e a o u la ms conocida es la que present Giuseppe Peano en 1889 en un peque o a o n 8

El Concepto de Numero Natural Segun Charles Peirce

libro, escrito en lat y publicado en Tur titulado Arithmetices Princin n, pia Nova Methodo Exposita. Mucho ms que un texto de aritmtica, este a e documento contiene una introduccin a la lgica que tambin ejerci gran o o e o inuencia. Peano reconoce hacer uso de estudios de otros autores: en lgica o menciona a Boole, Schrder, Peirce, Jevons y MacColl ; en aritmtica meno e ciona el trabajo de Dedekind publicado el a o anterior reconocido de manera n generalizada como la primera axiomatizacin de la aritmtica, aunque sali a o e o la luz 7 a os despus del art n e culo de Peircey el texto de Grassmann de 1861. Este ultimo libro posiblemente fue fuente de inspiracin tanto para Peano y o Dedekind como para Peirce, fuente que merecer un estudio aparte. a A continuacin se hace una presentacin muy resumida de la primera parte o o del libro de Peano. En el prefacio se introduce una gran cantidad de notacin o lgica. El 1, titulado Nmeros y Adicin, comienza con las explicaciones o u o siguientes. El s mbolo N signica n mero (entero positivo) u El s mbolo 1 signica unidad. El s mbolo a + 1 signica el sucesor de a, o, a mas 1. El s mbolo = signica es igual a. Consideramos este signo como nuevo, aunque tiene la forma de un signo lgico. o En seguida se enuncian los axiomas. En esta presentacin slo se ha moo o dicado la notacin lgica. o o 1. 1 N. 2. Si a N entonces a = a. 3. Si a, b N entonces: a = b si y slo si b = a. o 4. Si a, b, c N entonces: a = b, b = c implica a = c. 5. Si a = b y b N entonces a N. 6. Si a N entonces a + 1 N. 7. Si a, b N entonces: a = b si y slo si a + 1 = b + 1. o 9

Memorias XIII Encuentro de Geometr y I de Aritmtica a e

8. 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 deniciones 2 = 1 + 1, 3 = 2 + 1, etctera y algunos teoremas, e en su mayor de lgica exceptuando las armaciones 2 N, 3 N etctera. a o e Luego se encuentra otra denicin. o Si a, b N entonces: a + (b + 1) = (a + b) + 1. Peano anota que esta denicin debe leerse como sigue: si a y b son n meros o u y si (a+ b) + 1 tiene signicado (esto es, si a+ b es un n mero) pero a+ (b+ 1) u a n no ha sido denido, entonces a + (b + 1) signica el n mero que sigue u u a a + b. De aqu se sigue que si a N entonces a + 2 = (a + 1) + 1, a + 3 = (a + 2) + 1 = ((a + 1) + 1) + 1, etctera. e Los teoremas aritmticos que el autor demuestra a continuacin son los sie o guientes. Si a, b N entonces a + b N. Si a, b, c N entonces: a = b si y slo si o 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 dene la sustraccin; en el 3 dene la multiplicacin, como o o 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 o distinguen de la aritmtica; el axioma 6 y una implicacin del 7 dicen que e o la correspondencia que a cada n mero asigna el siguiente es una funcin; la u o inclusin N k se considera en la interseccin con N, para no cuanticar o o sobre todos los conjuntos sino slo sobre subconjuntos de N. Con estas o reducciones, una presentacin de los axiomas de Peano con terminolog y o a simbolog actuales es la siguiente. a

N meros Naturales. u Trminos: e Un conjunto, N; una funcin, s, de N en N; una constante, 1, en N. Axiomas: o

10

El Concepto de Numero Natural Segun Charles Peirce

1. s es inyectiva 2. 1 no pertenece al recorrido de s 3. Si un subconjunto S N satisfacet 1S para cada n N, si n S entonces s(n) S entonces S = N

2.3

Axiomatizacin de otros conjuntos ordenados. o

Una de las caracter sticas notables de la axiomatizacin de los n meros nao u turales debida a Peirce en su art culo de 1881 es que el autor estudia este sistema como un conjunto ordenado: inicialmente da la denicin de cono junto ordenado, luego va aadiendo condiciones hasta capturar la estructura n buscada. En la matemtica actual se conocen otros conjuntos ordenados a determinados completamente por un puado de sus propiedades, es decir, n axiomatizados. A continuacin se presentan dos ejemplos. o

N meros Racionales. u El conjunto de los n meros racionales con el orden usual es el unico conjunto u linealmente ordenado Q que satisface las condiciones siguientes. 1. Q no posee elemento m nimo ni posee elemento mximo a 2. Entre cada par de elementos distintos de Q hay un tercer elemento (el orden es denso) 3. El conjunto Q es enumerable (Vase Willard 1970.) e El conjunto de Cantor. El conjunto ternario de Cantor con el orden heredado de la recta real es el unico conjunto linealmente ordenado C que satisface las condiciones siguien tes. 11

Memorias XIII Encuentro de Geometr y I de Aritmtica a e

1. Todo subconjunto de C posee extremo superior ( C es un ret culo 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.) e

3 4

Mediacin: Peirce y Peano. o La equivalencia de las axiomatizaciones.

Una demostracin formal de la equivalencia entre los sistemas de axiomas o presentados por Peirce y Peano no es dif aunque posiblemente los detalles cil, tcnicos la hagan tediosa. e De los axiomas de Peano a los de Peirce podr pasarse fcil, vericando a a las condiciones que exige este ultimo en el sistema usual de los n meros u naturales, que se supone es un modelo de los axiomas de Peano. Un camino ms riguroso es denir el orden, por ejemplo como sigue. a 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 ellos, pueden demostrarse las condiciones de Peirce. Al revs, para pasar de los axiomas de Peirce a los de Peano basta demostrar e que cada elemento tiene un sucesor inmediato (esto no est expl a cito en los axiomas de Peirce!). Por la linealidad del orden, este sucesor inmediato es unico y ya se tiene la funcin sucesor prerequerida por las condiciones de o Peano. Por la construccin de esta funcin, las condiciones se verican sin o o mayor dicultad.

4.1

La equivalencia puesta en duda.

Es bien sabido que la equivalencia formal no signica igualdad. Una comparacin no muy profundade los conjuntos de axiomas presentados por Peirce o y Peano arroja el siguiente par de observaciones. 12

El Concepto de Numero Natural Segun Charles Peirce

A n si se empleara la notacin actual de la teor de conjuntos (cuya preu o a cursora es el trabajo de Peano!), los axiomas de Peirce no pueden aspirar a superar los de Peano en elegancia y concisin. Por otra parte, los trminos de o e la axiomatizacin de Peano aparecen de manera muy articial de hecho, la o estructura (Conjunto, Endofuncin) no es usual en matemticasmientras la o a presentacin de Peirce es contextual y natural: una relacin muy comn en o o u matemticas y en lgica, binaria, transitiva, de orden, lineal, con m a o nimo y sin mximo, con antecesores, inductivo... En esta sucesin, cada condia o cin a adida puede verse como una restriccin adicional al universo hasta o n o que en la interseccin queda un solo objeto, precisamente el que se quer o a axiomatizar. En este punto vale la pena traer a colacin una de las expresiones de la o llamada Mxima Pragmtica, elemento fundamental en el pensamiento de a a Charles S. Peirce. Considerad qu efectos, que concebiblemente podr tener consecuencias e an prcticas, concebimos que tiene el objeto de nuestra concepcin. Entonces, a o nuestra concepcin de estos efectos es la totalidad de nuestra concepcin del o o objeto. (Vase Peirce 1878.) Si el objeto es el sistema de los n meros naturales, e u la comprensin de los mismos crece si se los estudia desde diferentes perspeco tivas, por ejemplo: a partir de los axiomas de Peirce, a partir de los axiomas de Peano, a partir de la teor de conjuntos, ... a Pero si el objeto es la equivalencia entre los sistemas aritmticos de Peire ce y Peano, no es suciente una deduccin, ms o menos rigurosa, de los o a axiomas propuestos por el uno en el sistema propuesto por el otro. Tal demostracin ahoga el sabor de la diferencia esencial que parece existir entre las o presentaciones: en un caso un orden, en el otro una funcin. Para detectar o la diferencia si la hay, ser preciso recorrer el haz de todos los contextos a posibles en los cuales los sistemas fueran expresables y comparables. Lo cual es muy dif cil. Una ayuda magn ca en este sentido la ha provisto, desde su creacin a meo diados del siglo XX, la teor de categor a as. Se trata de una ciencia cuya primera impresin lleva a pensarla como un lenguaje universal y sinttico o e para la matemtica, que permite verla de una forma esencialmente distinta a pues cambia el lenguaje interno, anal tico, atomista de la teor de conjuntos a por un lenguaje externo, sinttico, libre. La teor de categor no mira lo e a as que hay dentro de los objetos sino analiza las relaciones entre los mismos, de 13

Memorias XIII Encuentro de Geometr y I de Aritmtica a e

ah que ella se reera a todo lo que pueda expresarse con echas. La libertad del lenguaje sinttico hace ver relaciones y similitudes entre conceptos que e con la visin conjuntista ni siquiera eran pensadas, lo cual se ha comprobado o de manera efectiva en varios casos concretos. Por ejemplo, se han construido sendas categor que constituyen modelos para la independencia del axioma as de eleccin, para la independencia de la hiptesis del continuo, para la topoo o log intuicionista (todas las funciones reales son continuas) y para el clculo a a lambda. (Vase Mac Lane and Moerdijk 1992.) e Entre las categor en las cuales pueden construirse los n meros reales, exisas u ten algunas donde la construccin que simula las cortaduras de Dedekind y o la que generaliza las sucesiones de Cauchy arrojan objetos no isomorfos. Ese hecho sorprendente demuestra que estas dos construcciones son esencialmente distintas, si bien en la teor de conjuntos clsica dan el mismo resultado a a porque all slo existe un campo ordenado y completo. (Vase Johnstone o e 1977.) De esta manera, demostrar con la teor de categor la diferencia esencial a as entre las axiomatizaciones de los n meros naturales dadas por Peirce y Peano u consistir en encontrar alguna categor en las cuales los objetos n meros a a u naturales correspondientes no son isomorfos. Para lo cual se plantea el problema preliminar de traducir al lenguaje de la teora de categor al as lenguaje de echaslos dos sistemas axiomticos. a Traducir la axiomatizacin de Peirce al lenguaje de las categor parece o as dif cil, de entrada hay dos maneras de considerar una relacin: como suo bobjeto del producto cartesiano o como una clase de equivalencia de un par mnico de morsmos. Por el contrario, la axiomatizacin de Peano fue trao o ducida al lenguaje categrico de manera en extremo elegante por William o Lawvere. (Vase Freyd and Scedrov 1990, Lawvere 1964.) e

4.2

La axiomatizacin de Lawvere. o

La traduccin al lenguaje categrico de los axiomas de Peano puede consio o derarse una nueva axiomatizacin de la aritmtica, que se presenta a contio e nuacin sin ms prembulos. o a a

14

El Concepto de Numero Natural Segun Charles Peirce

N meros Naturales. u Trminos: e Un conjunto, N; una funcin, s, de N en N; una constante, 1, en N. Axioma: o Para cualquier conjunto X con una funcin f de X en X y una constante a o en X, existe una unica funcin s de N en X tal que o s(1) = a ss = f s (funciones compuestas) Un elemento de X puede verse como una funcin de T en X siendo T un o conjunto unitario. Luego la axiomatizacin puede presentarse con el siguiente o diagrama de echas, que evidencia la traduccin categrica. o o
B N 1 S r rr a r c r X j r

N S

f Una funcin de N en X suele llamarse una sucesin en X y sus imgenes o o a a, se denotan sn . Con esta terminolog el axioma de Lawvere toma la forma siguiente. Para cualquier conjunto X con una funcin f de X en X y una constante a o en X, existe una unica sucesin sn en X tal que o s1 = a sn+1 = f (sn ) Se trata de la sucesin (a, f (a), f (f (a)), ...) que se usa, por ejemplo, en espao cios mtricos para probar que toda funcin contractiva en un espacio come o pleto tiene un punto jo, y en teor del caos para ejemplicar este catico a o fenmeno. o De los axiomas de Peano al de Lawvere se pasa fcil, demostrando por a induccin, claro estla existencia y unicidad de la sucesin. Al revs, probar o a o e los axiomas de Peano a partir del unico axioma de Lawvere es un poco ms a complejo pero resulta una prueba elegante, muy t pica del pensamiento con echas. (Vase Mac Lane and Birkho 1970.) e 15

Memorias XIII Encuentro de Geometr y I de Aritmtica a e

Bibliograf a.
[1] Campos, Alberto 1994 Axiomtica y Geometr desde Euclides hasta a a Hilbert y Bourbaki, editor: Alberto Campos, Bogot. a [2] Dedekind, Richard 1888 Was sind und was sollen die Zahlen? Vieweg, Braunschweig. [3] Freyd, Peter J. and Andre Scedrov 1990 Categories, Allegories, NorthHolland, Amsterdam. [4] Garc Mireya, Jhon Fredy Gmez y Arnold Oostra 2001 a, o [5] Simetr y Lgica: La Notacin de Peirce para los 16 Conectivos Bia o o narios, Memorias del XII Encuentro de Geometr y sus Aplicaciones, a Universidad Pedaggica Nacional, Bogot, 1 26. o a [6] Grassmann, Hermann 1861 Lehrbuch der Arithmetik fr hhere Lehransu o talten. Eslin, Berlin. [7] GrattanGuinness, Ivor 1992 Peirce: entre la lgica y las matemticas, o a Mathesis 8, 55 72. [8] Johnstone, P. T. 1977 Topos Theory, Academic Press, London. [9] Lawvere, F. William 1964 An Elementary Theory of the Category of Sets, Proc. Nat. Acad. Sci. 52, 1506 1511. [10] Levy, Stephen H. 1997 Peirces 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. [11] Mac Lane, Saunders and Garrett Birkho 1970 Algebra, Macmillan, London. [12] Mac Lane, Saunders and Ieke Moerdijk 1992 Sheaves in Geometry and Logic, Springer Verlag, New York. [13] Oostra, Arnold 1991 La Topolog del Orden y el Conjunto Ordenado de a Cantor, Tesis (Matemtico), Universidad Nacional de Colombia. a 16

El Concepto de Numero Natural Segun Charles Peirce

[14] 2000 Acercamiento lgico a Peirce, Bolet de Matemticas Nueva Serie o n a VII, 60 77. [15] Peano, Giuseppe 1889 Arithmetices Principia Nova Methodo Exposita, Bocca, Turin. [16] Peirce, Benjamin 1870 Linear Associative Algebra, private edition, Washington, D.C. Reprinted in: American Journal of Mathematics 4, 97 229. [17] Peirce, Charles S. 1878 How to Make Our Ideas Clear, Popular Science Monthly 12, 286 302. [18] 1881 On the Logic of Number, American Journal of Mathematics 4, 85 95. [19] Shields, Paul 1981 Charles S. Peirce on the Logic of Number, Ph. D. Dissertation, Fordham University, New York. [20] 1997 Peirces 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. [21] Thibaud, Pierre 1982 La Lgica de Charles Sanders Peirce, Paraninfo, o Madrid. [22] Willard, Stephen 1970 General Topology, AddisonWesley, Reading (Massachusetts). [23] Zalamea, Fernando 1993 Una jabalina lanzada hacia el futuro: anticipos y aportes de C. S. Peirce a la lgica matemtica del siglo XX, Mathesis o a 9, 391 404. [24] 1997 Lgica Topolgica: Una Introduccin a los Grcos Existenciales o o o a de Peirce, XIV Coloquio Distrital de Matemticas y Estad a stica, Universidad Pedaggica Nacional, Bogot. o a [25] 2001 El Continuo Peirceano. Aspectos globales y locales de genericidad, reexividad y modalidad: Una visin del continuo y la arquitectnica o o pragmtica peirceana desde la lgica matemtica del siglo XX, Universia o a dad Nacional de Colombia, Facultad de Ciencias, Bogot. a 17

Memorias XIII Encuentro de Geometr y I de Aritmtica a e

Sitios en Internet. http://members.door.net/arisbe/arisbe.htm Principal sitio de estudios peirceanos. http://www.iupui.edu/ peirce/web/index.htm Sitio de la edicin completa. o http://www.unav.es/gep/ Mayor sitio peirceano en espaol. n Arnold Oostra Departamento de Matemticas y Estad a stica, Universidad del Tolima, A A 546, Ibagu, COLOMBIA oostra@bunde.tolinet.com.co e

18