Axiom A Tizac I Ones

PEANO, LAWVERE, PEIRCE: TRES AXIOMATIZACIONES DE LOS NUMEROS NATURALES
LINA MAR IA BEDOYA MEJ IA
UNIVERSIDAD DEL TOLIMA FACULTAD DE CIENCIAS IBAGUE 2003
PEANO, LAWVERE, PEIRCE: TRES AXIOMATIZACIONES DE LOS NUMEROS NATURALES
LINA MAR IA BEDOYA MEJ IA
Trabajo de grado para optar al t tulo de Profesional en Matem atica con enfasis en Estad stica
Director M. Sc. ARNOLD OOSTRA Profesor del Departamento de Matem aticas y Estad stica
UNIVERSIDAD DEL TOLIMA FACULTAD DE CIENCIAS IBAGUE 2003
Contenido
Introducci on 1 La axiomatizaci on de Peano 1.1 1.2 1.3 Presentaci on de los n umeros naturales por Peano . . . . . . . Axiomatizaci on de los n umeros naturales seg un Peano . . . . . Las operaciones y sus propiedades . . . . . . . . . . . . . . . . v 1 1 5 6 10
2 La axiomatizaci on de Lawvere 2.1 2.2 2.3
El objeto n umeros naturales introducido por Lawvere . . . . 10 Axiomatizaci on de los n umeros naturales seg un Lawvere . . . 13 Lawvere vs. Peano . . . . . . . . . . . . . . . . . . . . . . . . 14 2.3.1 2.3.2 De Lawvere a Peano . . . . . . . . . . . . . . . . . . . 14 De Peano a Lawvere . . . . . . . . . . . . . . . . . . . 17 19 . . . . . . . . 23
3 La axiomatizaci on de Peirce 3.1 3.2 3.3 3.4 Contenido del art culo On the Logic of Number
Acerca de Charles S. Peirce . . . . . . . . . . . . . . . . . . . 19 Axiomatizaci on de los n umeros naturales seg un Peirce . . . . . 26 Las operaciones y sus propiedades . . . . . . . . . . . . . . . . 26 28
4 Peirce vs. Peano 4.1 4.1.1
Equivalencia entre las axiomatizaciones . . . . . . . . . . . . . 28 De Peano a Peirce . . . . . . . . . . . . . . . . . . . . 29 iii
CONTENIDO 4.1.2 4.2 4.3
iv De Peirce a Peano . . . . . . . . . . . . . . . . . . . . 31
Comparaci on conceptual de las axiomatizaciones . . . . . . . . 33 Contextos categ oricos para la equivalencia . . . . . . . . . . . 34 36 53
5 Traducci on de On the Logic of Number Bibliograf a
Introducci on
En algunos textos aristot elicos, como el Organon , se propone el m etodo axiom atico como el m as adecuado para elevar determinado conjunto de proposiciones al rango de ciencia. En este m etodo se quiere hacer descender todas las proposiciones de algunas primitivas, llamadas axiomas del sistema deductivo. Bajo esta perspectiva, la primera ciencia es la geometr a, pues sus enunciados fueron recopilados y organizados de manera deductiva por Euclides hacia el a no 300 antes de Cristo, en el texto matem atico m as c elebre de todos los tiempos: Elementos. Aunque en este documento se utilizaron algunos axiomas no formulados y aparecen algunos razonamientos l ogicamente incorrectos, Elementos abri o un camino hacia la formalizaci on de la geometr a. El trabajo de la axiomatizaci on de la geometr a concluye en 1899 cuando el matem atico alem an David Hilbert publica Fundamentos de la Geometr a, que contiene un sistema completo de axiomas para la geometr a euclidiana. Pero Hilbert va m as lejos, empleando su axiomatizaci on para basar la con sistencia de su sistema en la consistencia de la aritm etica. Esta es la llamada aritmetizaci on de la geometr a. En la misma epoca los trabajos de Weierstrass, basados en los de Cauchy, hab an logrado la aritmetizaci on del an alisis en el sentido de que es posible construir el sistema de los n umeros reales (espacio natural del c alculo o an alisis) a partir de los n umeros naturales. En el c rculo de estudiosos y acionados a las matem aticas se acepta de manera generalizada que el sistema de los n umeros naturales fu e axiov
INTRODUCCION
vi
matizado en 1889 por el matem atico italiano Giuseppe Peano en el texto Arithmetices Principia Nova Methodo Exposita y, aunque no es un hecho tan conocido, se acepta que ella se basa en trabajos anteriores de Richard Dedekind. Lo que se ignora de manera casi universal es que varios a nos antes el norteamericano Charles S. Peirce public o un sistema completo de axiomas para los n umeros naturales. Charles S. Peirce est a siendo reconocido como el cient co, l osofo y humanista m as brillante y vers atil de Am erica. Sus aportes a la l ogica y a la losof a revolucionaron estas ciencias. En la primera mitad de la d ecada de los 80 (del siglo XlX), vinculado a la Universidad Johns Hopkins, produjo una serie genial de trabajos en matem aticas entre los que se cuenta el art culo On the Logic of Number (1881), que incluye -entre otras ideas- una axiomatizaci on de la aritm etica. Por m ultiples razones, desde personales hasta epistemol ogicas, la obra de Peirce no recibi o desde el comienzo la atenci on que merec a. Pas o un siglo antes de que este inmenso legado empezara a estudiarse con profundidad, no s olo por los l osofos sino tambi en por algunos matem aticos. Cada fragmento de la obra de Peirce, por particular que parezca, merece un estudio cuidadoso. Aunque los trabajos sobre el legado peirceano se han multiplicado en las u ltimas d ecadas, en especial desde el punto de vista de la losof a, los trabajos en la matem atica de Peirce son a un muy escasos, a un a nivel mundial. En Colombia, aparte de un grupo de l osofos estudiosos de Peirce pueden destacarse los aportes del matem atico Fernando Zalamea. En particular, sobre la axiomatizaci on de los n umeros naturales propuesta por Peirce s olo se conoce un estudio: una tesis de doctorado en losof a presentada por Paul Shields en Nueva York en 1981. En 1945 nace la teor a de categor as, una manera completamente novedosa de ver la matem atica. Uno de sus mayores impulsadores, el norteamericano F. William Lawvere, tradujo los axiomas de Peano al lenguaje categ orico obteniendo la noci on de objeto n umeros naturales, bastante empleada en
INTRODUCCION ese contexto. Esa axiomatizaci on no es muy conocida.
vii
En este trabajo se hace una extensa presentaci on de las axiomatizaciones mencionadas antes, haciendo especial enfasis en la de Peirce, y se dan indicaciones acerca de la equivalencia de estos tres sistemas. En el cap tulo 1 se revisa la axiomatizaci on de los n umeros naturales debida a Peano; en el cap tulo 2 se presenta la axiomatizaci on de Lawvere y se estudia su equivalencia con la de Peano. En el cap tulo 3 se rese na con detalle el art culo On the Logic of Number, que contiene la axiomatizaci on de los n umeros naturales debida a Peirce; en el cap tulo 4 se discute la equivalencia de las axiomatizaciones de Peano y de Peirce. El cap tulo 5 es la traducci on al espa nol del art culo On the Logic of Number. El material contenido en los cap tulos 1 y 2 aparece en la bibliograf a disponible de temas anes, aunque esta presentaci on es original. La rese na del cap tulo 3 y la prueba de equivalencia en el cap tulo 4 son aportes originales mientras el cap tulo 5 es, hasta donde se sabe, la primera traducci on al espa nol de esta art culo de C. S. Peirce.
Cap tulo 1 La axiomatizaci on de Peano

