Axiomatizaciones

PEANO, LAWVERE, PEIRCE: TRES AXIOMATIZACIONES DE LOS NUMEROS NATURALES
LINA MAR BEDOYA MEJ IA IA
UNIVERSIDAD DEL TOLIMA FACULTAD DE CIENCIAS IBAGUE 2003
PEANO, LAWVERE, PEIRCE: TRES AXIOMATIZACIONES DE LOS NUMEROS NATURALES
LINA MAR BEDOYA MEJ IA IA
Trabajo de grado para optar al t tulo de Profesional en Matemtica con nfasis en Estad a e stica
Director M. Sc. ARNOLD OOSTRA Profesor del Departamento de Matemticas y Estad a stica
UNIVERSIDAD DEL TOLIMA FACULTAD DE CIENCIAS IBAGUE 2003
Contenido
Introduccin o 1 La axiomatizacin de Peano o 1.1 1.2 1.3 Presentacin de los nmeros naturales por Peano . . . . . . . o u Axiomatizacin de los nmeros naturales segn Peano . . . . . o u u Las operaciones y sus propiedades . . . . . . . . . . . . . . . . v 1 1 5 6 10
2 La axiomatizacin de Lawvere o 2.1 2.2 2.3
El objeto nmeros naturales introducido por Lawvere . . . . 10 u Axiomatizacin de los nmeros naturales segn Lawvere . . . 13 o u u Lawvere vs. Peano . . . . . . . . . . . . . . . . . . . . . . . . 14 2.3.1 2.3.2 De Lawvere a Peano . . . . . . . . . . . . . . . . . . . 14 De Peano a Lawvere . . . . . . . . . . . . . . . . . . . 17 19 . . . . . . . . 23
3 La axiomatizacin de Peirce o 3.1 3.2 3.3 3.4 Contenido del art culo On the Logic of Number
Acerca de Charles S. Peirce . . . . . . . . . . . . . . . . . . . 19 Axiomatizacin de los nmeros naturales segn Peirce . . . . . 26 o u u 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
Comparacin conceptual de las axiomatizaciones . . . . . . . . 33 o Contextos categricos para la equivalencia . . . . . . . . . . . 34 o 36 53
5 Traduccin de On the Logic of Number o Bibliograf a
Introduccin o
En algunos textos aristotlicos, como el Organon, se propone el mtodo axioe e mtico como el ms adecuado para elevar determinado conjunto de proposia a ciones al rango de ciencia. En ste mtodo se quiere hacer descender todas las e e proposiciones de algunas primitivas, llamadas axiomas del sistema deductivo. Bajo sta perspectiva, la primera ciencia es la geometr pues sus enune a, ciados fueron recopilados y organizados de manera deductiva por Euclides hacia el ao 300 antes de Cristo, en el texto matemtico ms clebre de ton a a e dos los tiempos: Elementos. Aunque en ste documento se utilizaron algunos e axiomas no formulados y aparecen algunos razonamientos lgicamente incoo rrectos, Elementos abri un camino hacia la formalizacin de la geometr o o a. El trabajo de la axiomatizacin de la geometr concluye en 1899 cuando o a el matemtico alemn David Hilbert publica Fundamentos de la Geometr a a a, que contiene un sistema completo de axiomas para la geometr euclidiana. a Pero Hilbert va ms lejos, empleando su axiomatizacin para basar la cona o sistencia de su sistema en la consistencia de la aritmtica. Esta es la llamada e aritmetizacin de la geometr o a. En la misma poca los trabajos de Weierstrass, basados en los de Cauchy, e hab logrado la aritmetizacin del anlisis en el sentido de que es posian o a ble construir el sistema de los nmeros reales (espacio natural del clculo o u a anlisis) a partir de los nmeros naturales. a u En el c rculo de estudiosos y acionados a las matemticas se acepta a de manera generalizada que el sistema de los nmeros naturales fu axiou e v
INTRODUCCION
vi
matizado en 1889 por el matemtico italiano Giuseppe Peano en el texto a 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 aos antes n el norteamericano Charles S. Peirce public un sistema completo de axiomas o para los nmeros naturales. u Charles S. Peirce est siendo reconocido como el cient a co, lsofo y huo manista ms brillante y verstil de Amrica. Sus aportes a la lgica y a a a e o la losof revolucionaron stas ciencias. En la primera mitad de la dcada a e e de los 80 (del siglo XlX), vinculado a la Universidad Johns Hopkins, produjo una serie genial de trabajos en matemticas entre los que se cuenta el a art culo On the Logic of Number (1881), que incluye -entre otras ideas- una axiomatizacin de la aritmtica. o e Por mltiples razones, desde personales hasta epistemolgicas, la obra de u o Peirce no recibi desde el comienzo la atencin que merec Pas un siglo o o a. o antes de que ste inmenso legado empezara a estudiarse con profundidad, no e slo por los lsofos sino tambin por algunos matemticos. Cada fragmento o o e a 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 ultimas dcadas, en especial desde el punto de vista de la losof los tra e a, bajos en la matemtica de Peirce son an muy escasos, an a nivel mundial. a u u En Colombia, aparte de un grupo de lsofos estudiosos de Peirce pueden o destacarse los aportes del matemtico Fernando Zalamea. En particular, soa bre la axiomatizacin de los nmeros naturales propuesta por Peirce slo se o u o conoce un estudio: una tesis de doctorado en losof presentada por Paul a Shields en Nueva York en 1981. En 1945 nace la teor de categor una manera completamente novedosa a as, de ver la matemtica. Uno de sus mayores impulsadores, el norteamericano a F. William Lawvere, tradujo los axiomas de Peano al lenguaje categrico o obteniendo la nocin de objeto nmeros naturales, bastante empleada en o u
INTRODUCCION ese contexto. Esa axiomatizacin no es muy conocida. o
vii
En este trabajo se hace una extensa presentacin de las axiomatizaciones o mencionadas antes, haciendo especial nfasis en la de Peirce, y se dan indie caciones acerca de la equivalencia de estos tres sistemas. En el cap tulo 1 se revisa la axiomatizacin de los nmeros naturales debida a Peano; en el o u cap tulo 2 se presenta la axiomatizacin de Lawvere y se estudia su equivao lencia con la de Peano. En el cap tulo 3 se resea con detalle el art n culo On the Logic of Number, que contiene la axiomatizacin de los nmeros naturales o u 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 traduccin al espaol del o n 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 presentacin es original. La resea del o n 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 traduccin al o espaol de esta art n culo de C. S. Peirce.
Cap tulo 1 La axiomatizacin de Peano o