La m as conocida axiomatizaci on de los n umeros naturales, contenida en el escrito Arithmetices Principia Nova Methodo Exposita del italiano Giuseppe Peano, se presenta en este cap tulo en forma detallada, al igual que la forma mas moderna de la axiomatizaci on, la denici on de las operaciones y sus propiedades debidamente demostradas.
1.1
Presentaci on de los n umeros naturales por Peano
Adem as de ser, junto con la astronom a, las ciencias m as antiguas, la geometr a y la aritm etica han sido consideradas desde los pitag oricos los pilares fundamentales del edicio de la matem atica. La axiomatizaci on de la geometr a fu e un proceso muy largo, que aunque iniciado mucho antes, se materializ o por primera vez en el trabajo Elementos [5], de Euclides, unos 300 a nos antes de Cristo. Durante el siglo XlX, sin duda con el impulso de la aparici on de las geometr as no euclidianas, se multiplicaron los esfuerzos por axiomatizar la geometr a, empe no culminado nalmente en 1899 con la publicaci on de Fundamentos de la Geometr a, de David Hilbert [3]; tambi en
DE PEANO CAP ITULO 1. LA AXIOMATIZACION
se presentaron varias axiomatizaciones de la aritm etica o, con m as precisi on, de los n umeros naturales. Sin lugar a dudas, la m as conocida es la que present o el matem atico italiano Giuseppe Peano (1858-1932) por primera vez en 1889 en un peque no libro publicado en Tur n, titulado Arithmetices Principia Nova Methodo Exposita [10]. Este texto incluye sus famosos axiomas, pero m as que un texto de aritm etica, este documento contiene una introducci on a la l ogica en la cual se presentan por primera vez los s mbolos actuales para representar la pertenencia, la existencia, la contenencia (en la actualidad es invertido, acorde con el de los n umeros) y para la uni on y la intersecci on. Peano reconoce hacer uso de estudios de otros autores: en 1888 despu es de estudiar a G. Boole, E. Schr oder, C. S. Peirce y otros, estableci o una analog a entre operaciones geom etricas y algebraicas con las operaciones de la l ogica; en aritm etica menciona el trabajo de Dedekind [4] publicado el a no anterior -reconocido de manera generalizada como la primera axiomatizaci on de la aritm etica, aunque sali o a la luz 7 a nos despu es del art culo de Peircey un texto de Grassmann de 1861. Este u ltimo libro posiblemente fu e fuente de inspiraci on tanto para Peano y Dedekind como para Peirce. Arithmetices Principia, escrito en lat n, es el primer intento de Peano para lograr una axiomatizaci on de las matem aticas en un lenguaje simb olico. Consiste en un prefacio y 10 secciones: 1. N umeros y Adici on 2. Sustracci on 3. M aximos y M nimos 4. Multiplicaci on 5. Potenciaci on 6. Divisi on
DE PEANO CAP ITULO 1. LA AXIOMATIZACION 7. Teoremas varios 8. Razones de N umeros 9. Sistemas de Racionales e Irracionales 10. Sistemas de Cantidades
Desarrolla en extenso el primero; en el segundo, cuarto, quinto y sexto s olo da explicaciones y deniciones omitiendo los teoremas, los otros los deja de lado. Sus estudiantes completaron la tarea, una versi on alemana de E. Landau tiene todos los detalles. Usa la l ogica de Boole y Schr oder e introduce innovaciones: por ejemplo, usa diferentes s mbolos para las operaciones l ogicas y matem aticas, distingue entre las proposiciones categ oricas y condicionales y formula una teor a de cuanticaci on (estas fueron innovaciones relativas a Boole y Schr oder - no a Frege, cuyo trabajo Peano no conoc a en ese tiempo). La parte l ogica de la obra presenta f ormulas del c alculo proposicional, del c alculo de clases y teor a de cuanticaci on. Introduce nociones y f ormulas l ogicas para reescribir la aritm etica en notaci on simb olica, que sirve para tratar tambi en con fracciones, n umeros reales, incluso la noci on de l mite y deniciones en la teor a de conjuntos. Las f ormulas son listadas, pero no derivadas pues no posee reglas de inferencia. Prueba una lista de f ormulas, cada una relacionada con la siguiente, pero no son pruebas formales. La ausencia de una regla de eliminaci on parece estar vinculada con la inadecuada interpretaci on del condicional, el lee a b como de a uno deduce b, lo cual permanece vago; no usa los valores de verdad. A continuaci on se hace una presentaci on muy resumida de la primera parte del libro de Peano (v ease tambi en [13]). En el prefacio se introduce una gran cantidad de notaci on l ogica. El 1 comienza con las explicaciones siguientes.
DE PEANO CAP ITULO 1. LA AXIOMATIZACION El s mbolo N signica n umero (entero positivo). El s mbolo 1 signica unidad. El s mbolo a + 1 signica el sucesor de a, o, a m as 1. El s mbolo = signica es igual a.
En seguida se enuncian los axiomas. En esta presentaci on s olo se ha modicado la notaci on l ogica. 1. 1 N 2. Si a N entonces: a = a 3. Si a N entonces: a = b si y s olo si b = a 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 N entonces: a = b si y s olo si a + 1 = b + 1 8. Si a N entonces: a + 1 = 1 9. Si k es una clase, 1 k , y si para x N : x k implica x + 1 k , entonces N k . Los axiomas 2, 3, 4 y 5, que se reern a la igualdad, hoy se consideran pertenecientes a la l ogica fundamental. Los restantes cinco axiomas son conocidos como los axiomas de Peano. El u ltimo axioma, es una traducci on del principio de inducci on matem atica, est a formulado en t erminos de clases y contiene una clase variable k (en la presentaci on de Peano aparece tambi en una clase de todas las clases, K ).
Peano reconoce el aporte de Dedekind y Grassmann en la parte aritm etica; en cuanto a Frege, Peano conoci o su trabajo despu es de la publicaci on de Arithmetices Principia. Introduce la adici on, multiplicaci on y potenciaci on como deniciones; estas deniciones son recursivas, pero en su sistema no hay manera de justicar tales deniciones. No arm o expl citamente que esas deniciones eran eliminables, pero tampoco satisfacen sus propios criterios, es decir, que el lado derecho de una denici on es un agregado de signos que tienen un signicado conocido. En 1931, Kurt G odel prob o que el sistema de Peano es incompleto, esto es, all hay armaciones que no se pueden demostrar ni refutar.
1.2
Axiomatizaci on de los n umeros naturales seg un Peano
Como se indic o, en la actualidad varios de los axiomas de Peano se consideran axiomas o propiedades l ogicas. En esta secci on se hace una presentaci on m as moderna de la axiomatizaci on de Peano, se puede ver con facilidad que es equivalente a la original. T erminos: Un conjunto, N ; una funci on, , de N en N ; una constante, 1, en N . Axiomas: 1. es inyectiva 2. 1 no pertenece al recorrido de 3. Si un subconjunto S N satisface 1S para cada n N , si n S entonces (n) S entonces S = N
1.3
Las operaciones y sus propiedades
Ahora se denen las operaciones aritm eticas y se prueban sus propiedades fundamentales. Aunque las deniciones son, en esencia, las mismas dadas por Peano, aqu se emplea la axiomatizaci on resumida de la secci on 1.2. Denici on. La operaci on adici on, denotada +, se dene en N por recurrencia as . x + 1 = (x) x + (y ) = (x + y ) El elemento x + y se llama suma de x e y . Propiedad 1.3.1 (Cancelativa de la adici on). a = b si y s olo si a + c = b + c. Demostraci on. Por inducci on sobre c. Como es una funci on inyectiva (axioma 1), a = b si y s olo si (a) = (b); por denici on, esto es a + 1 = b + 1. Sup ongase que a = b si y s olo si a + n = b + n. Siendo inyectiva, a + n = b + n si y s olo si (a + n) = (b + n); por denici on, esto es a + (n) = b + (n). De esta manera tambi en a = b si y s olo si a + (n) = b + (n). Propiedad 1.3.2 (Asociativa de la adici on). (a + b) + c = a + (b + c) Demostraci on. Por inducci on sobre c. Por denici on (a + b) + 1 = (a + b) = a + (b) = a + (b + 1). Si (a + b) + n = a + (b + n) entonces (a + b) + (n) = ((a + b) + n) = (a + (b + n)) = a + (b + n) = a + (b + (n)). Propiedad 1.3.3 (Conmutativa de la adici on). a+b=b+a
DE PEANO CAP ITULO 1. LA AXIOMATIZACION Demostraci on. Por inducci on sobre a.
El caso a = 1 se prueba, a su vez, por inducci on sobre b. Es claro que 1 + 1 = 1 + 1; si 1 + m = m + 1 entonces 1 + (m) = (1 + m) = (m + 1) = ( (m)) = (m) + 1. Si n + b = b + n entonces (n)+ b = (n +1)+ b = n +(1+ b) = n +(b +1) = (n + b) + 1 = (b + n) + 1 = (b + n) = b + (n). Propiedad 1.3.4. Si a, b N entonces a + b = a. Demostraci on. Por inducci on sobre a. El axioma 2 indica que (b) = 1 para cada b, es decir, 1 + b = b + 1 = (b) = 1. Si n + b = n entonces por el axioma 1 es (n + b) = (n), es decir, (n + b) + 1 = n + 1 de donde, por propiedades aritm eticas ya indicadas, (n + 1) + b = n + 1, esto es, (n) + b = (n). Propiedad 1.3.5. Si a N y a = 1 entonces existe b N tal que a = b + 1. Demostraci on. Esta prueba, por inducci on sobre a, es un ejemplo notable de un razonamiento estrictamente formal. Si 1 = 1 entonces existe b tal que 1 = b + 1. El antecedente de esta implicaci on es falso, luego la proposici on es verdadera. Si [ Si n = 1 entonces existe b tal que n = b + 1 ] entonces [ Si n + 1 = 1 entonces existe c tal que n + 1 = c + 1 ]. El consecuente de la segunda proposici on es verdadero de manera evidente (basta tomar c = n) luego esta proposici on es verdadera; la segunda proposici on es el consecuente de la proposici on completa, luego esta u ltima tambi en es verdadera. Propiedad 1.3.6. Si a, b N y a = b entonces existe p N tal que a + p = b o bien existe q N tal que a = b + q . Demostraci on. Por inducci on sobre b. Si a = 1, la propiedad 1.3.5 indica que existe q N tal que a = 1 + q .
Sup ongase que la proposici on es v alida para a = n. Ahora si a = n + 1 hay dos posibilidades: a = n o bien a = n. En el primer caso, existe 1 que satisface a + 1 = n + 1. En el segundo caso, la hip otesis inductiva presenta de nuevo dos opciones. Si a = n y existe p tal que a + p = n entonces es claro que a + (p + 1) = (a + p) + 1 = n + 1; si a = n y existe q tal que a = n + q , de a = n + 1 se sigue q = 1 y por la propiedad 1.3.5 existe r N tal que q = 1 + r, de donde a = n + q = n + (1 + r) = (n + 1) + r.
Denici on. La operaci on multiplicaci on, denotada sin s mbolo, se dene en N por recurrencia as . x1 = x x (y ) = xy + x El elemento xy se llama producto de x e y . Propiedad 1.3.7 (Distributiva a la derecha). (a + b)c = ac + bc Demostraci on. Por inducci on sobre c. Por denici on (a + b)1 = a + b = (a1) + (b1). Si (a + b)c = ac + bc entonces (a + b) (c) = (a + b)c + (a + b) = (ac + bc) + (a + b). Por propiedades de la adici on presentadas antes, (ac + bc) + (a + b) = (ac + a) + (bc + b) = a (c) + b (c). Propiedad 1.3.8 (Conmutativa de la multiplicaci on). ab = ba
DE PEANO CAP ITULO 1. LA AXIOMATIZACION Demostraci on. Por inducci on sobre a.
El caso a = 1 se prueba, a su vez, por inducci on sobre b. Es claro que (1)(1) = (1)(1); si 1m = m1 entonces 1 (m) = 1m + 1 = m1 + 1 = m + 1 = (m) = (m)1. Si nb = bn entonces (n)b = (n + 1)b = nb + 1b = bn + b1 = bn + b = b (n). Propiedad 1.3.9 (Distributiva a la izquierda). a(b + c) = ab + ac Demostraci on. Por propiedades anteriores se tiene a(b + c) = (b + c)a = ba + ca = ab + ac.
Propiedad 1.3.10 (Asociativa de la multiplicaci on). a(bc) = (ab)c Demostraci on. Por inducci on sobre c. Por denici on a(b1) = ab = (ab)1. Si a(bn) = (ab)n entonces a(b (n)) = a(bn+b) = a(bn)+ab = (ab)n+ab = (ab) (n).
Cap tulo 2 La axiomatizaci on de Lawvere

William Lawvere presenta lo que puede considerarse una nueva axiomatizaci on de la aritm etica, la traducci on de los axiomas de Peano al lenguaje categ orico. En el presente cap tulo se muestra esta nueva axiomatizaci on, algunos campos de la matem atica en los cuales se puede utilizar esta y la respectiva demostraci on de la equivalencia con el sistema de Peano.
2.1
El objeto n umeros naturales introducido por Lawvere
La construcci on siguiente es com un en matem aticas. Dado un conjunto X y una funci on f de este conjunto en s mismo, un elemento arbitrario a X genera una sucesi on, a saber a, f (a), f (f (a)), f (f (f (a))), . . . Si esta sucesi on se denota (sn ), sus t erminos pueden describirse por recurrencia como sigue. s0 = a sn+1 = f (sn ). 10
DE LAWVERE CAP ITULO 2. LA AXIOMATIZACION
11
Un lugar popular en matem aticas donde se usa esta sucesi on es la prueba de que toda funci on contractiva en un espacio m etrico completo tiene alg un punto jo. En efecto, si X es un espacio m etrico y la funci on f es contractiva, la sucesi on (sn ) es de Cauchy; si adem as el espacio es completo, ella converge a un l mite L. Este punto tiene la propiedad f (L) = L, es decir, es un punto jo de f . Otro contexto, cada vez m as popular, donde se emplea esta funci on es en el estudio de sistemas din amicos (m as o menos) ca oticos. Si X = R y f : R R es la funci on denida como f (x) = x(1 x), se toma a = 0.5 y se estudia el comportamiento de la sucesi on para valores distintos del par ametro . Cuando 0 < < 3, la sucesi on converge a un l mite; cuando sobrepasa un poco a 3, la sucesi on termina oscilando entre dos valores; en = 3.5 la sucesi on oscila entre cuatro valores; al aumentar el comportamiento es cada vez m as extra no. Esta dependencia fuerte que presenta el comportamiento global de una variaci on muy peque na en las condiciones iniciales, es la caracter stica distintiva de lo que se denomina caos. La teor a de categor as puede describirse, en primera instancia, como aquella que se ocupa de todo lo expresable mediante echas (morsmos) y diagramas conmutativos [1]. En el caso de la matem atica usual, se trata de ver las nociones no de manera anal tica (en t erminos de elementos) sino sint etica (en t erminos de funciones). William Lawvere, uno de los m as importantes forjadores e impulsadores de la teor a de categor as durante el siglo XX, observ o que es sencillo describir la sucesi on discutida arriba mediante echas y diagramas conmutativos. Una sucesi on en un conjunto X es una funci on s : N X . La condici on s(n + 1) = f (s(n))
12
puede expresarse como s( (n)) = f (s(n)) o como s (n) = f s(n), siendo : N N la funci on sucesor denida como (n) = n + 1. A su vez, la igualdad de funciones s = f s puede expresarse armando que el diagrama siguiente conmuta. N s
c
EN
s f
c EX
Por otra parte, un elemento de un conjunto arbitrario X puede verse como una funci on T X siendo T un conjunto unitario. Luego la condici on s(0) = a puede expresarse amando que el diagrama siguiente conmuta. N
0
T ad X
c d
Los dos diagramas conmutativos pueden integrarse en uno solo, como sigue. N T
0 d a d
EN
s
c
s f
c EX
Una terna (N, , 0) tal que para cualquier terna (X, f, a) existe un u nico s : N X que hace conmutativo este diagrama, es lo que Lawvere denomina un objeto n umeros naturales [7]. Se nota que en esta denici on solo intervienen echas y diagramas conmutativos, de manera que ella tiene sentido en contextos muy generales de la teor a de categor as. De hecho, la noci on de objeto n umeros naturales juega un papel importante en ciertos desarrollos recientes de esta teor a.
13
2.2
Axiomatizaci on de los n umeros naturales seg un Lawvere
La siguiente es una presentaci on concisa de la axiomatizaci on de Lawvere, con el mismo estilo empleado en la secci on 1.2. T erminos: Un conjunto, N ; una funci on, , de N en N ; una constante, 0, en N . Axioma: Para cualquier conjunto X con funci on f : X X y elemento a X , existe una u nica funci on s : N X tal que s(0) = a s = f s Esta axiomatizaci on se puede presentar con diagramas sucesivos, como sigue.
T 0E N E N T 0E
d a d d
! N X E N T
d
0E
E N s
EX
ad s
d c
EX
14
2.3
Lawvere vs. Peano
Probar la equivalencia entre dos sistemas axiom aticos consiste en lo siguiente: En cada una de las teor as deben denirse o interpretarse los t erminos de la otra y demostrarse los axiomas de la otra como teoremas. En las axiomatizaciones de los n umeros naturales por Peano y Lawvere los t erminos son los mismos (identicando el 0 de Lawvere con el 1 de Peano, lo cual no representa ning un problema de fondo para los axiomas), luego la equivalencia se prueba demostrando los axiomas de Peano en el sistema de Lawvere (o lo que es lo mismo, deduci endolos a partir del de Lawvere) y, a continuaci on, demostrando el axioma de Lawvere en la aritm etica de Peano.
2.3.1
De Lawvere a Peano
En este inciso, se asume la existencia de una terna N , , 0 que satisface el axioma indicado en la secci on 2.2. Armaci on 2.3.1. Si t : N N es una funci on que satisface t(0) = 0 y t = t entonces t = iN (funci on id entica en N). Demostraci on. Por el axioma, para el conjunto N con la funci on : N N y el elemento 0 N existe una u nica funci on s : N N con s(0) = 0 y s = s . N T
0 d 0 d
EN
s
c
s
c EN
Por hip otesis t(0) = 0 y t = t luego, siendo s u nica, es t = s. Por otro lado, iN (0) = 0 y iN = iN luego, siendo s u nica, es iN = s. Por lo tanto t = iN .
DE LAWVERE CAP ITULO 2. LA AXIOMATIZACION Propiedad 2.3.1. es inyectiva.
15
Demostraci on. Consid erese la funci on f : N N N N denida como f (m, n) = (n, (n)) y el elemento (0, 0) N N . Por el axioma, existe una funci on
s : N N N tal que s(0) = (0, 0) y s = f s. La funci on s tiene dos componentes, sea s(n) = (g (n), h(n)) donde g, h son funciones N N. N T (0, 0)d
0
EN
s
c
s = (g, h)
c E N N
f En primer lugar, (0, 0) = s(0) = (g (0), h(0)) luego: g (0) = 0,
N N
h(0) = 0.
En segundo lugar, s (n) = s( (n)) = (g ( (n)), h( (n))) = (g (n), h (n)) y f s(n) = f (s(n)) = f (g (n), h(n)) = (h(n), (h(n))) = (h(n), h(n)). As que g (n) = h(n) y h (n) = h(n) para cada n N , es decir, g = h, h = h.
Por la armaci on, de h(0) = 0, h = h se sigue h = iN . Luego g = iN y de aqu se concluye que es inyectiva: (p) = (q ) implica g (p) = g (q ), es decir, iN (p) = iN (q ) de donde p = q . Propiedad 2.3.2. 0 / (N ). Demostraci on. Para la prueba se escoge cualquier funci on f : X X que no sea sobreyectiva; por lo tanto, existe a X que no pertenece al recorrido f (X ), es decir, f (x) = a para todo x X . (Por ejemplo, se puede escoger X = {a, b} y f la funci on constante b.)
16
Por el axioma de Lawvere (secci on 2.2), existe una funci on s : N X con s(0) = a y f s = s.
Sup ongase ahora que 0 pertenece al recorrido de , es decir, (n) = 0 para alg un n N . Entonces tambi en s( (n)) = s(0); pero s( (n)) = f (s(n)) y s(0) = a. Luego f (s(n)) = a, lo cual contradice la elecci on f (x) = a para cada x. Luego 0 no pertenece al recorrido de . Propiedad 2.3.3. Si un subconjunto S N satisface 0S para cada n N , si n S entonces (n) S entonces S = N . Demostraci on. Por la segunda hip otesis la funci on puede restringirse a S . Es decir, existe la funci on restringida : S S denida como (n) = (n) para cada n S . Si j : S N denota la funci on inclusi on (j (n) = n para cada n S ) entonces j (n) = j ( (n)) = (n) = (j (n)) = j (n) para cada n S , es decir, j = j . Por el axioma de 2.2, para : S S y 0 S existe s : N S tal que s(0) = 0 y s = s. N
0 s
EN
s
c ES
T
d
c E S
d 0d j d c d
j
c EN
17
Ahora js(0) = j (s(0)) = j (0) = 0 y (js) = j (s ) = j (s) = (j )s = (j )s = (js). N T

0 d 0 d
EN
js
c
js
c EN
De las dos condiciones js(0) = 0 y (js) = (js), por la armaci on se sigue js = iN y de aqu se concluye que j es sobreyectiva: para cada r N existe s(r) N con j (s(r)) = js(r) = iN (r) = r. Siendo sobreyectiva la inclusi on j:S N se tiene S = N .
2.3.2
De Peano a Lawvere
Dada una funci on
Ahora se asumen v alidos los axiomas dados en 1.2.
f : X X y un elemento a X , se debe probar la existencia y unicidad de una funci on s : N X tal que s(0) = a y f s = s . Se dene la funci on s como sigue: s(0) = a Conocido s(n), se dene s( (n)) como f (s(n)) Armaci on 2.3.2. La funci on s est a denida en todo N . Demostraci on. Sea D el dominio de s. 1. 0 D porque se ha denido s(0) = a. 2. Sup ongase que n D, es decir, s(n) est a denido. Por construcci on, tambi en est a denido s( (n)) = f (s(n)) luego (n) D. Por el axioma 3 de la secci on 1.2, D = N .
DE LAWVERE CAP ITULO 2. LA AXIOMATIZACION Armaci on 2.3.3. La funci on s es u nica.
18
Demostraci on. Sea t : N X una funci on tal que t(0) = a, f t = t . Sea C el subconjunto de N donde s y t coinciden, C = {n N | s(n) = t(n)}. 1. 0 C porque s(0) = a y t(0) = a. 2. Sup ongase que n C , es decir, s(n) = t(n). Entonces s( (n)) = f (s(n)) = f (t(n)) = t( (n)) de manera que (n) C . Por el axioma 3 de 2.2, C = N luego s, t son iguales.
Cap tulo 3 La axiomatizaci on de Peirce