La ms conocida axiomatizacin de los nmeros naturales, contenida en el a o u 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 axiomatizacin, la denicin de las operaciones y sus o o propiedades debidamente demostradas.
1.1
Presentacin de los n meros naturales o u por Peano
Adems de ser, junto con la astronom las ciencias ms antiguas, la geoa a, a metr y la aritmtica han sido consideradas desde los pitagricos los pia e o lares fundamentales del edicio de la matemtica. La axiomatizacin de la a o geometr fu un proceso muy largo, que aunque iniciado mucho antes, se a e materializ por primera vez en el trabajo Elementos [5], de Euclides, unos o 300 aos antes de Cristo. Durante el siglo XlX, sin duda con el impulso de n la aparicin de las geometr no euclidianas, se multiplicaron los esfuerzos o as por axiomatizar la geometr empeo culminado nalmente en 1899 con la a, n publicacin de Fundamentos de la Geometra, de David Hilbert [3]; tambin o e
CAP ITULO 1. LA AXIOMATIZACION DE PEANO
se presentaron varias axiomatizaciones de la aritmtica o, con ms precisin, e a o de los nmeros naturales. u Sin lugar a dudas, la ms conocida es la que present el matemtico itaa o a liano Giuseppe Peano (1858-1932) por primera vez en 1889 en un pequeo n libro publicado en Tur titulado Arithmetices Principia Nova Methodo Exn, posita [10]. Este texto incluye sus famosos axiomas, pero ms que un texto a de aritmtica, este documento contiene una introduccin a la lgica en la cual e o o 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 nmeros) y para la unin y la interseccin. u o o Peano reconoce hacer uso de estudios de otros autores: en 1888 despus e de estudiar a G. Boole, E. Schrder, C. S. Peirce y otros, estableci una o o analog entre operaciones geomtricas y algebraicas con las operaciones de a e la lgica; en aritmtica menciona el trabajo de Dedekind [4] publicado el ao o e n anterior -reconocido de manera generalizada como la primera axiomatizacin o de la aritmtica, aunque sali a la luz 7 aos despus del art e o n e culo de Peircey un texto de Grassmann de 1861. Este ultimo libro posiblemente fu fuente e de inspiracin tanto para Peano y Dedekind como para Peirce. o Arithmetices Principia, escrito en lat es el primer intento de Peano n, para lograr una axiomatizacin de las matemticas en un lenguaje simblico. o a o Consiste en un prefacio y 10 secciones: 1. Nmeros y Adicin u o 2. Sustraccin o 3. Mximos y M a nimos 4. Multiplicacin o 5. Potenciacin o 6. Divisin o
CAP ITULO 1. LA AXIOMATIZACION DE PEANO 7. Teoremas varios 8. Razones de Nmeros u 9. Sistemas de Racionales e Irracionales 10. Sistemas de Cantidades
Desarrolla en extenso el primero; en el segundo, cuarto, quinto y sexto slo da explicaciones y deniciones omitiendo los teoremas, los otros los deja o de lado. Sus estudiantes completaron la tarea, una versin alemana de E. o Landau tiene todos los detalles. Usa la lgica de Boole y Schrder e introduce innovaciones: por ejemplo, o o usa diferentes s mbolos para las operaciones lgicas y matemticas, distingue o a entre las proposiciones categricas y condicionales y formula una teor de o a cuanticacin (estas fueron innovaciones relativas a Boole y Schrder - no o o a Frege, cuyo trabajo Peano no conoc en ese tiempo). La parte lgica de a o la obra presenta frmulas del clculo proposicional, del clculo de clases y o a a teor de cuanticacin. a o Introduce nociones y frmulas lgicas para reescribir la aritmtica en o o e notacin simblica, que sirve para tratar tambin con fracciones, nmeros o o e u reales, incluso la nocin de l o mite y deniciones en la teor de conjuntos. Las a frmulas son listadas, pero no derivadas pues no posee reglas de inferencia. o Prueba una lista de frmulas, cada una relacionada con la siguiente, pero no o son pruebas formales. La ausencia de una regla de eliminacin parece estar o vinculada con la inadecuada interpretacin del condicional, el lee a b o como de a uno deduce b, lo cual permanece vago; no usa los valores de verdad. A continuacin se hace una presentacin muy resumida de la primera o o parte del libro de Peano (vase tambin [13]). En el prefacio se introduce e e una gran cantidad de notacin lgica. El 1 comienza con las explicaciones o o siguientes.
CAP ITULO 1. LA AXIOMATIZACION DE PEANO El s mbolo N signica nmero (entero positivo). u El s mbolo 1 signica unidad. El s mbolo a + 1 signica el sucesor de a, o, a ms 1. a El s mbolo = signica es igual a.
En seguida se enuncian los axiomas. En esta presentacin slo se ha o o modicado la notacin lgica. o o 1. 1 N 2. Si a N entonces: a = a 3. Si a 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 N entonces: a = b si y slo si a + 1 = b + 1 o 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 lgica fundamental. Los restantes cinco axiomas son o conocidos como los axiomas de Peano. El ultimo axioma, es una traduccin o del principio de induccin matemtica, est formulado en trminos de clases o a a e y contiene una clase variable k (en la presentacin de Peano aparece tambin o e una clase de todas las clases, K).
Peano reconoce el aporte de Dedekind y Grassmann en la parte aritmtica; en cuanto a Frege, Peano conoci su trabajo despus de la publie o e cacin de Arithmetices Principia. Introduce la adicin, multiplicacin y poo o o tenciacin como deniciones; estas deniciones son recursivas, pero en su siso tema no hay manera de justicar tales deniciones. No arm expl o citamente que esas deniciones eran eliminables, pero tampoco satisfacen sus propios criterios, es decir, que el lado derecho de una denicin es un agregado de o signos que tienen un signicado conocido. En 1931, Kurt Gdel prob que el sistema de Peano es incompleto, esto o o es, all hay armaciones que no se pueden demostrar ni refutar.
1.2
Axiomatizacin de los n meros naturales o u seg n Peano u
Como se indic, en la actualidad varios de los axiomas de Peano se consideran o axiomas o propiedades lgicas. En esta seccin se hace una presentacin ms o o o a moderna de la axiomatizacin de Peano, se puede ver con facilidad que es o equivalente a la original. Trminos: e Un conjunto, N ; una funcin, , de N en N ; una constante, 1, en N . o 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 aritmticas y se prueban sus propiedades e fundamentales. Aunque las deniciones son, en esencia, las mismas dadas por Peano, aqu se emplea la axiomatizacin resumida de la seccin 1.2. o o Denicin. La operacin adicin, denotada +, se dene en N por recurreno o o cia 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 adicin). a = b si y slo si a + c = o o b + c. Demostracin. Por induccin sobre c. o o Como es una funcin inyectiva (axioma 1), a = b si y slo si (a) = (b); o o por denicin, esto es a + 1 = b + 1. o Supngase que a = b si y slo si a + n = b + n. Siendo inyectiva, a + n = o o b+n si y slo si (a+n) = (b+n); por denicin, esto es a+(n) = b+(n). o o De esta manera tambin a = b si y slo si a + (n) = b + (n). e o Propiedad 1.3.2 (Asociativa de la adicin). o (a + b) + c = a + (b + c) Demostracin. Por induccin sobre c. o o Por denicin (a + b) + 1 = (a + b) = a + (b) = a + (b + 1). o 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 adicin). o a+b=b+a
CAP ITULO 1. LA AXIOMATIZACION DE PEANO Demostracin. Por induccin sobre a. o o
El caso a = 1 se prueba, a su vez, por induccin sobre b. Es claro que o 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. Demostracin. Por induccin sobre a. o o 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 aritmticas ya indicadas, e (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. Demostracin. Esta prueba, por induccin sobre a, es un ejemplo notable de o o un razonamiento estrictamente formal. Si 1 = 1 entonces existe b tal que 1 = b + 1. El antecedente de esta implicacin es falso, luego la proposicin es verdadera. o o 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 proposicin es verdadero de manera evidente (basta tomar c = n) o luego esta proposicin es verdadera; la segunda proposicin es el consecuente o o de la proposicin completa, luego esta ultima tambin es verdadera. o e 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. Demostracin. Por induccin sobre b. o o Si a = 1, la propiedad 1.3.5 indica que existe q N tal que a = 1 + q.
Supngase que la proposicin es vlida para a = n. Ahora si a = n + 1 o o a 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 hiptesis inductiva presenta o 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.
Denicin. La operacin multiplicacin, denotada sin s o o o 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 Demostracin. Por induccin sobre c. o o Por denicin (a + b)1 = a + b = (a1) + (b1). o Si (a + b)c = ac + bc entonces (a + b)(c) = (a + b)c + (a + b) = (ac + bc) + (a + b). Por propiedades de la adicin presentadas antes, (ac + bc) + (a + b) = o (ac + a) + (bc + b) = a(c) + b(c). Propiedad 1.3.8 (Conmutativa de la multiplicacin). o ab = ba
CAP ITULO 1. LA AXIOMATIZACION DE PEANO Demostracin. Por induccin sobre a. o o
El caso a = 1 se prueba, a su vez, por induccin sobre b. Es claro que o (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 Demostracin. Por propiedades anteriores se tiene o a(b + c) = (b + c)a = ba + ca = ab + ac.
Propiedad 1.3.10 (Asociativa de la multiplicacin). o a(bc) = (ab)c Demostracin. Por induccin sobre c. o o Por denicin a(b1) = ab = (ab)1. o Si a(bn) = (ab)n entonces a(b(n)) = a(bn+b) = a(bn)+ab = (ab)n+ab = (ab)(n).
Cap tulo 2 La axiomatizacin de Lawvere o

William Lawvere presenta lo que puede considerarse una nueva axiomatizacin de la aritmtica, la traduccin de los axiomas de Peano al lenguaje o e o categrico. En el presente cap o tulo se muestra esta nueva axiomatizacin, o algunos campos de la matemtica en los cuales se puede utilizar esta y la a respectiva demostracin de la equivalencia con el sistema de Peano. o
2.1
El objeto n meros naturales u introducido por Lawvere
La construccin siguiente es comn en matemticas. Dado un conjunto X y o u a una funcin f de este conjunto en s mismo, un elemento arbitrario a X o genera una sucesin, a saber o a, f (a), f (f (a)), f (f (f (a))), . . . Si esta sucesin se denota (sn ), sus trminos pueden describirse por recuo e rrencia como sigue. s0 = a sn+1 = f (sn ). 10
CAP ITULO 2. LA AXIOMATIZACION DE LAWVERE
11
Un lugar popular en matemticas donde se usa esta sucesin es la a o prueba de que toda funcin contractiva en un espacio mtrico completo tiene o e algn punto jo. En efecto, si X es un espacio mtrico y la funcin f es u e o contractiva, la sucesin (sn ) es de Cauchy; si adems el espacio es completo, o a 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 ms popular, donde se emplea esta funcin es a o en el estudio de sistemas dinmicos (ms o menos) caticos. Si X = R y a a o f : R R es la funcin denida como o f (x) = x(1 x), se toma a = 0.5 y se estudia el comportamiento de la sucesin para valores o distintos del parmetro . Cuando 0 < < 3, la sucesin converge a un a o l mite; cuando sobrepasa un poco a 3, la sucesin termina oscilando entre o dos valores; en = 3.5 la sucesin oscila entre cuatro valores; al aumentar o el comportamiento es cada vez ms extrao. Esta dependencia fuerte que a n presenta el comportamiento global de una variacin muy pequea en las o n condiciones iniciales, es la caracter stica distintiva de lo que se denomina caos. La teor de categor puede describirse, en primera instancia, como a as aquella que se ocupa de todo lo expresable mediante echas (morsmos) y diagramas conmutativos [1]. En el caso de la matemtica usual, se trata a de ver las nociones no de manera anal tica (en trminos de elementos) sino e sinttica (en trminos de funciones). William Lawvere, uno de los ms ime e a portantes forjadores e impulsadores de la teor de categor durante el siglo a as XX, observ que es sencillo describir la sucesin discutida arriba mediante o o echas y diagramas conmutativos. Una sucesin en un conjunto X es una funcin s : N X. La condicin o o o 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 funcin sucesor denida como (n) = n + 1. A su vez, la o 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 funcin T X siendo T un conjunto unitario. Luego la condicin o o s(0) = a puede expresarse amando que el diagrama siguiente conmuta. N
0
T ad X
d c
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 unico s : N X que hace conmutativo este diagrama, es lo que Lawvere denomina un objeto nmeros naturales [7]. Se nota que en esta denicin solo interu o vienen echas y diagramas conmutativos, de manera que ella tiene sentido en contextos muy generales de la teor de categor De hecho, la nocin de a as. o objeto nmeros naturales juega un papel importante en ciertos desarrollos u recientes de esta teor a.
13
2.2
Axiomatizacin de los n meros naturales o u seg n Lawvere u
La siguiente es una presentacin concisa de la axiomatizacin de Lawvere, o o con el mismo estilo empleado en la seccin 1.2. o Trminos: e Un conjunto, N ; una funcin, , de N en N ; una constante, 0, en N . o Axioma: Para cualquier conjunto X con funcin f : X X y elemento a X, o existe una unica funcin s : N X tal que o s(0) = a s = f s Esta axiomatizacin se puede presentar con diagramas sucesivos, como o 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 axiomticos consiste en lo siguiena te: En cada una de las teor deben denirse o interpretarse los trminos as e de la otra y demostrarse los axiomas de la otra como teoremas. En las axiomatizaciones de los nmeros naturales por Peano y Lawvere los trminos u e son los mismos (identicando el 0 de Lawvere con el 1 de Peano, lo cual no representa ningn problema de fondo para los axiomas), luego la equivalencia u se prueba demostrando los axiomas de Peano en el sistema de Lawvere (o lo que es lo mismo, deducindolos a partir del de Lawvere) y, a continuacin, e o demostrando el axioma de Lawvere en la aritmtica de Peano. e
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 seccin 2.2. o Armacin 2.3.1. Si t : N N es una funcin que satisface t(0) = 0 y o o t = t entonces t = iN (funcin idntica en N). o e Demostracin. Por el axioma, para el conjunto N con la funcin : N N o o y el elemento 0 N existe una unica funcin s : N N con s(0) = 0 y o s = s. N T
0 d 0 d
EN
s
c
s
c EN
Por hiptesis t(0) = 0 y t = t luego, siendo s unica, es t = s. o Por otro lado, iN (0) = 0 y iN = iN luego, siendo s unica, es iN = s. Por lo tanto t = iN .
CAP ITULO 2. LA AXIOMATIZACION DE LAWVERE Propiedad 2.3.1. es inyectiva.
15
Demostracin. Considrese la funcin f : N N N N denida como o e o f (m, n) = (n, (n)) y el elemento (0, 0) N N . Por el axioma, existe una funcin o
s : N N N tal que s(0) = (0, 0) y s = f s. La funcin s tiene o 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 armacin, de h(0) = 0, h = h se sigue h = iN . Luego g = iN y o 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 ). / Demostracin. Para la prueba se escoge cualquier funcin f : X X que o o 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 funcin constante b.) o
16
Por el axioma de Lawvere (seccin 2.2), existe una funcin s : N X o o con s(0) = a y f s = s.
Supngase ahora que 0 pertenece al recorrido de , es decir, (n) = 0 para o algn n N . Entonces tambin s((n)) = s(0); pero s((n)) = f (s(n)) y u e s(0) = a. Luego f (s(n)) = a, lo cual contradice la eleccin f (x) = a para o 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 . Demostracin. Por la segunda hiptesis la funcin puede restringirse a S. o o o Es decir, existe la funcin restringida : S S denida como (n) = (n) o para cada n S. Si j : S N denota la funcin inclusin (j(n) = n para o o 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 armacin se sigue o 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 inclusin o j : S N se tiene S = N .
2.3.2
De Peano a Lawvere
Dada una funcin o
Ahora se asumen vlidos los axiomas dados en 1.2. a
f : X X y un elemento a X, se debe probar la existencia y unici dad de una funcin s : N X tal que s(0) = a y f s = s. o Se dene la funcin s como sigue: o s(0) = a Conocido s(n), se dene s((n)) como f (s(n)) Armacin 2.3.2. La funcin s est denida en todo N . o o a Demostracin. Sea D el dominio de s. o 1. 0 D porque se ha denido s(0) = a. 2. Supngase que n D, es decir, s(n) est denido. Por construccin, o a o tambin est denido s((n)) = f (s(n)) luego (n) D. e a Por el axioma 3 de la seccin 1.2, D = N . o
CAP ITULO 2. LA AXIOMATIZACION DE LAWVERE Armacin 2.3.3. La funcin s es unica. o o
18
Demostracin. Sea t : N X una funcin tal que t(0) = a, f t = t. Sea C o o 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. Supngase que n C, es decir, s(n) = t(n). Entonces o 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 axiomatizacin de Peirce o

En el presente cap tulo se da una biograf de Charles S. Peirce y una prea sentacin de su art o culo On the Logic of Number, en el cual axiomatiza los nmeros naturales y que aparece traducido en el cap u tulo 5 de esta monograf a. A su vez se dene en trminos actuales la axiomatizacin de los e o nmeros naturales segn Peirce, su denicin de las operaciones por recuu u o rrencia 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: lgica, losof semitica, astronom geodesia, matemticas, o a, o a, a teor e historia de la ciencia, semitica, econometr y psicolog El inters a o a a. e por el pensamiento de Peirce se ha incrementado de manera notable en los ultimos aos y ha llegado a ser considerado como el ms profundo y original n a pensador americano [14]. Charles Sanders Peirce, cient co, lsofo y humanista, es uno de los o ultimos cient cos universales; padre de la semitica contempornea, teor o a a losca de la signicacin y la representacin; fund el pragmatismo autno o o o e tico; redujo a un m nimo de tres las categorias ontolgicas. o 19
CAP ITULO 3. LA AXIOMATIZACION DE PEIRCE
20
Naci en Cambridge (Massachusetts, Estados Unidos) el 10 de septiembre o de 1839. Era hijo de Benjamin Peirce (1809-1880), reconocido matemtico a y astrnomo, profesor de la Universidad de Harvard en Boston de cuya o mano Charles estudi, desde muy pequeo, matemticas, f o n a sica y astronom a. Desde temprana edad Peirce mostr su curiosidad por las ciencias y el conocio miento en general, tanto es as que con tan solo 12 aos construye su propio n laboratorio de qu mica. A travs de la obra de Kant y de la losof escocesa e a del sentido comn, se introdujo al estudio de la losof y la lgica, ramas u a o en las que har aportes relevantes. a A los 20 aos obtiene la Licenciatura en Matemticas en la Universin a dad de Harvard y su Maestr a los 23; ms tarde, en 1863, se grada en a a u Qu mica en la misma Universidad. Dos aos despus comienza a trabajar n e como asistente de investigacin en el Coast and Geodetic Survey de los Eso tados Unidos, actividad que desarroll a lo largo de treinta aos, dejando o n varias contribuciones tales como: la medicin de la tierra; la medicin del o o metro a partir de la longitud de onda de la luz; un mapa de proyecciones del globo terrqueo usando funciones el a pticas (proyeccin quincuncial); el o desarrollo de mtodos para el clculo del valor de la gravedad con el uso e a del pndulo; recorre Europa buscando las mejores condiciones para observar e el eclipse de sol del 22 de diciembre de 1870. En Photometric Researches (1878), unico libro publicado por Peirce, incluye otros estudios y resultados de investigaciones en estas ramas, art culos tcnicos de lgica, matemtica y e o a metodolog cient a ca. Durante cinco aos (1879-1884) ense lgica en Johns Hopkins Univern no o sity, siendo este su unico trabajo estable en una Universidad a pesar de su tenacidad y capacidad de trabajo. Debido a que era una persona de carcter a extrao y de dif trato, no lleg a desarrollar una carrera acadmica. Pero n cil o e todo en la vida de Peirce no fu estudio, tambin hubo lugar para su vida sene e timental, encontrndose a sus 23 aos y durante 14 casado con una seorita a n n de la alta sociedad de Cambridge; luego se une a quien lo acompaar hasta n a
21
el d de su muerte, la actriz francesa Juliette Annette Pourtalais. En 1883 a recibi una cuantiosa herencia que le durar solamente 10 aos, quedando o a n luego en la ruina y viviendo de la caridad pblica hasta el 19 de abril de u 1914, d de su muerte. a En 1887 se traslad con su segunda esposa a Milford (Pensylvania), en o donde se dedica a escribir acerca de lgica y losof corrigindose a s mismo o a, e con, segn sus mismas palabras, la persistencia de la avispa dentro de una u botella. Entre 1884 cuando fu despedido de la Universidad Johns Hopkins e y su muerte, Peirce escribi la mayor parte de las 80.000 pginas manuscritas o a que su esposa cedi a la Universidad de Harvard. o Aunque sus aportes ms reconocido estn en la losof no pueden pasara a a, se por alto las enormes contribuciones a la lgica y la matemtica [6, 9, 14], o a entre ellas: axiomatiz el clculo proposicional distinguiendo la implicacin o a o de la deducibilidad relacionndolas mediante un teorema de deduccin; ana o ticip calculos implicativos dbiles y lgicas trivalentes; propuso una notacin o e o o homognea para la totalidad de los conectivos binarios clsicos y estudi entre e a o ellos los conectivos completos; desarroll el clculo de predicados, la teor de o a a cuanticadores y las formas normales; discuti la nocin de conjunto, divero o sas deniciones de innito y las comparaciones cardinales; estudi el continuo o de manera original; desarroll un sistema muy amplio de lgica grca que o o a 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 cmulo de razones de toda u ndole, geogrcas, circunsa tanciales, personales, metdicas, conceptuales, fu olvidado y marginado. El o e rechazo no termin con su muerte pues sus manuscritos fueron relegados al o 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 que los escritos de Peirce eran destellos de luz deslumbrante sobre o un fondo de oscuridad tenebrosa. Hacia 1923, Morris R. Cohen publica la primera antolog de textos de Peirce, Chance, Love and Logic, que incluye a
22
un art culo de Dewey acerca de la originalidad y fecundidad del pensamiento de Peirce y una bibliograf detallada; en este mismo ao se publica la clebre a n e obra de Ogden y Richards, The Meaning of Meaning que trajo la atencin o del pblico sobre la semitica de Peirce. Entre 1931 y 1935 se publicaron los u o 6 primeros volmenes de Collected Papers (Harvard University Press) bajo u la direccin de Charles Hartshorne y Paul Weiss quienes menospreciaron los o trabajos de Peirce desmembrando y mutilando su obra. Otros dos volmenes u aparecieron en 1958 bajo la direccin de Arthur Burks. Durante la ultima o dcada del siglo XX se ha puesto de maniesto la sistematicidad de su pene samiento 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 edicin completa o y cronolgica de los escritos de Peirce, proyectada para 30 volmenes de los o u cuales solamente se han publicado 6. La obra de Charles Peirce se caracteriza por su extensin y profundidad, o debido a que a lo largo de su vida escribi acerca de una gran variedad de o temas, haciendo aportes de singular inters en todas las reas que abord. e a 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 El dif acceso a sus escritos, a. cil junto con el marcado carcter evolutivo de su pensamiento, han complia cado la interpretacin de su obra. En la tarea de recuperacin del legado o o 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 losco global de la obra de Peirce; por ultimo, la tarea ms dif pero o a cil a su vez fruct fera es la construccin, las ideas presentes en el legado de o Peirce deben desarrollarse y explotarse para avanzar en el planteamiento y
CAP ITULO 3. LA AXIOMATIZACION DE PEIRCE la solucin de problemas abiertos importantes. o
23
El escrito On the Logic of Number, de Charles S. Peirce, fu publicado en e 1881 en las pginas 85 a 95 del volumen 4 de la revista The American Journal a of Mathematics. Esto fue un ao despus de la muerte de su padre; en el n e mismo volumen del American Journal apareci una reimpresin pstuma del o o o texto Linear Associative Algebra, de Benjamin Peirce, quizs el ms destaa a cado de sus escritos y el que comienza con la famosa denicin: o La matemtica es la ciencia que obtiene conclusiones necesarias. a Aparentemente, la intencin de Peirce hijo era reforzar esta visin de su padre o o acerca de la matemtica, mostrando que la aritmtica obtiene conclusiones a e necesarias [12]. A la sazn ya se hab logrado la aritmetizacin del anlisis y o a o a poco despus se lograr la de la geometr de suerte que como nunca antes e a a, la matemtica pod verse como una teor de conclusiones necesarias. a a a
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 intencin de su cometido. o Nadie puede poner en duda las propiedades elementales concernientes al nmero: las que no son maniestamente verdaderas u a primera vista se verican mediante las demostraciones usuales. Pero aunque vemos que son verdaderas, no vemos tan fcilmente a con precisin por qu son verdaderas; tanto es as que un lgico o e o ingls de renombre ha abrigado la duda si ser verdaderas en e an todo el universo. El objetivo de ste art e culo es mostrar que ellas son consecuencias estrictamente silog sticas de unas pocas proposiciones primarias [11].
24
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 binaria- del 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 lo denomina un relativo fundamental de cantidad y al sistema obtenido, un sistema de cantidad. Esto se llama ahora una relacin de orden y un o conjunto (parcialmente) ordenado: segn 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 o u 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 de conjuntos y muy a 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 algn elemento o, u 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, segn 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 (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 proposicin dada, si es vlida para algn elemento entonces es vlida o a u a
25
para todo elemento mayor. Es, con toda exactitud, lo que hoy se conoce como el principio de induccin. o Luego Peirce cambia un poco las condiciones para estudiar un sistema simple, discreto, ilimitado, innito en ambas direcciones, lo que hoy se conoce como nmeros enteros. Aqu ya no existe un m u 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 vlido todo el planteamiento denido ana teriormente. Las deniciones de las operaciones al igual que sus propiedades demostradas, se extienden al sistema ilimitado. En la ultima seccin del art o culo da un uso nuevo a los nmeros recin u e construidos. Dene una cuenta como una correspondencia biyectiva entre una clase y un segmento inicial de los nmeros naturales. Mediante una u compleja demostracin inductiva asegura que el nmero de nmeros menores o u u o iguales que un natural x es x, sin importar la forma u orden en que se cuenten, garantizando as la unicidad del nmero de elementos de cualquier u conjunto nito. Arma luego que si un subconjunto de un conjunto nito posee tantos elementos como este conjunto, entonces es igual a l, lo cual e ilustra con un modo de razonamiento frecuente en teor de nmeros: a u Todo Texano mata un Texano, Nadie es muerto por ms de una persona, a Por tanto, todo Texano es muerto por un Texano. De esta seccin pueden extraerse con facilidad dos nociones de conjunto o nito precisadas de nuevo ms tarde en la historia de la matemtica, a saber: a a (a) Un conjunto es nito si est en correspondencia biyectiva con un sega mento inicial de los nmeros naturales. u (b) Un conjunto es nito si no est en correspondencia biyectiva con ningn a u subconjunto propio. De hecho, Peirce deduce (b) de (a).
26
3.3
Axiomatizacin de los n meros naturales o u seg n Peirce u
Una presentacin -con terminolog y simbolog actuales- de la axiomatio a a zacin para los nmeros naturales contenida en On the Logic of Number es o u la siguiente. Trminos: e Un conjunto, N , y una relacin binaria, R, en N . o Axiomas: 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 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 recursin -de nuevo, segn o u
27
algunos estudiosos esta es la primera vez que aparecen tales deniciones en matemticas-: a 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. Obsrvese la equivalencia con e las deniciones dadas por Peano. 1 + y = siguiente de y (1 + x) + y = 1 + (x + y) 1y = y (1 + x)y = y + xy.
A continuacin el autor prueba -por induccin- las propiedades siguientes o o de las operaciones recin denidas. Las demostraciones dadas por Peirce e pueden consultarse en el cap tulo 5 (traduccin de On the Logic of Number ) o y, de nuevo, son muy similares a las presentadas en la seccin 1.3. o 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 ultimo cap tulo se elabora una comparacin entre las axiomatizao ciones de los nmeros naturales presentadas por C. S. Peirce y G. Peano. Un u primer acercamiento, en el contexto de la lgica clsica, arroja la equivaleno a cia formal de los sistemas resultando as tres axiomatizaciones equivalentes para los nmeros naturales. Pero al mirar mejor se vislumbran diferencias de u fondo que debern precisarse en contextos ms generales que la matemtica a a a clsica. a
4.1
Equivalencia entre las axiomatizaciones
Como en la seccin 2.3, aqu se quiere probar la equivalencia entre los sistemas o axiomticos de Peirce y de Peano pero contrario a lo que sucede all en este a , caso no todos los trminos coinciden. El conjunto subyacente N s es el e mismo luego no necesita mencionarse; en una direccin es preciso denir la o relacin binaria y probar que satisface los axiomas indicados por Peirce (vase o e la seccin 3.3); en el otro sentido debe precisarse la funcin y la constante, o o adems de probar los axiomas de Peano (seccin 1.2). a o
28
CAP ITULO 4. PEIRCE VS. PEANO
29
4.1.1
De Peano a Peirce
Aunque Peano dene antes la sustraccin, en esencia su denicin de orden o o es la siguiente. Denicin. La relacin R se dene para cada a, b N como sigue: a R b si o o a = b o existe p N tal que a + p = b. A continuacin se verican los axiomas de Peirce para esta relacin binao o ria. Teorema 4.1.1. La relacin R es un orden lineal en N . o Demostracin. o Supngase que a R b y b R c. Si en alguno de los dos casos se tiene la o igualdad entonces se recibe a R c por sustitucin. En caso contrario, sean o 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 relacin transitiva. o Por denicin a R a para cada a N , es decir, R es reexiva. o Para probar el carcter antisimtrico de R, supngase por el contrario que a e o existen elementos a, b N tales que a R b, b R a y a = b. Por la denicin, o 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 mnimo y no posee mximo. a
CAP ITULO 4. PEIRCE VS. PEANO Demostracin. o
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 denicin a R (a + 1) y (por la propiedad o 1.3.4) a + 1 = a, luego a no es el mximo. a Teorema 4.1.3. Todo elemento de N distinto del m nimo posee antecesor inmediato respecto al orden R. Demostracin. Si a = 1, por la propiedad 1.3.5 existe b N tal que a = b +1 o luego b R a y adems b = a pues, por la propiedad 1.3.4, b = b + 1. As b es a antecesor estricto de a. Adems b es antecesor inmediato de a pues no existe c N con a b R c R (b + 1) y c = b, c = b + 1. Supngase, por el contrario, que s existe o 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 tambin e p + q = 1 y, segn la propiedad 1.3.5, existe r N tal que p + q = r + 1. u 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 tambin contiene el elemento. Si e k S entonces tambin m S para todo m con k R m. e Demostracin. Ante todo, debe observarse en la prueba del teorema preceo dente que el antecesor de un elemento a = 1 es el (nico) elemento b tal que u a = b + 1 = (b). En consecuencia, la condicin Si S contiene el antecesor o
31
inmediato de un elemento de N entonces tambin contiene el elemento es e 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 observacin de arriba, (j +n) S pero (j +n) = o (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 hiptesis, k S. Si k = m, existe p N tal que k + p = m de donde o 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 axiomatizacin de los nmeros naturales por Peirce (seccin 3.3) slo o u o o se hace referencia a antecesores inmediatos, pero no es dif garantizar la cil existencia de sucesores. Teorema 4.1.5. Todo elemento tiene un unico sucesor inmediato. Demostracin. Supngase que algn elemento x no posee sucesor inmediato. o o u Esto implica que no existe ningn elemento cuyo antecesor inmediato es x u y que el conjunto unitario S = { x } satisface la condicin para cada n, si o S contiene el antecesor inmediato de n entonces contiene a n, por cuanto no hay ningn elemento n cuyo antecesor inmediato sea x. Por el axioma 4 u de 3.3, de x S se sigue que S contiene todos los sucesores de x; como S es unitario, el unico sucesor de x es el mismo x, es decir, x es un elemento
32
maximal; como el orden es lineal, x es el elemento mximo. Lo cual contradice a el axioma 2. As todo elemento posee sucesor inmediato. Puesto que el orden es lineal, , el sucesor inmediato es unico. Ahora es posible introducir los trminos de la axiomatizacin de Peano. e o Deniciones. La funcin : N N se dene para cada elemento x N como o (x) = sucesor inmediato de x. La constante 1 es el m nimo de N . A continuacin se verican los axiomas de Peano. o Teorema 4.1.6. La funcin es inyectiva. o Demostracin. Puesto que el orden es lineal, dos elementos con el mismo o sucesor inmediato son iguales. Teorema 4.1.7. El elemento 1 no pertenece al recorrido de . Demostracin. El elemento m o nimo no puede ser sucesor inmediato de ningn u 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 . Demostracin. Sea S un subconjunto que satisface las condiciones indicadas. o Si S contiene el antecesor inmediato m de un elemento n, segn la hiptesis u o tambin contiene a (m); pero (m) = (sucesor inmediato de m) = n; as e
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
Comparacin conceptual de o las axiomatizaciones
En esta seccin se intenta plantear y precisar un problema inspirado en los o cap tulos anteriores y, en particular, en la seccin 4.1. Las siguientes son o algunas observaciones que surgen de una comparacin supercial de los siso temas de axiomas presentados por Peirce y Peano. Es claro que los axiomas de Peano son mucho ms elegantes y concisos a que los de Peirce. An si se expresan con la notacin actual de la teor de u o a los conjuntos, como en la seccin 3.3, estos ultimos tampoco tienen la aptitud o para el manejo matemtico y algebraico que tienen los primeros. a Por otra parte, los trminos de la axiomatizacin de Peano aparecen de e o manera muy articial. Aunque es un caso particular abarcado por la teor a de modelos y el lgebra universal, la estructura (Conjunto, Endof uncin) a o no es usual en matemticas. La presentacin de Peirce, en cambio, es cona o textual y natural. Se inicia con una nocin muy comn en matemticas y se o u a empiezan a aadir condiciones que van restringiendo el universo de posibilin dades hasta que en la interseccin queda un solo objeto, precisamente el que o se quer axiomatizar. En este caso se comienza con una relacin, mientras a o las condiciones requeridas son: relacin binaria, transitiva, de orden, lineal, o con m nimo y sin mximo, con antecesores, inductivo... a El hecho de tratarse de una funcin en un caso y de una relacin en el o o otro, parece esconder una diferencia ms profunda entre las axiomatizaciones a
34
de Peano y de Peirce, diferencia oculta o ahogada en la demostracin formal o 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 categricos para o la equivalencia
En esta seccin se indica un posible camino en la solucin del problema o o planteado en la seccin precedente. Una forma de encontrar las diferencias o 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 de categor a as. Desde un punto de vista ms conceptual, es una ciencia que puede pena sarse como un lenguaje universal y sinttico para la matemtica, que pere a mite verla de una forma esencialmente distinta pues cambia el lenguaje interno, anal tico, atomista de la teor de conjuntos por un lenguaje externo, a sinttico, libre. La teor de categor no mira lo que hay dentro de los e a as objetos sino analiza las relaciones entre los mismos. La libertad del lenguaje sinttico hace ver relaciones y similitudes entre conceptos que con la visin e o conjuntista ni siquiera eran pensadas, lo cual se ha comprobado de manera efectiva en varios casos concretos. Por ejemplo, con la teor de categor a as se pudo demostrar que la construccin de los nmeros reales mediante coro u taduras de Dedekind es esencialmente distinta a la construccin mediante o sucesiones de Cauchy, si bien en el contexto restringido de la teor de conjuna tos clsica dan el mismo resultado porque all solo existe un campo ordenado a y completo. Demostrar con la teor de categor que hay una diferencia esencial a as entre las axiomatizaciones de los nmeros naturales dadas por Peano y Peirce u consistir en encontrar alguna categor en las cuales los correspondientes a a
CAP ITULO 4. PEIRCE VS. PEANO objetos nmeros naturales no son isomorfos. u
35
Puede considerarse que el objeto nmeros naturales de Lawvere es la u traduccin al lenguaje categrico de los axiomas de Peano, pues los trminos o o e son los mismos. Falta encontrar una traduccin al mismo lenguaje de los o axiomas de Peirce, para luego empezar a recorrer un espectro de posibilidades en bsqueda de un contexto apropiado para ver las diferencias. u El problema concreto que se plantea, y que en este trabajo se deja abierto, es: traducir la axiomatizacin de Peirce al lenguaje de las echas. o
Cap tulo 5 Traduccin de On the Logic of o Number
36
Sobre la Lgica del Nmero o u

Charles S. Peirce
Nadie puede poner en duda las propiedades elementales concernientes al nmero: las que no son maniestamente verdaderas a primera vista se u verican mediante las demostraciones usuales. Pero aunque vemos que son verdaderas, no vemos tan fcilmente con precisin por qu son verdaderas; a o e tanto es as que un lgico ingls de renombre ha abrigado la duda si ser o e an verdaderas en todo el universo. El objetivo de ste art e culo es mostrar que ellas son consecuencias estrictamente silog sticas de unas pocas proposiciones primarias. La cuestin acerca del origen lgico de stas ultimas, que aqu o o e considero como deniciones, requerir una discusin aparte. En mis pruebas a o me veo obligado a emplear la lgica de relativos, en la cual las formas de o 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 suposicin de la existencia de singularidades, que no es o requerida por el silogismo. Conf que la seleccin de proposiciones probadas ser suciente para o o a mostrar que todas las dems podr ser probadas con mtodos similares. a an e Sea r cualquier trmino relativo, de manera que de una cosa puede decirse e que es r de otra y que la ultima es r-afectada por la primera. Si en cierto sistema de objetos, todo lo que sea r de un r de cualquier cosa es, l mismo, e 37
CAP ITULO 5. TRADUCCION DE ON THE LOGIC OF NUMBER
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, supngase que los q de cualquier o 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 mltiple;1 un sistema en el cual de cada dos cantidades alguna es q de la otra u se denomina simple. Cantidad Simple. En un sistema simple toda cantidad es o bien tan grande como o bien tan pequea como cualquier otra; cualquier cosa que sea tan grande como n algo que a su vez es tan grande como una tercera cosa, es sta misma tan e grande como esa tercera, y ninguna cantidad es a la vez tan grande como y tan pequea como alguna otra, excepto s misma. n Un sistema de cantidad simple es continuo, discreto o mixto. Un sistema continuo es uno en el que cualquier cantidad mayor que otra, es tambin e 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 sta sin ser mayor que ninguna e otra mayor que ella). Un sistema mixto es uno en el cual algunas cantidades
Por ejemplo en el lgebra ordinaria de imaginarios, dos cantidades pueden resultar a ambas de la adicin de cantidades de la forma a2 + b2 i a la misma cantidad, sin estar o ninguna en esta relacin con la otra. o
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 mxima aba soluta 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 direccin de crecimiento o o decrecimiento, es en sta direccin innito o super-innito. Un sistema ine o nito 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 tambin es accesible, entonces e 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 tambin a esa clase, entonces es cierto que toda cantie dad mayor que una cantidad de esa clase pertenece a esa clase. Si la clase de nmeros en cuestin est constituida por todos los nmeros en los que u o a u una cierta proposicin es verdadera, entonces un sistema innito puede ser o denido como uno en el que del hecho de que para cualquier proposicin, o si es verdadera para algn nmero, es verdadera para el sucesor inmediato, u u puede inferirse que si esta proposicin es cierta para algn nmero, es cierta o u u para todo nmero mayor. u En un sistema super-innito esta proposicin, en sus diversas formas, es o falsa.
CAP ITULO 5. TRADUCCION DE ON THE LOGIC OF NUMBER Cantidad Semi-innita.
40
Ahora procedemos a estudiar las proposiciones fundamentales de la cantidad semi-innita, discreta y simple, que es el nmero ordinario. u Deniciones. El nmero m u 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 nmero y; y en los otros casos u 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 despus del s e mbolo mismo. Teoremas. En todos los casos la prueba consistir en mostrar, 1o , que la proposicin a o es verdadera para el nmero uno, y 2o , que si es verdadera para el nmero u u n, es verdadera para el nmero 1 + n, sucesor inmediato de n. Las diferentes u transformaciones de cada expresin se alinearn la una debajo de la otra en o a una columna, con las indicaciones de principios de transformacin en otra o columna. 1. A probar la ley asociativa de la adicin, o (x + y) + z = x + (y + z) para cualesquier nmeros x, y y z. Primero, esto es verdadero para u x = 1; porque
CAP ITULO 5. TRADUCCION DE ON THE LOGIC OF NUMBER (1 + y) + z
41
= 1 + (y + z) por la denicin de la adicin, 2a clusula. Segundo, si o o a 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 denicin de adicin: o o por la denicin de adicin: o o por hiptesis: o por la denicin de adicin. o o
2. A probar la ley conmutativa de la adicin, o x+y =y+x para cualesquier nmeros x y y. Primero, esto es cierto para x = 1 u 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 hiptesis. o
As hemos probado que, para todo nmero x, x + 1 = 1 + x, o que u x+y = y +x para y = 1. Ahora debe mostrarse que si sto es verdadero e para y = n, es verdadero para y = 1 + n; sto es, si x + n = n + x e
CAP ITULO 5. TRADUCCION DE ON THE LOGIC OF NUMBER 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 completa. a por la ley asociativa: como se acaba de ver: por la denicin de adicin: o o por hiptesis: o por la denicin de adicin. o o
42
3. A probar la ley distributiva, primera clusula. La ley distributiva est a 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 denicin de multiplicacin: o o por la denicin de multiplicacin. o o
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 denicin de adicin: o o por la denicin de multiplicacin: o o por hiptesis: o por la ley asociativa de la adicin: o por la denicin de multiplicacin. o o
CAP ITULO 5. TRADUCCION DE ON THE LOGIC OF NUMBER 4. A probar la segunda proposicin de la ley distributiva, o x(y + z) = xy + xz. Primero, esto es verdadero para x = 1; porque 1(y + z) =y+z = 1y + 1z por la denicin de multiplicacin: o o por la denicin de multiplicacin. o o
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 denicin de multiplicacin: o o por hiptesis: o por las leyes de la adicin: o por la denicin de multiplicacin. o o
5. A probar la ley asociativa de la multiplicacin; esto es, que o (xy)z = x(yz) para cualesquier nmeros x, y y z. Primero, sto es verdadero para u e x = 1, porque (1y)z = yz = 1 yz por la denicin de multiplicacin: o o por la denicin de multiplicacin. o o
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 denicin de multiplicacin: o o por la ley distributiva: por hiptesis: o por la denicin de multiplicacin. o o
6. A probar la ley conmutativa de la multiplicacin, que o xy = yx para cualesquier nmeros x y y. En primer lugar, probamos que sto es u e 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, sta es e 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 denicin de multiplicacin: o o por hiptesis: o por la denicin de multiplicacin: o o por la denicin de multiplicacin. o o
Habiendo mostrado as que la ley conmutativa es verdadera para y = 1, procedemos a probar que si es verdadera para y = n, tambin lo es para e
45
y = 1 + n; sto es, si xn = nx, entonces x(1 + n) = (1 + n)x. Porque e (1 + n)x = x + nx = x + xn = 1x + xn = x1 + xn = x(1 + n) por la denicin de multiplicacin: o o por hiptesis: o por la denicin de multiplicacin: o o como ya probamos: por la ley distributiva.
Cantidad Discreta Simple Innita en ambas direcciones. Un sistema de nmeros innito en ambas direcciones no tiene m u nimo, pero cierta cantidad se llama uno, y los nmeros tan grandes como este u constituyen un sistema parcial de nmeros semi-innito, del cual ste es u e m nimo. Las deniciones de adicin y multiplicacin no requieren cambios, o o excepto que el uno debe entenderse en el nuevo sentido. Para extender las pruebas de las leyes de la adicin y la multiplicacin o o a nmeros ilimitados, es necesario mostrar que si son verdaderas para algn u u nmero (n + 1) entonces tambin lo son para el antecesor inmediato n. Para u e ste n podemos usar las mismas transformaciones que en la segunda clusula e a de la prueba anterior; slo tenemos que hacer uso del siguiente lema. o Si x + y = x + z entonces y = z, para cualesquier nmeros x, y y z. u Primero, sto es verdadero para el caso x = 1, porque entonces y y z son e ambos antecesor inmediato del mismo nmero. Por consiguiente, ninguno u es ms pequeo que el otro, de otro modo no podr ser el antecesor ina n a mediato de 1 + y = 1 + z. Pero en un sistema simple, de dos nmeros u diferentes siempre alguno es ms pequeo que el otro. De aqu que y y z son a n iguales. Segundo, si la proposicin es verdadera para x = n, es verdadera para o x = 1 + n. Si (1 + n) + y = (1 + n) + z, entonces por la denicin de adicin o o
46
1 + (n + y) = 1 + (n + z); de donde se sigue que n + y = n + z, y, por hiptesis, que y = z. Tercero, si la proposicin es verdadera para x = 1 + n, o o 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 proposicin ha sido probada o para 1, para todo nmero mayor y para todo nmero menor, y por lo tanto u u es universalmente cierta. Una inspeccin de las pruebas anteriores de las propiedades de la adicin o o y la multiplicacin para nmeros semi-innitos mostrar que estas realmente o u a se extienden a nmeros doblemente innitos por medio de la proposicin u o recin probada. e El antecesor inmediato de uno es llamado cero, 0. De manera simblica, o esta denicin puede expresarse como 1 + 0 = 1. Para probar que x + 0 = x, o sea x el antecesor inmediato de x. Entonces, x+0 = (1 + x ) + 0 = (1 + 0) + x =1+x =x por la denicin de x : o por las leyes de la adicin: o por la denicin de cero: o por la denicin de x . o
A probar que x0 = 0. Primero, en el caso x = 1, la proposicin vale por o la denicin de multiplicacin. Adems, si es verdadera para x = n tambin o o a e es verdadera para x = 1 + n. Porque (1 + n)0 =10+n0 =10+0 =10 =0 por la ley distributiva: por hiptesis: o por el ultimo teorema: como antes.
Tercero, si la proposicin es verdadera para x = 1 + n entonces tambin es o e
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 proposicin est o a probada. Un nmero que sumado a otro da cero, se llama el negativo del ultimo. u A probar que todo nmero mayor que cero tiene un negativo. Primero, el u antecesor inmediato de cero es el negativo de uno; pues por la denicin de o adicin, uno ms ste nmero es cero. Segundo, si un nmero cualquiera n o a e u u 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 adicin: o por la ley conmutativa de la adicin. o
As que (1 + n) + m = 0. Q.E.D. De aqu todo nmero mayor que cero tiene , u 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 denicin de negativo: o por la penltima proposicin: u o por la ley distributiva: por la denicin de negativo. o
El negativo del negativo de un nmero es ese nmero. Porque x + (x) = u u 0. De donde por la denicin de negativo x = (x). o
CAP ITULO 5. TRADUCCION DE ON THE LOGIC OF NUMBER Cantidad Discreta Simple Limitada.
48
Un trmino relativo c tal que todo c de cualquier cosa es el unico c de e esa cosa, y es un c slo de esa cosa, se llama un relativo de correspondencia o simple. En la notacin de la lgica de relativos, o o c < 1, c cc < 1.
Si todo objeto s de una clase est en una relacin tal, siendo c-afectado a o por un nmero de un sistema discreto simple semi-innito y si, adems, todo u a nmero menor que un nmero c de un s es l mismo c de un s, entonces se u u e dice que los nmeros c de los s los cuentan, y el sistema de correspondencia u se llama una cuenta. En notacin lgica, poniendo g por tan grande como y o o n por un nmero entero positivo, u s < cn g cs < cs.
Si en una cuenta hay un nmero mximo, la cuenta se dice nita y ese nmero u a u se llama el nmero de la cuenta. Si [s] denota el nmero de una cuenta de u u los s, entonces [s] < cs g cs < [s]
El relativo ser idntico con satisface la denicin de un relativo de e o correspondencia simple, y la denicin de una cuenta es satisfecha poniendo o ser idntico con por c, y nmero entero positivo tan pequeo como x e u n por s. En ste modo de contar, el nmero de nmeros tan pequeos como x e u u n es x. Supngase que en una cuenta cualquiera se halla que el nmero de no u u meros tan pequeos como el nmero m n u nimo, uno, es n. Entonces, por la denicin de cuenta, todo nmero tan pequeo como n cuenta un nmero o u n u tan pequeo como uno. Pero por la denicin de uno slo hay un nmero n o o u tan pequeo como uno. Por lo tanto, por la denicin de correspondencia n o singular, ningn nmero diferente de uno cuenta a uno. Por lo tanto, por u u
49
la denicin de uno, ningn nmero diferente de uno cuenta un nmero tan o u u u pequeo como uno. Por lo tanto, por la denicin de cuenta, el nmero de n o u nmeros tan pequeos como uno es, en toda cuenta, uno. u n Si el nmero de nmeros tan pequeos como x en alguna cuenta es y, u u n entonces el nmero de nmeros tan pequeos como y en alguna cuenta es x. u u n Porque si la denicin de correspondencia simple es satisfecha por el relativo o c, igualmente es satisfecha por el relativo c-afectado. Puesto que el nmero de nmeros tan pequeos como x en alguna cuenta u u n es y tenemos, siendo c algn relativo de correspondencia simple, u 1o . Todo nmero tan pequeo como x es c-afectado por un nmero. u n u 2o . Todo nmero tan pequeo como un nmero que es c de un nmero u n u u tan pequeo como x es l mismo c de un nmero tan pequeo como x. n e u n 3o . El nmero y es c de un nmero tan pequeo como x. u u n 4o . Cualquier cosa que no es tan grande como un nmero que es c de un u nmero tan pequeo como x no es y. u n Ahora sea c1 el converso de c. Entonces el converso de c1 es c; de donde, puesto que c satisface la denicin de un relativo de correspondencia simple, o lo mismo hace c1 . Por la 3a proposicin anterior, todo nmero tan pequeo o u n como y es tan pequeo como un nmero que es c de un nmero tan pequeo n u u n como x. De donde, por la 2a proposicin, todo nmero tan pequeo como y o u n es c de un nmero tan pequeo como x; y de sto sigue que todo nmero tan u n e u pequeo como y es c1 -afectado por un nmero. Se sigue adems que todo n u a nmero c1 de un nmero tan pequeo como y es c1 de alguna cosa c1 -afectada u u n por (esto es, siendo c1 un relativo de correspondencia simple, es idntico con) e algn nmero tan pequeo como x. Tambin, siendo tan pequeo como u u n e n un relativo transitivo, todo nmero tan pequeo como un nmero c1 u n u
2
de
un nmero tan pequeo como y es tan pequeo como x. Ahora por la 4a u n n proposicin y es tan grande como cualquier nmero que es c de un nmero o u u
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 pequeo como x, de modo que lo que no es tan pequeo como y no n n es c de un nmero tan pequeo como x; de donde cualquier nmero que u n u es c-afectado por un nmero no tan pequeo como y no es un nmero tan u n u pequeo como x. Pero por la 2a proposicin todo nmero tan pequeo como n o u n x no c-afectado por un nmero no tan pequeo como y es c-afectado por u n un nmero tan pequeo como y. Por lo tanto, todo nmero tan pequeo u n u n como x es c-afectado por un nmero tan pequeo como y. Por tanto, todo u n nmero tan pequeo como un nmero c1 de un nmero tan pequeo como u n u u n y es c1 de un nmero tan pequeo como y. Ms an, puesto que hemos u n a u mostrado que todo nmero tan pequeo como x es c1 de un nmero tan u n u pequeo como y, lo mismo es cierto para x mismo. Ms an, puesto que n a u hemos visto que cualquier cosa que sea c1 de un nmero tan pequeo como u n y es tan pequeo como x, se sigue que cualquier cosa que no es tan grande n como un nmero c1 de un nmero tan pequeo como y no es tan grande u u n como un nmero tan pequeo como x; esto es (siendo tan grande como un u n relativo transitivo), no es tan grande como x, y consecuentemente no es x. Ahora hemos mostrado 1o , que todo nmero tan pequeo como y es c1 -afectado por un nmero; u n u 2o , que todo nmero tan pequeo como un nmero que es c1 de un nmero u n u u tan pequeo como y es l mismo c1 de un nmero tan pequeo como y; n e u n 3o , que el nmero x es c1 de un nmero tan pequeo como y; y u u n 4o , que cualquier cosa que no es tan grande como un nmero que es c1 de u un nmero tan pequeo como y no es x. u n Estas cuatro proposiciones tomadas juntas satisfacen la denicin del o nmero de nmeros tan pequeos como y que cuentan hasta x. u u n De aqu puesto que el nmero de nmeros tan pequeos como uno no , u u n puede ser mayor que uno en cuenta alguna, se sigue que el nmero de nmeros u u tan pequeos como alguno mayor que uno no puede ser uno en cuenta alguna. n Supngase que hay una cuenta en la cual se ha hallado que el nmero de o u nmeros tan pequeos como 1 + m es 1 + n, puesto que acabamos de ver u n
51
que no puede ser 1. En sta cuenta, sea m el nmero que es c de 1 + n, e u y n el que es c-afectado por 1 + m. Consideremos ahora un relativo, e, que diere de c solamente en excluir la relacin de m a 1 + n as como la o relacin de 1 + m a n y en incluir la relacin de m a n . Entonces e ser o o a un relativo de correspondencia singular; porque c lo es y ninguna exclusin o de relaciones de una correspondencia singular afecta este carcter, mientras a la inclusin de la relacin de m a n deja a m como el unico e de n y un e o o slo de n . Ms an, todo nmero tan pequeo como m es e de un nmero, o a u u n u puesto que todo nmero excepto 1 + m que es c de algo es e de alguna cosa y u todo nmero excepto 1 + m que es tan pequeo como 1 + m es tan pequeo u n n como m. Tambin, todo nmero tan pequeo como un nmero e-afectado e u n u por un nmero es e-afectado l mismo por un nmero; porque todo nmero u e u u c-afectado es e-afectado excepto 1 + m, y ste es mayor que todo nmero e u e-afectado. Se sigue que e es la base de un modo de contar en el cual los nmeros tan pequeos como m cuentan hasta n. De sta manera hemos u n e 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 nmero de nmeros tan pequeos como x no puede en manera alguna contar u u n 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 agrupacin nita que cuenta hasta o un nmero tan pequeo como el nmero de los S, entonces todo P es un u n u S. Porque si, contando los P , empezamos con los S (que son una parte de ellos), y habiendo contado todos los S llegamos al nmero n, no quedarn ni u a P ni S. Pues si hubiera alguno, el nmero de los P contar hasta ms que u a a n. De sto deducimos la validez del siguiente modo de inferencia: e Todo Texano mata un Texano, Nadie es muerto por ms de una persona, a Por tanto, todo Texano es muerto por un Texano, suponiendo que los Texanos son una agrupacin nita. Porque por la primera o
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 de nmeros. a u
NOTA. Se puede observar que cuando razonamos que cierta proposicin, si o es falsa para algn nmero, es falsa para algn nmero ms pequeo, y puesto que u u u u a n ningn nmero (en un sistema semi-limitado) es ms pequeo que todo nmero, u u a n u la proposicin debe ser verdadera, entonces nuestro razonamiento es una simple o transformacin lgica del razonamiento que una proposicin verdadera para n, es o o o verdadera para 1 + n, y que es verdadera para 1.
Bibliograf a
[1] APONTE, Julio Csar y CESPEDES, Carlos Andrs. Caracterizacin e e o de Morsmos en Algunas Categoras Algebraicas. Tesis (matemticos), a Universidad del Tolima, 2000. [2] ARISTOTELES. Tratados de Lgica (El Organon). Mxico: Porra, o e u 1975. [3] CAMPOS, Alberto. Axiomtica y Geometr desde Euclides hasta a a Hilbert y Bourbaki. Bogot: edicin privada, 1994. a o [4] DEDEKIND, Richard. Was Sind und Was Sollen die Zahlen? Braunschweig: Vieweg, 1888. Traducido al espaol: Qu son y para qu sirven n e e los Nmeros? Madrid: Alianza Editorial. u [5] EUCLIDES. Elementos. Libros I-VI. Traduccin: Mar Luisa Puertas o a Castaos. Madrid: Planeta-De Agostini, 1999. n [6] GRATTAN-GUINNESS, Ivor. Peirce: Entre la Lgica y las Matemo a ticas. 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

Axiomatizaciones

Uploaded by

Document Information

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

Axiomatizaciones

Uploaded by

Copyright:

Available Formats

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

LINA MAR BEDOYA MEJ IA IA

UNIVERSIDAD DEL TOLIMA FACULTAD DE CIENCIAS IBAGUE 2003

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

LINA MAR BEDOYA MEJ IA IA

UNIVERSIDAD DEL TOLIMA FACULTAD DE CIENCIAS IBAGUE 2003

2 La axiomatizacin de Lawvere o 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

Comparacin conceptual de las axiomatizaciones . . . . . . . . 33 o Contextos categricos para la equivalencia . . . . . . . . . . . 34 o 36 53

5 Traduccin de On the Logic of Number o Bibliograf a

INTRODUCCION ese contexto. Esa axiomatizacin no es muy conocida. o

Cap tulo 1 La axiomatizacin de Peano o

Presentacin de los n meros naturales o u por Peano

CAP ITULO 1. LA AXIOMATIZACION DE PEANO

CAP ITULO 1. LA AXIOMATIZACION DE PEANO

Axiomatizacin de los n meros naturales o u seg n Peano u

CAP ITULO 1. LA AXIOMATIZACION DE PEANO

Las operaciones y sus propiedades

CAP ITULO 1. LA AXIOMATIZACION DE PEANO Demostracin. Por induccin sobre a. o o

CAP ITULO 1. LA AXIOMATIZACION DE PEANO

CAP ITULO 1. LA AXIOMATIZACION DE PEANO Demostracin. Por induccin sobre a. o o

Cap tulo 2 La axiomatizacin de Lawvere o

El objeto n meros naturales u introducido por Lawvere

CAP ITULO 2. LA AXIOMATIZACION DE LAWVERE

CAP ITULO 2. LA AXIOMATIZACION DE LAWVERE

CAP ITULO 2. LA AXIOMATIZACION DE LAWVERE

Axiomatizacin de los n meros naturales o u seg n Lawvere u

CAP ITULO 2. LA AXIOMATIZACION DE LAWVERE

Lawvere vs. Peano

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

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

CAP ITULO 2. LA AXIOMATIZACION DE LAWVERE

CAP ITULO 2. LA AXIOMATIZACION DE LAWVERE

Ahora se asumen vlidos los axiomas dados en 1.2. a

CAP ITULO 2. LA AXIOMATIZACION DE LAWVERE Armacin 2.3.3. La funcin s es unica. o o

Cap tulo 3 La axiomatizacin de Peirce o

Acerca de Charles S. 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 DE PEIRCE la solucin de problemas abiertos importantes. o

Contenido del art culo On the Logic of Number

CAP ITULO 3. LA AXIOMATIZACION DE PEIRCE

CAP ITULO 3. LA AXIOMATIZACION DE PEIRCE

CAP ITULO 3. LA AXIOMATIZACION DE PEIRCE

Axiomatizacin de los n meros naturales o u seg n Peirce u

Las operaciones y sus propiedades

CAP ITULO 3. LA AXIOMATIZACION DE PEIRCE

Cap tulo 4 Peirce vs. Peano

Equivalencia entre las axiomatizaciones

CAP ITULO 4. PEIRCE VS. PEANO

CAP ITULO 4. PEIRCE VS. PEANO Demostracin. o

CAP ITULO 4. PEIRCE VS. PEANO

CAP ITULO 4. PEIRCE VS. PEANO

CAP ITULO 4. PEIRCE VS. PEANO

Comparacin conceptual de o las axiomatizaciones

CAP ITULO 4. PEIRCE VS. PEANO

Contextos categricos para o la equivalencia

Cap tulo 5 Traduccin de On the Logic of o Number

Sobre la Lgica del Nmero o u

CAP ITULO 5. TRADUCCION DE ON THE LOGIC OF NUMBER

CAP ITULO 5. TRADUCCION DE ON THE LOGIC OF NUMBER