En el presente cap tulo se da una biograf a de Charles S. Peirce y una presentaci on de su art culo On the Logic of Number, en el cual axiomatiza los n umeros naturales y que aparece traducido en el cap tulo 5 de esta monograf a. A su vez se dene en t erminos actuales la axiomatizaci on de los n umeros naturales seg un Peirce, su denici on de las operaciones por recurrencia y las propiedades de estas operaciones.
3.1
Acerca de Charles S. Peirce
La gura de Peirce ha adquirido un gran relieve en diferentes campos de la cultura: l ogica, losof a, semi otica, astronom a, geodesia, matem aticas, teor a e historia de la ciencia, semi otica, econometr a y psicolog a. El inter es por el pensamiento de Peirce se ha incrementado de manera notable en los u ltimos a nos y ha llegado a ser considerado como el m as profundo y original pensador americano [14]. Charles Sanders Peirce, cient co, l osofo y humanista, es uno de los u ltimos cient cos universales; padre de la semi otica contempor anea, teor a los oca de la signicaci on y la representaci on; fund o el pragmatismo aut entico; redujo a un m nimo de tres las categorias ontol ogicas. 19
DE PEIRCE CAP ITULO 3. LA AXIOMATIZACION
20
Naci o en Cambridge (Massachusetts, Estados Unidos) el 10 de septiembre de 1839. Era hijo de Benjamin Peirce (1809-1880), reconocido matem atico y astr onomo, profesor de la Universidad de Harvard en Boston de cuya mano Charles estudi o, desde muy peque no, matem aticas, f sica y astronom a. Desde temprana edad Peirce mostr o su curiosidad por las ciencias y el conocimiento en general, tanto es as que con tan solo 12 a nos construye su propio laboratorio de qu mica. A trav es de la obra de Kant y de la losof a escocesa del sentido com un, se introdujo al estudio de la losof a y la l ogica, ramas en las que har a aportes relevantes. A los 20 a nos obtiene la Licenciatura en Matem aticas en la Universidad de Harvard y su Maestr a a los 23; m as tarde, en 1863, se grad ua en Qu mica en la misma Universidad. Dos a nos despu es comienza a trabajar como asistente de investigaci on en el Coast and Geodetic Survey de los Estados Unidos, actividad que desarroll o a lo largo de treinta a nos, dejando varias contribuciones tales como: la medici on de la tierra; la medici on del metro a partir de la longitud de onda de la luz; un mapa de proyecciones del globo terr aqueo usando funciones el pticas (proyecci on quincuncial); el desarrollo de m etodos para el c alculo del valor de la gravedad con el uso del p endulo; recorre Europa buscando las mejores condiciones para observar el eclipse de sol del 22 de diciembre de 1870. En Photometric Researches (1878), u nico libro publicado por Peirce, incluye otros estudios y resultados de investigaciones en estas ramas, art culos t ecnicos de l ogica, matem atica y metodolog a cient ca. Durante cinco a nos (1879-1884) ense n o l ogica en Johns Hopkins University, siendo este su u nico trabajo estable en una Universidad a pesar de su tenacidad y capacidad de trabajo. Debido a que era una persona de car acter extra no y de dif cil trato, no lleg o a desarrollar una carrera acad emica. Pero todo en la vida de Peirce no fu e estudio, tambi en hubo lugar para su vida sentimental, encontr andose a sus 23 a nos y durante 14 casado con una se norita de la alta sociedad de Cambridge; luego se une a quien lo acompa nar a hasta
21
el d a de su muerte, la actriz francesa Juliette Annette Pourtalais. En 1883 recibi o una cuantiosa herencia que le durar a solamente 10 a nos, quedando luego en la ruina y viviendo de la caridad p ublica hasta el 19 de abril de 1914, d a de su muerte. En 1887 se traslad o con su segunda esposa a Milford (Pensylvania), en donde se dedica a escribir acerca de l ogica y losof a, corrigi endose a s mismo con, seg un sus mismas palabras, la persistencia de la avispa dentro de una botella. Entre 1884 cuando fu e despedido de la Universidad Johns Hopkins y su muerte, Peirce escribi o la mayor parte de las 80.000 p aginas manuscritas que su esposa cedi o a la Universidad de Harvard. Aunque sus aportes m as reconocido est an en la losof a, no pueden pasarse por alto las enormes contribuciones a la l ogica y la matem atica [6, 9, 14], entre ellas: axiomatiz o el c alculo proposicional distinguiendo la implicaci on de la deducibilidad relacion andolas mediante un teorema de deducci on; anticip o calculos implicativos d ebiles y l ogicas trivalentes; propuso una notaci on homog enea para la totalidad de los conectivos binarios cl asicos y estudi o entre ellos los conectivos completos; desarroll o el c alculo de predicados, la teor a de cuanticadores y las formas normales; discuti o la noci on de conjunto, diversas deniciones de innito y las comparaciones cardinales; estudi o el continuo de manera original; desarroll o un sistema muy amplio de l ogica gr aca que permite, entre otros estudios, realizar deducciones formales de manera visual. El pensamiento de Peirce ha estado hasta ahora envuelto en una cierta oscuridad, ya que por un c umulo de razones de toda ndole, geogr acas, circunstanciales, personales, met odicas, conceptuales, fu e olvidado y marginado. El rechazo no termin o con su muerte pues sus manuscritos fueron relegados al olvido por mucho tiempo y cuando se hicieron esfuerzos por editar parte de ellos, los documentos fueron alterados y recortados. En 1907, William James arm o que los escritos de Peirce eran destellos de luz deslumbrante sobre un fondo de oscuridad tenebrosa. Hacia 1923, Morris R. Cohen publica la primera antolog a de textos de Peirce, Chance, Love and Logic, que incluye
22
un art culo de Dewey acerca de la originalidad y fecundidad del pensamiento de Peirce y una bibliograf a detallada; en este mismo a no se publica la c elebre obra de Ogden y Richards, The Meaning of Meaning que trajo la atenci on del p ublico sobre la semi otica de Peirce. Entre 1931 y 1935 se publicaron los 6 primeros vol umenes de Collected Papers (Harvard University Press) bajo la direcci on de Charles Hartshorne y Paul Weiss quienes menospreciaron los trabajos de Peirce desmembrando y mutilando su obra. Otros dos vol umenes aparecieron en 1958 bajo la direcci on de Arthur Burks. Durante la u ltima d ecada del siglo XX se ha puesto de maniesto la sistematicidad de su pensamiento y se iniciaron esfuerzos serios y cuidadosos por restaurar la obra y darle el lugar que se merece. Desde 1976 se desarrolla en la Universidad de Indiana el Peirce Edition Project, encaminado a producir la edici on completa y cronol ogica de los escritos de Peirce, proyectada para 30 vol umenes de los cuales solamente se han publicado 6. La obra de Charles Peirce se caracteriza por su extensi on y profundidad, debido a que a lo largo de su vida escribi o acerca de una gran variedad de temas, haciendo aportes de singular inter es en todas las areas que abord o. Dentro de la gran cantidad de escritos que produjo -muchos con el n de ganar dinero para sobrevivir- se incluyen art culos, conferencias, espacios en revistas y voces en diccionarios de losof a. El dif cil acceso a sus escritos, junto con el marcado car acter evolutivo de su pensamiento, han complicado la interpretaci on de su obra. En la tarea de recuperaci on del legado peirceano pueden distinguirse tres niveles: en primer lugar, es preciso leer a Peirce, abordar los temas presentes 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 con el contexto los oco global de la obra de Peirce; por u ltimo, la tarea m as dif cil pero a su vez fruct fera es la construcci on, las ideas presentes en el legado de Peirce deben desarrollarse y explotarse para avanzar en el planteamiento y
DE PEIRCE CAP ITULO 3. LA AXIOMATIZACION la soluci on de problemas abiertos importantes.
23
El escrito On the Logic of Number, de Charles S. Peirce, fu e publicado en 1881 en las p aginas 85 a 95 del volumen 4 de la revista The American Journal of Mathematics. Esto fue un a no despu es de la muerte de su padre; en el mismo volumen del American Journal apareci o una reimpresi on p ostuma del texto Linear Associative Algebra, de Benjamin Peirce, quiz as el m as destacado de sus escritos y el que comienza con la famosa denici on: La matem atica es la ciencia que obtiene conclusiones necesarias. Aparentemente, la intenci on de Peirce hijo era reforzar esta visi on de su padre acerca de la matem atica, mostrando que la aritm etica obtiene conclusiones necesarias [12]. A la saz on ya se hab a logrado la aritmetizaci on del an alisis y poco despu es se lograr a la de la geometr a, de suerte que como nunca antes la matem atica pod a verse como una teor a de conclusiones necesarias.
3.2
Contenido del art culo On the Logic of Number
Desde las primeras frases del escrito On the Logic of Number, el autor indica la intenci on de su cometido. Nadie puede poner en duda las propiedades elementales concernientes al n umero: las que no son maniestamente verdaderas a primera vista se verican mediante las demostraciones usuales. Pero aunque vemos que son verdaderas, no vemos tan f acilmente con precisi on por qu e son verdaderas; tanto es as que un l ogico ingl es de renombre ha abrigado la duda si ser an verdaderas en todo el universo. El objetivo de este art culo es mostrar que ellas son consecuencias estrictamente silog sticas de unas pocas proposiciones primarias [11].
24
En pocas palabras, el prop osito de Peirce es axiomatizar la aritm etica. En seguida el autor postula un t ermino relativo -lo que hoy se denomina una relaci on binaria- del cual pide, en primer lugar, que sea transitivo; luego, que sea (en terminolog a actual) reexivo; adem as que sea antisim etrico. A eso lo denomina un relativo fundamental de cantidad y al sistema obtenido, un sistema de cantidad. Esto se llama ahora una relaci on de orden y un conjunto (parcialmente) ordenado: seg un algunos historiadores este es el primer lugar en que aparecen as juntas estas conocidas deniciones. A continuaci on Peirce distingue entre sistema m ultiple, en el cual hay pares de elementos que no se relacionan entre s y sistema simple, que corresponde a un conjunto linealmente ordenado (o totalmente ordenado). Cabe anotar que Peirce, anterior al auge de la teor a de conjuntos y muy anterior a Bourbaki, por supuesto no habla de elementos: dice cantidades. Los sistemas simples a su vez los clasica 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 mayor que otro es sucesor inmediato de alg un elemento o, lo que es 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 un tenga m nimo y m aximo, o s olo uno, o ninguno de los dos. Para terminar su clasicaci on, Peirce arma que un sistema simple, discreto y no limitado (semi-limitado 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, cada uno hacia el sucesor inmediato. En otras palabras, si es cierto que todo elemento sucesor inmediato de cualquier integrante de cierta clase pertenece a la clase. O bien un sistema innito puede ser denido como uno en el que, del hecho de que una proposici on dada, si es v alida para alg un elemento entonces es v alida
25
para todo elemento mayor. Es, con toda exactitud, lo que hoy se conoce como el principio de inducci on. Luego Peirce cambia un poco las condiciones para estudiar un sistema simple, discreto, ilimitado, innito en ambas direcciones, lo que hoy se conoce como n umeros enteros. Aqu ya no existe un m nimo, pero cierto elemento se designa uno, 1, mientras su antecesor inmediato es el cero, 0. Los elemento mayores que cero constituyen un sistema simple, discreto, semi-limitado, innito en el cual es v alido todo el planteamiento denido anteriormente. Las deniciones de las operaciones al igual que sus propiedades demostradas, se extienden al sistema ilimitado. En la u ltima secci on del art culo da un uso nuevo a los n umeros reci en construidos. Dene una cuenta como una correspondencia biyectiva entre una clase y un segmento inicial de los n umeros naturales. Mediante una compleja demostraci on inductiva asegura que el n umero de n umeros 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 umero de elementos de cualquier conjunto nito. Arma luego que si un subconjunto de un conjunto nito posee tantos elementos como este conjunto, entonces es igual a el, lo cual ilustra con un modo de razonamiento frecuente en teor a de n umeros: Todo Texano mata un Texano, Nadie es muerto por m as de una persona, Por tanto, todo Texano es muerto por un Texano. De esta secci on pueden extraerse con facilidad dos nociones de conjunto nito precisadas de nuevo m as tarde en la historia de la matem atica, a saber: (a) Un conjunto es nito si est a en correspondencia biyectiva con un segmento inicial de los n umeros naturales. (b) Un conjunto es nito si no est a en correspondencia biyectiva con ning un subconjunto propio. De hecho, Peirce deduce (b) de (a).
26
3.3
Axiomatizaci on de los n umeros naturales seg un Peirce
Una presentaci on -con terminolog a y simbolog a actuales- de la axiomatizaci on para los n umeros naturales contenida en On the Logic of Number es la siguiente. T erminos: Un conjunto, N , y una relaci on binaria, R, en N . Axiomas: 1. R es un orden lineal en N 2. N posee elemento R-m nimo y no posee elemento R-m aximo 3. Todo elemento de N distinto del R-m nimo posee R-antecesor inmediato 4. 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
3.4
Las operaciones y sus propiedades
Asumidos los axiomas -sistema de cantidad simple, discreto, semi-limitado, innito- Peirce procede a dar algunas deniciones. El m nimo lo llama uno, 1. La suma x + y y el producto xy los dene por recursi on -de nuevo, seg un
27
algunos estudiosos esta es la primera vez que aparecen tales deniciones en matem aticas-: Si x 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 . Las deniciones de las operaciones pueden parafrasearse como sigue. Aunque Peirce no enuncia de manera expl cita estas igualdades, s las emplea varias veces en las pruebas de las propiedades. Obs ervese la equivalencia con las deniciones dadas por Peano. 1 + y = siguiente de y (1 + x) + y = 1 + (x + y ) 1y = y (1 + x)y = y + xy.
A continuaci on el autor prueba -por inducci on- las propiedades siguientes de las operaciones reci en denidas. Las demostraciones dadas por Peirce pueden consultarse en el cap tulo 5 (traducci on de On the Logic of Number ) y, de nuevo, son muy similares a las presentadas en la secci on 1.3. 1. (x + y ) + z = x + (y + z ) 2. x + y = y + x 3. (x + y )z = xz + yz 4. x(y + x) = xy + xz 5. (xy )z = x(yz ) 6. xy = yx
Cap tulo 4 Peirce vs. Peano

En este u ltimo cap tulo se elabora una comparaci on entre las axiomatizaciones de los n umeros naturales presentadas por C. S. Peirce y G. Peano. Un primer acercamiento, en el contexto de la l ogica cl asica, arroja la equivalencia formal de los sistemas resultando as tres axiomatizaciones equivalentes para los n umeros naturales. Pero al mirar mejor se vislumbran diferencias de fondo que deber an precisarse en contextos m as generales que la matem atica cl asica.
4.1
Equivalencia entre las axiomatizaciones
Como en la secci on 2.3, aqu se quiere probar la equivalencia entre los sistemas axiom aticos de Peirce y de Peano pero contrario a lo que sucede all , en este caso no todos los t erminos coinciden. El conjunto subyacente N s es el mismo luego no necesita mencionarse; en una direcci on es preciso denir la relaci on binaria y probar que satisface los axiomas indicados por Peirce (v ease la secci on 3.3); en el otro sentido debe precisarse la funci on y la constante, adem as de probar los axiomas de Peano (secci on 1.2).
28
CAP ITULO 4. PEIRCE VS. PEANO
29
4.1.1
De Peano a Peirce
Aunque Peano dene antes la sustracci on, en esencia su denici on de orden es la siguiente. Denici on. La relaci on R se dene para cada a, b N como sigue: a R b si a = b o existe p N tal que a + p = b. A continuaci on se verican los axiomas de Peirce para esta relaci on binaria. Teorema 4.1.1. La relaci on R es un orden lineal en N . Demostraci on. Sup ongase que a R b y b R c. Si en alguno de los dos casos se tiene la igualdad entonces se recibe a R c por sustituci on. En caso contrario, sean p, q N tales que a + p = b, b + q = c entonces a + (p + q ) = (a + p) + q = b + q = c, es decir, a R c. As que R es una relaci on transitiva. Por denici on a R a para cada a N , es decir, R es reexiva. Para probar el car acter antisim etrico de R, sup ongase por el contrario que existen elementos a, b N tales que a R b, b R a y a = b. Por la denici on, existen entonces p, q N con a + p = b y b + q = a de donde a + (p + q ) = (a + p) + q = b + q = a, lo cual contradice la propiedad 1.3.4 probada antes. Sean a, b elementos arbitrarios de N . Si a = b entonces a R b. Si a = b, por la propiedad 1.3.6 existe p N tal que a + p = b (es decir, a R b) o bien existe q N tal que b + q = a (esto es, b R a). Luego el orden R es lineal. Teorema 4.1.2. Con el orden R, N posee m nimo y no posee m aximo.
CAP ITULO 4. PEIRCE VS. PEANO Demostraci on.
30
Si a = 1 se tiene 1 R a. Si a = 1 entonces por la propiedad 1.3.5 existe b N tal que 1 + b = b + 1 = a, de donde 1 R a. As que 1 es el m nimo. Para cualquier a N , por denici on a R (a + 1) y (por la propiedad 1.3.4) a + 1 = a, luego a no es el m aximo. Teorema 4.1.3. Todo elemento de N distinto del m nimo posee antecesor inmediato respecto al orden R. Demostraci on. Si a = 1, por la propiedad 1.3.5 existe b N tal que a = b +1 luego b R a y adem as b = a pues, por la propiedad 1.3.4, b = b + 1. As b es antecesor estricto de a. Adem as b es antecesor inmediato de a pues no existe c N con b R c R (b + 1) y c = b, c = b + 1. Sup ongase, por el contrario, que s existe tal elemento c, entonces existen p, q N tales que c = b + p y b + 1 = c + q , de donde b + 1 = c + q = (b + p) + q = b + (p + q ). Pero 1 R p R (p + q ) con p = p + q (por la propiedad 1.3.4) luego tambi en p + q = 1 y, seg un la propiedad 1.3.5, existe r N tal que p + q = r + 1. Ahora b + 1 = b + (p + q ) = b + (r + 1) = (b + r) + 1, es decir, (b) = (b + r) de donde b = b + r (axioma 1 de 1.2). Lo cual es absurdo porque esta igualdad contradice la propiedad 1.3.4. Teorema 4.1.4. Sea S un subconjunto de N tal que si S contiene el antecesor inmediato de un elemento de N entonces tambi en contiene el elemento. Si k S entonces tambi en m S para todo m con k R m. Demostraci on. Ante todo, debe observarse en la prueba del teorema precedente que el antecesor de un elemento a = 1 es el ( unico) elemento b tal que a = b + 1 = (b). En consecuencia, la condici on Si S contiene el antecesor
31
inmediato de un elemento de N entonces tambi en contiene el elemento es equivalente a: Si n S entonces (n) S . Si k = 1, por el axioma 3 se tiene S = N , es decir, m S para todo m con 1 R m. Si k = 1, por la propiedad 1.3.5 existe j N tal que k = j + 1 y se escoge un nuevo subconjunto S como sigue. S = {i N j + i S } Puesto que k = j + 1 y k S , es claro que 1 S . Si n S entonces j + n S de donde, por la observaci on de arriba, (j + n) S pero (j + n) = (j + n) + 1 = j + (n + 1) = j + (n) luego la pertenencia anterior signica (n) S . Por el axioma 3 es S = N . Sea ahora m N con k R m. Si m = k entonces m S porque, por hip otesis, k S . Si k = m, existe p N tal que k + p = m de donde m = (j + 1) + p = j + (1 + p). Pero 1 + p N = S luego j + (1 + p) S , es decir, m S .
4.1.2
De Peirce a Peano
En la axiomatizaci on de los n umeros naturales por Peirce (secci on 3.3) s olo se hace referencia a antecesores inmediatos, pero no es dif cil garantizar la existencia de sucesores. Teorema 4.1.5. Todo elemento tiene un u nico sucesor inmediato. Demostraci on. Sup ongase que alg un elemento x no posee sucesor inmediato. Esto implica que no existe ning un elemento cuyo antecesor inmediato es x y que el conjunto unitario S = { x } satisface la condici on para cada n, si S contiene el antecesor inmediato de n entonces contiene a n, por cuanto no hay ning un elemento n cuyo antecesor inmediato sea x. Por el axioma 4 de 3.3, de x S se sigue que S contiene todos los sucesores de x; como S es unitario, el u nico sucesor de x es el mismo x, es decir, x es un elemento
32
maximal; como el orden es lineal, x es el elemento m aximo. Lo cual contradice el axioma 2. As , todo elemento posee sucesor inmediato. Puesto que el orden es lineal, el sucesor inmediato es u nico. Ahora es posible introducir los t erminos de la axiomatizaci on de Peano. Deniciones. La funci on : N N se dene para cada elemento x N como (x) = sucesor inmediato de x. La constante 1 es el m nimo de N . A continuaci on se verican los axiomas de Peano. Teorema 4.1.6. La funci on es inyectiva. Demostraci on. Puesto que el orden es lineal, dos elementos con el mismo sucesor inmediato son iguales. Teorema 4.1.7. El elemento 1 no pertenece al recorrido de . Demostraci on. El elemento m nimo no puede ser sucesor inmediato de ning un elemento. Teorema 4.1.8. Si un subconjunto S N satisface 1S para cada n N , si n S entonces (n) S entonces S = N . Demostraci on. Sea S un subconjunto que satisface las condiciones indicadas. Si S contiene el antecesor inmediato m de un elemento n, seg un la hip otesis tambi en contiene a (m); pero (m) = (sucesor inmediato de m) = n; as
33
S contiene a todo elemento cuyo antecesor inmediato pertenezca a S . Por el axioma 4 esto implica que S contiene todo sucesor de cada uno de sus elementos. Ahora de 1 S se sigue que para cada p N con 1 p se tiene p S . Siendo 1 el m nimo, esto signica S = N .
4.2
Comparaci on conceptual de las axiomatizaciones
En esta secci on se intenta plantear y precisar un problema inspirado en los cap tulos anteriores y, en particular, en la secci on 4.1. Las siguientes son algunas observaciones que surgen de una comparaci on supercial de los sistemas de axiomas presentados por Peirce y Peano. Es claro que los axiomas de Peano son mucho m as elegantes y concisos que los de Peirce. A un si se expresan con la notaci on actual de la teor a de los conjuntos, como en la secci on 3.3, estos u ltimos tampoco tienen la aptitud para el manejo matem atico y algebraico que tienen los primeros. Por otra parte, los t erminos de la axiomatizaci on de Peano aparecen de manera muy articial. Aunque es un caso particular abarcado por la teor a de modelos y el algebra universal, la estructura (Conjunto, Endof uncio n) no es usual en matem aticas. La presentaci on de Peirce, en cambio, es contextual y natural. Se inicia con una noci on muy com un en matem aticas y se empiezan a a nadir condiciones que van restringiendo el universo de posibilidades hasta que en la intersecci on queda un solo objeto, precisamente el que se quer a axiomatizar. En este caso se comienza con una relaci on, mientras las condiciones requeridas son: relaci on binaria, transitiva, de orden, lineal, con m nimo y sin m aximo, con antecesores, inductivo... El hecho de tratarse de una funci on en un caso y de una relaci on en el otro, parece esconder una diferencia m as profunda entre las axiomatizaciones
34
de Peano y de Peirce, diferencia oculta o ahogada en la demostraci on formal de la equivalencia. As se plantea el problema de detectar y explicitar las diferencias de fondo (si las hay) entre estas axiomatizaciones.
4.3
Contextos categ oricos para la equivalencia
En esta secci on se indica un posible camino en la soluci on del problema planteado en la secci on precedente. Una forma de encontrar las diferencias entre dos sistemas es recorrer un espectro amplio de contextos posibles en los cuales ellos dos son expresables y comparables. Tal haz de contextos lo provee la ya mencionada teor a de categor as. Desde un punto de vista m as conceptual, es una ciencia que puede pensarse como un lenguaje universal y sint etico para la matem atica, que permite verla de una forma esencialmente distinta pues cambia el lenguaje interno, anal tico, atomista de la teor a de conjuntos por un lenguaje externo, sint etico, libre. La teor a de categor as no mira lo que hay dentro de los objetos sino analiza las relaciones entre los mismos. La libertad del lenguaje sint etico hace ver relaciones y similitudes entre conceptos que con la visi on conjuntista ni siquiera eran pensadas, lo cual se ha comprobado de manera efectiva en varios casos concretos. Por ejemplo, con la teor a de categor as se pudo demostrar que la construcci on de los n umeros reales mediante cortaduras de Dedekind es esencialmente distinta a la construcci on mediante sucesiones de Cauchy, si bien en el contexto restringido de la teor a de conjuntos cl asica dan el mismo resultado porque all solo existe un campo ordenado y completo. Demostrar con la teor a de categor as que hay una diferencia esencial entre las axiomatizaciones de los n umeros naturales dadas por Peano y Peirce consistir a en encontrar alguna categor a en las cuales los correspondientes
CAP ITULO 4. PEIRCE VS. PEANO objetos n umeros naturales no son isomorfos.
35
Puede considerarse que el objeto n umeros naturales de Lawvere es la traducci on al lenguaje categ orico de los axiomas de Peano, pues los t erminos son los mismos. Falta encontrar una traducci on al mismo lenguaje de los axiomas de Peirce, para luego empezar a recorrer un espectro de posibilidades en b usqueda de un contexto apropiado para ver las diferencias. El problema concreto que se plantea, y que en este trabajo se deja abierto, es: traducir la axiomatizaci on de Peirce al lenguaje de las echas.
Cap tulo 5 Traducci on de On the Logic of Number
36
Sobre la L ogica del N umero

Charles S. Peirce
Nadie puede poner en duda las propiedades elementales concernientes al n umero: las que no son maniestamente verdaderas a primera vista se verican mediante las demostraciones usuales. Pero aunque vemos que son verdaderas, no vemos tan f acilmente con precisi on por qu e son verdaderas; tanto es as que un l ogico ingl es de renombre ha abrigado la duda si ser an verdaderas en todo el universo. El objetivo de este art culo es mostrar que ellas son consecuencias estrictamente silog sticas de unas pocas proposiciones primarias. La cuesti on acerca del origen l ogico de estas u ltimas, que aqu considero como deniciones, requerir a una discusi on aparte. En mis pruebas me veo obligado a emplear la l ogica de relativos, en la cual las formas de inferencia no son, en un sentido estricto, reducibles a silogismos ordinarios. Sin embargo ellas son de la misma naturaleza, siendo simplemente silogismos en los cuales los objetos referidos son parejas o triplas. Su validez no depende de otras condiciones que aquellas de las cuales depende la validez del silogismo simple excepto la suposici on de la existencia de singularidades, que no es requerida por el silogismo. Conf o que la selecci on de proposiciones probadas ser a suciente para mostrar que todas las dem as podr an ser probadas con m etodos similares. Sea r cualquier t ermino relativo, de manera que de una cosa puede decirse que es r de otra y que la u ltima es r-afectada por la primera. Si en cierto sistema de objetos, todo lo que sea r de un r de cualquier cosa es, el mismo, 37
DE ON THE LOGIC OF NUMBER CAP ITULO 5. TRADUCCION
38
r de esa cosa, entonces se dice que r es un relativo transitivo en ese sistema. (Relativos como amantes de cualquier cosa amada por son transitivos.) En un sistema en el cual r es transitivo, sup ongase que los q de cualquier cosa incluyen esa misma cosa y asimismo cualquier r de ella que no est e r-afectada por ella. Entonces q puede llamarse un relativo fundamental de cantidad, siendo sus propiedades: primera, que es transitivo; segunda, que cualquier cosa en el sistema es q de s mismo y tercera, que nada es a la vez q de y q -afectada por cualquier cosa excepto ella misma. Los objetos de un sistema con un relativo fundamental de cantidad se llaman cantidades y el sistema se llama un sistema de cantidad. Un sistema en el cual ciertas cantidades pueden ser q de o q -afectadas por la misma cantidad sin ser la una q de o q -afectada por la otra, se llama m ultiple;1 un sistema en el cual de cada dos cantidades alguna es q de la otra se denomina simple. Cantidad Simple. En un sistema simple toda cantidad es o bien tan grande como o bien tan peque na como cualquier otra; cualquier cosa que sea tan grande como algo que a su vez es tan grande como una tercera cosa, es esta misma tan grande como esa tercera, y ninguna cantidad es a la vez tan grande como y tan peque na como alguna otra, excepto s misma. Un sistema de cantidad simple es continuo, discreto o mixto. Un sistema continuo es uno en el que cualquier cantidad mayor que otra, es tambi en mayor que alguna cantidad intermedia, mayor que la otra. Un sistema discreto es uno en el que cualquier cantidad mayor que otra es el sucesor inmediato de alguna cantidad (esto es, mayor que esta sin ser mayor que ninguna otra mayor que ella). Un sistema mixto es uno en el cual algunas cantidades
Por ejemplo en el algebra ordinaria de imaginarios, dos cantidades pueden resultar ambas de la adici on de cantidades de la forma a2 + b2 i a la misma cantidad, sin estar ninguna en esta relaci on con la otra.
1
39
mayores que otras son sucesoras inmediatas, mientras algunas son continuamente mayores que otras cantidades. Cantidad Discreta. Un sistema simple de cantidad discreta es limitado, semi-limitado o ilimitado. Un sistema limitado es aquel que tiene una cantidad m axima absoluta y una m nima absoluta; un sistema semi-limitado tiene una pero no la otra (generalmente se considera la m nima); un sistema ilimitado no tiene ninguna. Un sistema simple, discreto, ilimitado en la direcci on de crecimiento o decrecimiento, es en esta direcci on innito o super-innito. Un sistema innito es aquel en el que cualquier cantidad mayor que x puede ser alcanzada de x por pasos sucesivos hacia el sucesor (o antecesor) inmediato. En otras palabras, un sistema innito, discreto, simple es uno en el que, si el sucesor inmediato de una cantidad alcanzada tambi en es accesible, entonces cualquier cantidad mayor que una alcanzada es accesible; y por la clase de cantidades obtenidas se entiende cualquier clase que satisfaga estas condiciones. As , podr amos decir que una clase innita es una en la cual si es cierto que toda cantidad que sucede inmediatamente a una cantidad de una clase dada pertenece tambi en a esa clase, entonces es cierto que toda cantidad mayor que una cantidad de esa clase pertenece a esa clase. Si la clase de n umeros en cuesti on est a constituida por todos los n umeros en los que una cierta proposici on es verdadera, entonces un sistema innito puede ser denido como uno en el que del hecho de que para cualquier proposici on, si es verdadera para alg un n umero, es verdadera para el sucesor inmediato, puede inferirse que si esta proposici on es cierta para alg un n umero, es cierta para todo n umero mayor. En un sistema super-innito esta proposici on, en sus diversas formas, es falsa.
DE ON THE LOGIC OF NUMBER CAP ITULO 5. TRADUCCION Cantidad Semi-innita.
40
Ahora procedemos a estudiar las proposiciones fundamentales de la cantidad semi-innita, discreta y simple, que es el n umero ordinario. Deniciones. El n umero m nimo se llama uno. Por x + y se entiende, en el caso x = 1, el sucesor inmediato de y ; y en los otros casos, el sucesor inmediato de x + y , donde x es el antecesor inmediato de x. Por x y se entiende, en el caso x = 1, el n umero y ; y en los otros casos y + x y , donde x es el antecesor inmediato de x. Puede notarse que los s mbolos + y son relativos ternarios, sus dos correlatos puestos uno antes y el otro despu es del s mbolo mismo. Teoremas. En todos los casos la prueba consistir a en mostrar, 1o , que la proposici on es verdadera para el n umero uno, y 2o , que si es verdadera para el n umero n, es verdadera para el n umero 1 + n, sucesor inmediato de n. Las diferentes transformaciones de cada expresi on se alinear an la una debajo de la otra en una columna, con las indicaciones de principios de transformaci on en otra columna. 1. A probar la ley asociativa de la adici on, (x + y ) + z = x + (y + z ) para cualesquier n umeros x, y y z . Primero, esto es verdadero para x = 1; porque
DE ON THE LOGIC OF NUMBER CAP ITULO 5. TRADUCCION (1 + y ) + z
41
= 1 + (y + z ) por la denici on de la adici on, 2a cl ausula. Segundo, si es cierto para x = n, es cierto para x = 1 + n; esto es, si (n + y ) + z = n + (y + z ) entonces ((1 + n) + y ) + z = (1 + n) + (y + z ). Pues ((1 + n) + y ) + z = (1 + (n + y )) + z = 1 + ((n + y ) + z ) = 1 + (n + (y + z )) = (1 + n) + (y + z ) por la denici on de adici on: por la denici on de adici on: por hip otesis: por la denici on de adici on.
2. A probar la ley conmutativa de la adici on, x+y =y+x para cualesquier n umeros x y y . Primero, esto es cierto para x = 1 y y = 1, siendo en este caso una identidad expl cita. Segundo, si es verdadero para x = n y y = 1, es verdadero para x = 1 + n y y = 1, esto es, si n + 1 = 1 + n, entonces (1 + n) + 1 = 1 + (1 + n). Porque (1 + n) + 1 = 1 + (n + 1) = 1 + (1 + n) por la ley asociativa: por hip otesis.
As hemos probado que, para todo n umero x, x + 1 = 1 + x, o que x + y = y + x para y = 1. Ahora debe mostrarse que si esto es verdadero para y = n, es verdadero para y = 1 + n; esto es, si x + n = n + x
DE ON THE LOGIC OF NUMBER CAP ITULO 5. TRADUCCION entonces x + (1 + n) = (1 + n) + x. Ahora, x + (1 + n) = (x + 1) + n = (1 + x) + n = 1 + (x + n) = 1 + (n + x) = (1 + n) + x Luego la prueba est a completa. por la ley asociativa: como se acaba de ver: por la denici on de adici on: por hip otesis: por la denici on de adici on.
42
3. A probar la ley distributiva, primera cl ausula. La ley distributiva est a compuesta de dos proposiciones: 1a , 2a , (x + y )z = xz + yz x(y + z ) = xy + xz.
Ahora intentaremos probar la primera de estas. Primero, es cierta para x = 1. Pues (1 + y )z = z + yz = 1z + yz por la denici on de multiplicaci on: por la denici on de multiplicaci on.
Segundo, si es verdadera para x = n, es verdadera para x = 1 + n; esto es, si (n + y )z = nz + yz entonces ((1 + n) + y )z = (1 + n)z + yz . Porque ((1 + n) + y )z = (1 + (n + y ))z = z + (n + y )z = z + (nz + yz ) = (z + nz ) + yz = (1 + n)z + yz por la denici on de adici on: por la denici on de multiplicaci on: por hip otesis: por la ley asociativa de la adici on: por la denici on de multiplicaci on.
DE ON THE LOGIC OF NUMBER CAP ITULO 5. TRADUCCION 4. A probar la segunda proposici on de la ley distributiva, x(y + z ) = xy + xz. Primero, esto es verdadero para x = 1; porque 1(y + z ) =y+z = 1y + 1z por la denici on de multiplicaci on: por la denici on de multiplicaci on.
43
Segundo, si es verdadero para x = n, es verdadero para x = 1 + n; esto es, si n(y + z ) = ny + nz , entonces (1 + n)(y + z ) = (1 + n)y + (1 + n)z . Pues (1 + n)(y + z ) = (y + z ) + n(y + z ) = (y + z ) + (ny + nz ) = (y + ny ) + (z + nz ) = (1 + n)y + (1 + n)z por la denici on de multiplicaci on: por hip otesis: por las leyes de la adici on: por la denici on de multiplicaci on.
5. A probar la ley asociativa de la multiplicaci on; esto es, que (xy )z = x(yz ) para cualesquier n umeros x, y y z . Primero, esto es verdadero para x = 1, porque (1y )z = yz = 1 yz por la denici on de multiplicaci on: por la denici on de multiplicaci on.
44
Segundo, si es verdadero para x = n, es verdadero para x = 1 + n; esto es, si (ny )z = n(yz ), entonces ((1 + n)y )z = (1 + n)(yz ). Porque ((1 + n)y )z = (y + ny )z = yz + (ny )z = yz + n(yz ) = (1 + n)(yz ) por la denici on de multiplicaci on: por la ley distributiva: por hip otesis: por la denici on de multiplicaci on.
6. A probar la ley conmutativa de la multiplicaci on, que xy = yx para cualesquier n umeros x y y . En primer lugar, probamos que esto es verdadero para y = 1. Para tal n, primero mostramos que es verdadero para y = 1, x = 1; y entonces que si es verdadero para y = 1, x = n, es verdadero para y = 1, x = 1 + n. Para y = 1 y x = 1, esta es una identidad expl cita. Ahora tenemos que mostrar que si n1 = 1n, entonces (1 + n)1 = 1(1 + n). Ahora, (1 + n)1 = 1 + n1 = 1 + 1n =1+n = 1(1 + n) por la denici on de multiplicaci on: por hip otesis: por la denici on de multiplicaci on: por la denici on de multiplicaci on.
Habiendo mostrado as que la ley conmutativa es verdadera para y = 1, procedemos a probar que si es verdadera para y = n, tambi en lo es para
45
y = 1 + n; esto es, si xn = nx, entonces x(1 + n) = (1 + n)x. Porque (1 + n)x = x + nx = x + xn = 1x + xn = x1 + xn = x(1 + n) por la denici on de multiplicaci on: por hip otesis: por la denici on de multiplicaci on: como ya probamos: por la ley distributiva.
Cantidad Discreta Simple Innita en ambas direcciones. Un sistema de n umeros innito en ambas direcciones no tiene m nimo, pero cierta cantidad se llama uno, y los n umeros tan grandes como este constituyen un sistema parcial de n umeros semi-innito, del cual este es m nimo. Las deniciones de adici on y multiplicaci on no requieren cambios, excepto que el uno debe entenderse en el nuevo sentido. Para extender las pruebas de las leyes de la adici on y la multiplicaci on a n umeros ilimitados, es necesario mostrar que si son verdaderas para alg un n umero (n + 1) entonces tambi en lo son para el antecesor inmediato n. Para este n podemos usar las mismas transformaciones que en la segunda cl ausula de la prueba anterior; s olo tenemos que hacer uso del siguiente lema. Si x + y = x + z entonces y = z , para cualesquier n umeros x, y y z . Primero, esto es verdadero para el caso x = 1, porque entonces y y z son ambos antecesor inmediato del mismo n umero. Por consiguiente, ninguno es m as peque no que el otro, de otro modo no podr a ser el antecesor inmediato de 1 + y = 1 + z . Pero en un sistema simple, de dos n umeros diferentes siempre alguno es m as peque no que el otro. De aqu que y y z son iguales. Segundo, si la proposici on es verdadera para x = n, es verdadera para x = 1 + n. Si (1 + n) + y = (1 + n) + z , entonces por la denici on de adici on
46
1 + (n + y ) = 1 + (n + z ); de donde se sigue que n + y = n + z , y, por hip otesis, que y = z . Tercero, si la proposici on es verdadera para x = 1 + n, es verdadera para x = n. Pues si n + y = n + z , entonces 1+ n + y = 1+ n + z , porque el sistema es simple. As la certeza de la proposici on ha sido probada para 1, para todo n umero mayor y para todo n umero menor, y por lo tanto es universalmente cierta. Una inspecci on de las pruebas anteriores de las propiedades de la adici on y la multiplicaci on para n umeros semi-innitos mostrar a que estas realmente se extienden a n umeros doblemente innitos por medio de la proposici on reci en probada. El antecesor inmediato de uno es llamado cero, 0. De manera simb olica, esta denici on puede expresarse como 1 + 0 = 1. Para probar que x + 0 = x, sea x el antecesor inmediato de x. Entonces, x+0 = (1 + x ) + 0 = (1 + 0) + x =1+x =x por la denici on de x : por las leyes de la adici on: por la denici on de cero: por la denici on de x .
A probar que x0 = 0. Primero, en el caso x = 1, la proposici on vale por la denici on de multiplicaci on. Adem as, si es verdadera para x = n tambi en es verdadera para x = 1 + n. Porque (1 + n)0 =10+n0 =10+0 =10 =0 por la ley distributiva: por hip otesis: por el u ltimo teorema: como antes.
Tercero, si la proposici on es verdadera para x = 1 + n entonces tambi en es
47
verdadera para x = n. Porque, cambiando el orden de las transformaciones, 1 0 + 0 = 1 0 = 0 = (1 + n)0 = 1 0 + n 0. Entonces por el lema mencionado, n 0 = 0, de suerte que la proposici on est a probada. Un n umero que sumado a otro da cero, se llama el negativo del u ltimo. A probar que todo n umero mayor que cero tiene un negativo. Primero, el antecesor inmediato de cero es el negativo de uno; pues por la denici on de adici on, uno m as este n umero es cero. Segundo, si un n umero cualquiera n tiene un negativo, entonces el sucesor inmediato de n tiene como negativo el antecesor del negativo de n. Porque sea m el antecesor inmediato del negativo de n. Entonces n + (1 + m) = 0. Pero n + (1 + m) = (n + 1) + m = (1 + n) + m por la ley asociativa de la adici on: por la ley conmutativa de la adici on.
As que (1 + n) + m = 0. Q.E.D. De aqu , todo n umero mayor que cero tiene un negativo y cero es el negativo de s mismo. A probar que (x)y = (xy ). Tenemos 0 = x + (x) 0 = 0y = (x + (x))y 0 = xy + (x)y (xy ) = (x)y por la denici on de negativo: por la pen ultima proposici on: por la ley distributiva: por la denici on de negativo.
El negativo del negativo de un n umero es ese n umero. Porque x + (x) = 0. De donde por la denici on de negativo x = (x).
DE ON THE LOGIC OF NUMBER CAP ITULO 5. TRADUCCION Cantidad Discreta Simple Limitada.
48
Un t ermino relativo c tal que todo c de cualquier cosa es el u nico c de esa cosa, y es un c s olo de esa cosa, se llama un relativo de correspondencia simple. En la notaci on de la l ogica de relativos, cc < 1, c c < 1.
Si todo objeto s de una clase est a en una relaci on tal, siendo c-afectado por un n umero de un sistema discreto simple semi-innito y si, adem as, todo n umero menor que un n umero c de un s es el mismo c de un s, entonces se dice que los n umeros c de los s los cuentan, y el sistema de correspondencia se llama una cuenta. En notaci on l ogica, poniendo g por tan grande como y n por un n umero entero positivo, s < c n g cs < cs.
Si en una cuenta hay un n umero m aximo, la cuenta se dice nita y ese n umero se llama el n umero de la cuenta. Si [s] denota el n umero de una cuenta de los s, entonces [s] < cs g cs < [s]
El relativo ser id entico con satisface la denici on de un relativo de correspondencia simple, y la denici on de una cuenta es satisfecha poniendo ser id entico con por c, y n umero entero positivo tan peque no como x por s. En este modo de contar, el n umero de n umeros tan peque nos como x es x. Sup ongase que en una cuenta cualquiera se halla que el n umero de n umeros tan peque nos como el n umero m nimo, uno, es n. Entonces, por la denici on de cuenta, todo n umero tan peque no como n cuenta un n umero tan peque no como uno. Pero por la denici on de uno s olo hay un n umero tan peque no como uno. Por lo tanto, por la denici on de correspondencia singular, ning un n umero diferente de uno cuenta a uno. Por lo tanto, por
49
la denici on de uno, ning un n umero diferente de uno cuenta un n umero tan peque no como uno. Por lo tanto, por la denici on de cuenta, el n umero de n umeros tan peque nos como uno es, en toda cuenta, uno. Si el n umero de n umeros tan peque nos como x en alguna cuenta es y , entonces el n umero de n umeros tan peque nos como y en alguna cuenta es x. Porque si la denici on de correspondencia simple es satisfecha por el relativo c, igualmente es satisfecha por el relativo c-afectado. Puesto que el n umero de n umeros tan peque nos como x en alguna cuenta es y tenemos, siendo c alg un relativo de correspondencia simple, 1o . Todo n umero tan peque no como x es c-afectado por un n umero. 2o . Todo n umero tan peque no como un n umero que es c de un n umero tan peque no como x es el mismo c de un n umero tan peque no como x. 3o . El n umero y es c de un n umero tan peque no como x. 4o . Cualquier cosa que no es tan grande como un n umero que es c de un n umero tan peque no como x no es y . Ahora sea c1 el converso de c. Entonces el converso de c1 es c; de donde, puesto que c satisface la denici on de un relativo de correspondencia simple, lo mismo hace c1 . Por la 3a proposici on anterior, todo n umero tan peque no como y es tan peque no como un n umero que es c de un n umero tan peque no como x. De donde, por la 2a proposici on, todo n umero tan peque no como y es c de un n umero tan peque no como x; y de esto sigue que todo n umero tan peque no como y es c1 -afectado por un n umero. Se sigue adem as que todo n umero c1 de un n umero tan peque no como y es c1 de alguna cosa c1 -afectada por (esto es, siendo c1 un relativo de correspondencia simple, es id entico con) alg un n umero tan peque no como x. Tambi en, siendo tan peque no como un relativo transitivo, todo n umero tan peque no como un n umero c1
2
de
un n umero tan peque no como y es tan peque no como x. Ahora por la 4a proposici on y es tan grande como cualquier n umero que es c de un n umero
Aunque en las ediciones en Collected Papers y en Writings aqu dice c, es claro que debe ser c1 . [NOTA DE TRADUCCION.]
2
50
tan peque no como x, de modo que lo que no es tan peque no como y no es c de un n umero tan peque no como x; de donde cualquier n umero que es c-afectado por un n umero no tan peque no como y no es un n umero tan peque no como x. Pero por la 2a proposici on todo n umero tan peque no como x no c-afectado por un n umero no tan peque no como y es c-afectado por un n umero tan peque no como y . Por lo tanto, todo n umero tan peque no como x es c-afectado por un n umero tan peque no como y . Por tanto, todo n umero tan peque no como un n umero c1 de un n umero tan peque no como y es c1 de un n umero tan peque no como y . M as a un, puesto que hemos mostrado que todo n umero tan peque no como x es c1 de un n umero tan peque no como y , lo mismo es cierto para x mismo. M as a un, puesto que hemos visto que cualquier cosa que sea c1 de un n umero tan peque no como y es tan peque no como x, se sigue que cualquier cosa que no es tan grande como un n umero c1 de un n umero tan peque no como y no es tan grande como un n umero tan peque no como x; esto es (siendo tan grande como un relativo transitivo), no es tan grande como x, y consecuentemente no es x. Ahora hemos mostrado 1o , que todo n umero tan peque no como y es c1 -afectado por un n umero; 2o , que todo n umero tan peque no como un n umero que es c1 de un n umero tan peque no como y es el mismo c1 de un n umero tan peque no como y ; 3o , que el n umero x es c1 de un n umero tan peque no como y ; y 4o , que cualquier cosa que no es tan grande como un n umero que es c1 de un n umero tan peque no como y no es x. Estas cuatro proposiciones tomadas juntas satisfacen la denici on del n umero de n umeros tan peque nos como y que cuentan hasta x. De aqu , puesto que el n umero de n umeros tan peque nos como uno no puede ser mayor que uno en cuenta alguna, se sigue que el n umero de n umeros tan peque nos como alguno mayor que uno no puede ser uno en cuenta alguna. Sup ongase que hay una cuenta en la cual se ha hallado que el n umero de n umeros tan peque nos como 1 + m es 1 + n, puesto que acabamos de ver
51
que no puede ser 1. En esta cuenta, sea m el n umero que es c de 1 + n, y n el que es c-afectado por 1 + m. Consideremos ahora un relativo, e, que diere de c solamente en excluir la relaci on de m a 1 + n as como la relaci on de 1 + m a n y en incluir la relaci on de m a n . Entonces e ser a un relativo de correspondencia singular; porque c lo es y ninguna exclusi on de relaciones de una correspondencia singular afecta este car acter, mientras la inclusi on de la relaci on de m a n deja a m como el u nico e de n y un e s olo de n . M as a un, todo n umero tan peque no como m es e de un n umero, puesto que todo n umero excepto 1 + m que es c de algo es e de alguna cosa y todo n umero excepto 1 + m que es tan peque no como 1 + m es tan peque no como m. Tambi en, todo n umero tan peque no como un n umero e-afectado por un n umero es e-afectado el mismo por un n umero; porque todo n umero c-afectado es e-afectado excepto 1 + m, y este es mayor que todo n umero e-afectado. Se sigue que e es la base de un modo de contar en el cual los n umeros tan peque nos como m cuentan hasta n. De esta manera hemos mostrado que si de alguna forma 1 + m cuenta hasta 1 + n, entonces en alguna manera m cuenta hasta n. Pero ya hemos visto que para x = 1 el n umero de n umeros tan peque nos como x no puede en manera alguna contar hasta otro distinto x. De donde se sigue que lo mismo es cierto cualquiera sea el valor de x. Si todo S es un P y si los P son una agrupaci on nita que cuenta hasta un n umero tan peque no como el n umero de los S , entonces todo P es un S . Porque si, contando los P , empezamos con los S (que son una parte de ellos), y habiendo contado todos los S llegamos al n umero n, no quedar an ni P ni S . Pues si hubiera alguno, el n umero de los P contar a hasta m as que n. De esto deducimos la validez del siguiente modo de inferencia: Todo Texano mata un Texano, Nadie es muerto por m as de una persona, Por tanto, todo Texano es muerto por un Texano, suponiendo que los Texanos son una agrupaci on nita. Porque por la primera
52
premisa, todo Texano muerto por un Texano es un Texano asesino de un Texano. Por la segunda premisa, los Texanos muertos por Texanos son tantos como los Texanos asesinos de Texanos. De donde concluimos que todo Texano asesino de un Texano es un Texano muerto por un Texano, o, por la primera premisa, todo Texano es muerto por un Texano. Este modo de razonamiento es frecuente en la teor a de n umeros.
NOTA. Se puede observar que cuando razonamos que cierta proposici on, si es falsa para alg un n umero, es falsa para alg un n umero m as peque no, y puesto que ning un n umero (en un sistema semi-limitado) es m as peque no que todo n umero, la proposici on debe ser verdadera, entonces nuestro razonamiento es una simple transformaci on l ogica del razonamiento que una proposici on verdadera para n, es verdadera para 1 + n, y que es verdadera para 1.
Bibliograf a
[1] APONTE, Julio C esar y CESPEDES, Carlos Andr es. Caracterizaci on de Morsmos en Algunas Categor as Algebraicas. Tesis (matem aticos), Universidad del Tolima, 2000. [2] ARISTOTELES. Tratados de L ogica (El Organon). M exico: Porr ua, 1975. [3] CAMPOS, Alberto. Axiom atica y Geometr a desde Euclides hasta Hilbert y Bourbaki. Bogot a: edici on privada, 1994. [4] DEDEKIND, Richard. Was Sind und Was Sollen die Zahlen? Braunschweig: Vieweg, 1888. Traducido al espa nol: Qu e son y para qu e sirven los N umeros? Madrid: Alianza Editorial. [5] EUCLIDES. Elementos. Libros I-VI. Traducci on: Mar a Luisa Puertas Casta nos. Madrid: Planeta-De Agostini, 1999. [6] GRATTAN-GUINNESS, Ivor. Peirce: Entre la L ogica y las Matem aticas. Mathesis 8 (1992) 55-72. [7] LAWVERE, F. William. An Elementary Theory of the Category of Sets. Proc. Nat. Acad. Sci. 52 (1964): 1506-1511. [8] MAC LANE, Saunders y BIRKHOFF, Garrett. Algebra. London: Macmillan, 1970.
53
BIBLIOGRAFA [9] OOSTRA, Arnold. Acercamiento Lgico a Peirce. Boletn Matemticas Nueva Serie VII (2000) 60-77. [10] PEANO, Giuseppe. Arithmetices Principia Nova Methodo Exposita. Turn: Bocca, 1889. Traducido al ingls: VAN HEIJENOORT. The Principles of Arithmetic, presented by a new method. [11] PEIRCE, Charles S. On the Logic of Number. American Journal Mathematics 4 (1881): 85-95. Reimpreso en: Collected Papers of Charles Sanders Peirce. Harvard University Press (19311958) Vol 3 252288. Reimpreso tambin en: Writings of Charles S. Peirce: A Chronological Edition, Indiana University Press (1982 ) Vol 4 p. 299309. [12] SHIELDS, Paul. Peirces Axiomatization of Arithmetic. En: HOUSER, Nathan; ROBERTS, Don D. and VAN EVRA, James (Eds). Studies in the Logic of Charles Sanders Peirce. Bloomington and Indianapolis: Indiana University Press, 1997. p. 43-52. [13] TREJO, Csar A. El Concepto de Nmero. Monografa 7, serie Matemticas. Washington, D. C.: Organizacin de los Estados Americanos, 1968. [14] ZALAMEA, Fernando. Una jabalina lanzada hacia el futuro: anticipos y aportes de C. S. Peirce a la lgica matemtica del siglo XX, Mathesis 9 (1993), 391-404.
Algunos sitios recomendados en Internet

http://www.unav.es/gep/ http://www.iupui.edu/_peirce/web/index.htm http://www.cspeirce.com

Axiom A Tizac I Ones

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Axiom A Tizac I Ones

Uploaded by

Copyright:

Available Formats

PEANO, LAWVERE, PEIRCE: TRES AXIOMATIZACIONES DE LOS NUMEROS NATURALES

LINA MAR IA BEDOYA MEJ IA

UNIVERSIDAD DEL TOLIMA FACULTAD DE CIENCIAS IBAGUE 2003

PEANO, LAWVERE, PEIRCE: TRES AXIOMATIZACIONES DE LOS NUMEROS NATURALES

LINA MAR IA BEDOYA MEJ IA

UNIVERSIDAD DEL TOLIMA FACULTAD DE CIENCIAS IBAGUE 2003

2 La axiomatizaci on de Lawvere 2.1 2.2 2.3

4 Peirce vs. Peano 4.1 4.1.1

Equivalencia entre las axiomatizaciones . . . . . . . . . . . . . 28 De Peano a Peirce . . . . . . . . . . . . . . . . . . . . 29 iii

CONTENIDO 4.1.2 4.2 4.3

Comparaci on conceptual de las axiomatizaciones . . . . . . . . 33 Contextos categ oricos para la equivalencia . . . . . . . . . . . 34 36 53

5 Traducci on de On the Logic of Number Bibliograf a

INTRODUCCION ese contexto. Esa axiomatizaci on no es muy conocida.

Cap tulo 1 La axiomatizaci on de Peano

Presentaci on de los n umeros naturales por Peano

DE PEANO CAP ITULO 1. LA AXIOMATIZACION

DE PEANO CAP ITULO 1. LA AXIOMATIZACION

Axiomatizaci on de los n umeros naturales seg un Peano

DE PEANO CAP ITULO 1. LA AXIOMATIZACION

Las operaciones y sus propiedades

DE PEANO CAP ITULO 1. LA AXIOMATIZACION Demostraci on. Por inducci on sobre a.

DE PEANO CAP ITULO 1. LA AXIOMATIZACION

DE PEANO CAP ITULO 1. LA AXIOMATIZACION Demostraci on. Por inducci on sobre a.

Cap tulo 2 La axiomatizaci on de Lawvere

El objeto n umeros naturales introducido por Lawvere

DE LAWVERE CAP ITULO 2. LA AXIOMATIZACION

DE LAWVERE CAP ITULO 2. LA AXIOMATIZACION

DE LAWVERE CAP ITULO 2. LA AXIOMATIZACION

Axiomatizaci on de los n umeros naturales seg un Lawvere

DE LAWVERE CAP ITULO 2. LA AXIOMATIZACION

Lawvere vs. Peano

DE LAWVERE CAP ITULO 2. LA AXIOMATIZACION Propiedad 2.3.1. es inyectiva.

f En primer lugar, (0, 0) = s(0) = (g (0), h(0)) luego: g (0) = 0,

DE LAWVERE CAP ITULO 2. LA AXIOMATIZACION

DE LAWVERE CAP ITULO 2. LA AXIOMATIZACION

Ahora js(0) = j (s(0)) = j (0) = 0 y (js) = j (s ) = j (s) = (j )s = (j )s = (js). N T

Ahora se asumen v alidos los axiomas dados en 1.2.

DE LAWVERE CAP ITULO 2. LA AXIOMATIZACION Armaci on 2.3.3. La funci on s es u nica.

Cap tulo 3 La axiomatizaci on de Peirce

Acerca de Charles S. Peirce

DE PEIRCE CAP ITULO 3. LA AXIOMATIZACION

DE PEIRCE CAP ITULO 3. LA AXIOMATIZACION

DE PEIRCE CAP ITULO 3. LA AXIOMATIZACION

DE PEIRCE CAP ITULO 3. LA AXIOMATIZACION la soluci on de problemas abiertos importantes.

Contenido del art culo On the Logic of Number

DE PEIRCE CAP ITULO 3. LA AXIOMATIZACION

DE PEIRCE CAP ITULO 3. LA AXIOMATIZACION

DE PEIRCE CAP ITULO 3. LA AXIOMATIZACION

Axiomatizaci on de los n umeros naturales seg un Peirce

Las operaciones y sus propiedades

DE PEIRCE CAP ITULO 3. LA AXIOMATIZACION

Cap tulo 4 Peirce vs. Peano

Equivalencia entre las axiomatizaciones

CAP ITULO 4. PEIRCE VS. PEANO

CAP ITULO 4. PEIRCE VS. PEANO Demostraci on.

CAP ITULO 4. PEIRCE VS. PEANO

CAP ITULO 4. PEIRCE VS. PEANO

CAP ITULO 4. PEIRCE VS. PEANO

Comparaci on conceptual de las axiomatizaciones

CAP ITULO 4. PEIRCE VS. PEANO

Contextos categ oricos para la equivalencia

Cap tulo 5 Traducci on de On the Logic of Number

Sobre la L ogica del N umero