Fundamentos de la Matemtica

Cristina Pascual Deocn Madrid, 7 de Diciembre de 2005

Fundamentos de la Matemtica
Introduccin

INTRODUCCIN
Hace aproximadamente un siglo un grupo de importantes matemticos alemanes, franceses, americanos, etc. estuvo inmerso en una discusin a fondo sobre los fundamentos de las matemticas. Se trataba de eliminar una serie de paradojas que haban surgido en Teora de Conjuntos, pero tambin se discuti sobre lo que es o no aceptable en matemticas. Adems de las paradojas lgicas, otra cuestin que produjo cierta incertidumbre en la comunidad matemtica de la poca, es el hecho de que el axioma de eleccin posea consecuencias muy poco intuitivas, como el Axioma de Zermelo o la descomposicin paradjica de Banach-Tarsky y por tanto, resultaba un poco duro admitir el axioma de eleccin como axioma. Como resultado de estas discusiones surgieron varias escuelas de pensamiento que, desde entonces, se encuentran enfrentadas (formalistas, intuicionistas). Adems, la demostracin por parte de Gdel de ciertos resultados sobre incompletitud y consistencia de los sistemas formales que contienen la aritmtica elemental, acab con el sueo de Hilbert de establecer un consenso definitivo entre dichas escuelas. A pesar de la naturaleza pesimista de los resultados de Gdel, hay que decir que su trabajo motiv el desarrollo posterior de teoras matemticas muy interesantes, como son por ejemplo los diferentes conceptos de algoritmo, de computabilidad y de recursividad. Adems, tambin debemos a Gdel algunos resultados optimistas, como son la suficiencia semntica de la lgica de primer orden y la consistencia de axioma de eleccin e hiptesis del continuo con el resto de axiomas de Teora de Conjuntos.

Pgina 1

Fundamentos de la Matemtica
Enfoque Conjuntista

ENFOQUE CONJUNTISTA
Es bien sabido que el enfoque conjuntista ha tenido una gran importancia en el siglo XX como elemento unificador y sistematizador de la matemtica moderna. Que esto sera as resultaba ya previsible a finales del XIX, como consecuencia, entre otras cosas, de los esfuerzos de rigorizacin que se haban llevado a cabo bajo la consigna de la llamada aritmetizacin del anlisis. El desarrollo de la teora de conjuntos ha sido bien estudiado, particularmente en conexin con la obra pionera y sumamente original de Cantor. Sin embargo, varias propuestas de reorientacin conjuntista tuvieron lugar antes de que Cantor comenzara sus trabajos. Las races de la nocin de conjunto estn en el anlisis real, en la teora de series trigonomtricas y concretamente en la cuestin de la representacin de funciones discontinuas mediante series de Fourier, que llev a Cantor a comenzar un estudio detallado de los conjuntos de puntos de discontinuidad. El genial descubrimiento, en diciembre de 1873, de que el conjunto de los reales no es numerable llev a Cantor a formular la nocin de cardinalidad de un conjunto infinito, y le orient a la investigacin de problemas de teora de conjuntos pura. En su trabajo, desarrollado hasta 1897, se fueron acuando otras importantes nociones como la de conjunto bien ordenado, nmero transfinito, varias ideas claves de la teora de conjuntos de puntos, etc. Para entender el enfoque conjuntista, pasamos a los acontecimientos que se sucedieron en la segunda mitad del XIX. Conjuntos: 1854 - 1872 El quinquenio 1868 - 1872 se antoja una etapa de hiperactividad. Las principales contribuciones que hay que resear son obra de matemticos alemanes, lo que probablemente se debe al peculiar ambiente intelectual que se viva en aquella zona, sobre todo, a la orientacin generalizada hacia una matemtica pura. Y entre esos matemticos destacan, por la impronta que dejaron, Riemann, Dedekind y Cantor. Cronolgicamente, la primera contribucin es de Riemann. As, en la famosa leccin Sobre las hiptesis en que se basa la geometra", Riemann no se limita a hablar de geometra, sino que esboza algo as como un marco general para la matemtica y en particular para la naciente topologa. En este contexto presenta la nocin de variedad. Esta palabra no tena el sentido tcnico que adquiri a principios del siglo XX, pero el caso es que, admita tanto variedades discretas, que relacionaba con los nmeros naturales, como variedades continuas. Las variedades continuas, segn Riemann, pueden estudiarse desde un punto de vista mtrico, introduciendo los nmeros reales, pero tambin desde el punto de vista del analysis situs (esto es, topolgico). Cmo lleg Riemann a la idea de variedad, es decir, de conjunto? Haba esbozado una nueva aproximacin a la teora de funciones en su tesis doctoral de 1851, donde desarrollaba de forma muy original la idea del plano complejo, introduciendo la nocin de superficie de Riemann. Esto resultaba muy til para analizar de forma abstracta las propiedades de las funciones complejas multivaluadas. Todo esto resultaba muy satisfactorio para Riemann, que estaba radicalmente a favor de un enfoque conceptual de la matemtica, mucho mejor, en su opinin, introducir el concepto de superficie de Riemann, que estudiar las funciones complejas a travs de representacin mediante series, al estilo de Weierstrass.

Pgina 2

Fundamentos de la Matemtica
Enfoque Conjuntista

Las variedades o conjuntos no son algo de carcter propiamente geomtrico, sino muy generales e incluso esenciales para toda la matemtica. Los conjuntos pueden ser discretos o continuos, en cuyo caso podrn analizarse sus propiedades topolgicas o sus propiedades mtricas, introduciendo una unidad de medida y empleando los reales. Ms an, somos libres de considerar variedades de cualquier nmero de dimensiones, incluso de infinitas dimensiones [Riemann 1868]. De acuerdo con esto, una vez que concebimos la matemtica desde un punto de vista conjuntista, la teora riemanniana de funciones resulta aceptable, y la introduccin de superficies de Riemann no supone recurrir a la geometra, sino a la nocin bsica de conjunto. Estas ideas de Riemann quedaron plasmadas a un nivel intuitivo, que no iba mucho ms all de este esbozo. Tanto Dedekind como Cantor hicieron contribuciones relacionadas con estas ideas topolgicas, tratando de fundamentar y clarificar las nociones de continuidad y dimensin que ste haba presupuesto. El otro trabajo de Riemann, publicado en 1868, es su tesis sobre series trigonomtricas donde presenta su concepcin de la integral. Estimul un estudio serio, por vez primera, de funciones discontinuas. Fue dentro de este marco donde se encuadraron los primeros trabajos famosos de Cantor que le llevaron a la teora de conjuntos de puntos. De modo que Riemann parece haber sido un inspirador clave de la reorientacin conjuntista y abstracta, y una gran influencia tanto para Cantor como para Dedekind. Pasemos a Dedekind. En 1871 publica su teora de los nmeros algebraicos, tambin llamada teora de ideales. En lugar de trabajar directamente sobre los nmeros algebraicos y sus propiedades, reformula toda la cuestin en trminos de conjuntos de nmeros. Comienza presentando la nocin de cuerpo, habla tambin de anillos de enteros, de mdulos y de ideales. De acuerdo con Dedekind, un ideal es un conjunto de enteros que es cerrado para las operaciones de suma y diferencia (es un mdulo) y tambin para el producto de sus elementos por enteros del cuerpo correspondiente. Dedekind preferira un enfoque conjuntista, pese a que no era en absoluto habitual entre sus contemporneos ni siquiera en algebra. Para entender cmo lleg a esta reformulacin debemos retrotraernos a los aos 1850, cuando Dedekind asiste a las clases de Riemann y realiza sus primeros trabajos originales en lgebra y sobre los fundamentos de la aritmtica. En las clases sobre lgebra que imparte en Gttingen, Dedekind presenta la teora de Galois en una versin muy moderna, analizando las interacciones entre (lo que hoy llamamos) los subcuerpos del cuerpo de descomposicin y los subgrupos del grupo de Galois de un polinomio. En los aos 1850, realiza tambin algunos estudios sobre teora abstracta de grupos, manejando las nociones de isomorfismo y homomorfismo. As se familiariza con el lenguaje conjuntista en el contexto del lgebra, y tambin en el de los fundamentos de la aritmtica: su conocida definicin de los nmeros reales mediante cortaduras (que no son sino clases infinitas de racionales, con una cierta estructura de orden) es de 1858, aunque slo se public en 1872. Si todos los puntos de una lnea recta son de dos clases, de manera que cada punto de la primera clase est a la izquierda de cada punto de la segunda clase, entonces existe un y nicamente uno que ocasiona la particin de todos los puntos en dos clases, separando la recta en dos porciones.

Pgina 3

Fundamentos de la Matemtica
Enfoque Conjuntista

Este principio de continuidad sugiere a Dedekind cmo completar el orden de los nmeros racionales: creando un nmero para cada corte irracional, o sea, introduciendo un nmero para cada corte (A, B) del conjunto de los nmeros racionales. Una cortadura es una particin de Q en dos subconjuntos disjuntos (A, B) tal que cada nmero de A es menor que todo nmero de B. El conjunto de los nmeros reales es (en esencia) el conjunto de todas las cortaduras sobre Q , y Dedekind demostraba rigurosamente que dicho conjunto es continuo. Dedekind no identifica (como suele hacerse actualmente al presentar su construccin) un nmero racional con el corte que lo determina ni con cualquier otro conjunto. En todo caso hacerlo o no es una mera cuestin de preferencia. Como escribi el mismo Dedekind: si no se quiere introducir nuevos nmeros, no tengo nada en contra: el teorema que demuestro dice entonces: el sistema de todas las cortaduras en el dominio, por s discontinuo, de los nmeros racionales, constituye una variedad continua. De todos modos, a estas alturas Dedekind todava no haba visto la conveniencia de utilizar ideas conjuntistas en la teora de nmeros algebraicos. Hacia 1870 se dio cuenta de que introduciendo conjuntos de nmeros (la nocin de ideal) era posible dar una solucin general. Todo poda hacerse en trminos de nmeros y conjuntos de nmeros. As, por razones matemticas y metodolgicas, la teora se reformula en trminos conjuntistas. A partir de entonces, Dedekind ser un convencido defensor del empleo del lenguaje conjuntista en matemtica pura: toda su vida trabaj en sistematizar y reformular las nociones clave de la aritmtica, el lgebra y el anlisis desde esa perspectiva. Desde 1872 trabaja en una definicin similar de los nmeros naturales, que saldr a la luz en su libro de 1888, Qu son y para qu sirven los nmeros, junto con la definicin precisa del concepto de infinitud (un conjunto A es infinito si y slo si existe una biyeccin entre A y un subconjunto propio de A). Los nmeros naturales constituyen un sistema simplemente infinito con respecto al nmero 1 y a la operacin sucesor . Esto significa que: i) ii) iii)

es una funcin inyectiva de N en N . 1 no es un valor de (1 ( N ) ) , es decir, no es un sucesor. N es la - cadena de {1}, lo que significa que es el ms pequeo conjunto que satisface i) y ii) y es cerrado bajo .
N = I{ X N : 1 X ( X ) X }

Dedekind elabor las definiciones conjuntistas habituales de N , Z , Q y .

Como hemos dicho Dedekind public su teora de los reales en 1872. Este fue, de hecho, el ao en que se dieron a conocer todas las principales definiciones de los reales, incluyendo la de Weierstrass y la de Cantor. Estas definiciones difieren entre s: Weierstrass define los reales como series convergentes de racionales. Cantor los define como sucesiones de Cauchy sobre Q . Dedekind como cortaduras en Q .

Pgina 4

Fundamentos de la Matemtica
Enfoque Conjuntista

Pero en todos los casos se trata de conjuntos complejos e infinitarios que se introducen sobre la base del conjunto de los nmeros racionales. Dedekind haba resuelto, gracias al fenmeno de las cortaduras, el problema de explicar la continuidad de los nmeros reales en trminos discretos. Pero con esto aparecen nuevas cuestiones como la no numerabilidad de (Cantor 1874). El pistoletazo que dio pie al desarrollo de la teora de conjuntos cantoriana vino solo en 1873, cuando Cantor se plantea una pregunta genial y le da una respuesta sorprendente. La pregunta era: es posible correlacionar biunvocamente los nmeros reales y los naturales?, o en otros trminos, hay la misma cantidad de nmeros en N y en ? La respuesta, establecida en 1873 sobre la base de la completitud de , result ser no, y con ella adquiri sentido la nocin de cardinalidad de un conjunto infinito, ya que se prueba que existen conjuntos infinitos de diferentes tamaos. Cantor descubri numerosas propiedades de los tamaos de los conjuntos infinitos. Distingui tamaos en los conjuntos infinitos: descubri que no todos los conjuntos infinitos eran equipotentes, es decir, que no todos tienen el mismo nmero de elementos. Cantor defini que dos conjuntos eran equivalentes cuando se poda definir una correspondencia unvoca entre los elementos de uno y otro conjunto. 1 b 2 2 b 4 3 b 6 4 b 8 5 b 10 6 b 12 . . . . . . . .

Correspondencia 1-1 entre los nmeros naturales y todos los pares

Gracias a ello, por ejemplo, demostr que los nmeros racionales podan quedar en correspondencia con los naturales. Cantor llam numerables a aquellos conjuntos cuyos elementos pueden ser puestos en correspondencia 1-1 con los naturales, es decir, los que poseen elementos que se pueden contar. El siguiente paso de Cantor fue an ms impresionante: demostr que no puede haber correspondencia entre el conjunto de los nmeros reales y el conjunto de los naturales. Es decir, los nmeros reales no son numerables, son incontables. La idea bsica de la demostracin es el principio de diagonalizacin. Basta aplicarla sobre el subconjunto de reales comprendidos entre 0 y 1, si dicho subconjunto no es contable, el conjunto de los reales tampoco podr serlo, ya que ste es un subconjunto propio de . La demostracin comienza asumiendo que es posible colocar todos los nmeros reales del intervalo (0,1) en una tabla de infinitos decimales: Primer nmero Segundo nmero Tercer nmero Cuarto nmero 0, a1a2 a3a4 a5 a6 ... 0, b1b2b3b4b5b6 ... 0, c1c2c3c4c5c6 ... 0, d1d 2 d 3d 4 d5 d 6 ...

Pgina 5

Fundamentos de la Matemtica
Enfoque Conjuntista

La parte principal de la demostracin consiste en construir, mediante un proceso de diagonalizacin un nuevo nmero del intervalo (0,1) que no est incluido en la tabla anterior. Para hacer esto basta escoger el primer decimal a de este nmero que difiera de a1 y que no sea ni 0 ni 9 (para evitar ambigedades que resultaran de igualdades como 0.9999...= 1.0000...), elegir b diferente de b2 y que no sea ni 0 ni 9, y as sucesivamente. De esta forma se ha construido el nmero x = 0,abcd... Y ste es diferente de cada uno de los nmeros de la tabla anterior, puesto que difiere del primer nmero en el primer decimal, del segundo en el segundo decimal y en general del nmero que ocupe el lugar n en el n-simo decimal. Esto prueba que la tabla anterior no contiene todos los nmeros del intervalo (0,1) y por tanto, ni ste, ni son numerables. Al cardinal del conjunto de los nmeros reales Cantor lo llam potencia del continuo (c). Cantor desarroll una aritmtica del infinito; si bien su trabajo completo distingue entre dos tipos de nmeros infinitos, los cardinales y los ordinales, nos ocuparemos slo de los cardinales. Los cardinales son los tamaos de los conjuntos cuando se les considera sin tener en cuenta una posible ordenacin. El nmero, o nmero cardinal, de un conjunto es la caracterstica que tiene en comn con todos los conjuntos equivalentes, y por la cual se distingue de cada conjunto del que no es equivalente. Los conceptos equivalente y nmero cardinal son transferidos a conjuntos de infinitos objetos. Los nmeros cardinales de conjuntos infinitos 1, 2, 3, ... se llaman nmeros naturales. Los nmeros cardinales de conjuntos infinitos los llama Cantor nmeros cardinales transfinitos o potencias transfinitas. Cantor introdujo en 1893 la notacin 0 para el cardinal del conjunto de los naturales, o lo que es lo mismo, el cardinal de todo conjunto infinito numerable. As un conjunto que tenga cardinal 0 significa que puede ponerse en correspondencia 1-1 con los N . As que tenemos dos nmeros cardinales transfinitos diferentes 0 y c (que Cantor llamar 1 ), la potencia del conjunto infinito numerable y la potencia del continuo. Hay an otros? La respuesta es que s. Dado un conjunto M en seguida se puede encontrar un conjunto con un nmero cardinal ms elevado, ya que el conjunto de todos los posibles subconjuntos de M tiene un nmero cardinal ms alto que el mismo conjunto M. Por ejemplo, el conjunto de todos los posibles conjuntos de una lnea recta tiene un nmero cardinal ms alto que el conjunto, de todos los puntos de la lnea recta, es decir, un cardinal mayor que c. Luego hay un menor nmero cardinal transfinito, 0 , despus de este hay un siguiente que se llama 1 , luego un 2 , y as sucesivamente. Pero esto no agota la clase de cardinales transfinitos, pues si hemos formado todos los alefs n , cuyo subndice n es un natural, entonces hay otra vez un nmero cardinal primero transfinito ms grande que cualquiera de stos, que Cantor llam w , y un siguiente w +1 , etc. Los sucesivos alefs formados de esta manera representan todos los posibles cardinales transfinitos. Descubri entonces un problema que finalmente se revelara de tal dificultad que ni siquiera hoy ha sido totalmente demostrado, la llamada hiptesis del continuo. Afirma que entre 0 y 1 no existe ningn cardinal intermedio, y que en general, no existe ningn cardinal entre i y i +1 .

Pgina 6

Fundamentos de la Matemtica
Medida

MEDIDA
Se podra decir que la Teora de Conjuntos prepar el terreno para el desarrollo de la Teora de la Medida. sta generaliza el concepto de longitud (recta ), rea (en el plano 2 ),... a conjuntos de puntos ms generales Como hemos dicho, una de las principales razones por la que se investigaron conjuntos est relacionada con las series de Fourier, las cuales dependen de integrales. Asumimos :
1

f(x) =

1 a0 + (an cos nx + bn sen nx ) 2 n =1

an =

f ( x) cos nx dx

bn =

f (x) sen nx dx

- Frmulas derivadas por Fourier -

La existencia de la serie depende de la existencia de las integrales para an y bn , y esto a su vez depender de la continuidad de f. Se buscaban cuales eran los conjuntos de discontinuidad. Se saba que toda funcin continua tena integral, la siguiente pregunta era cmo debera o podra definirse esta integral para funciones discontinuas. La primera respuesta la dio Riemann (1854), que aproximaba la integral con sumas: Se dice que f(x) es integrable Riemann > 0 , = {I j }nj =1 particin de [a,b] tal que:
n Uf( ) - L f( ) = sup f inf j =1 Ij Ij

f longitud (I j ) <

Cualquier funcin con un nmero finito de discontinuidades tiene integral Riemann. Sin embargo, haba una funcin no integrable Riemann, la funcin de Dirichlet: xQ 1 f(x) = 0 x / Q Finalmente aparecera la medida de Lebesgue que permitira medir funciones que la integral de Riemann no poda, como la funcin de Dirichlet. Por fin se produca el cambio: se pasaba del concepto de integracin, a uno ms general: medida. Los matemticos de aquella poca se adaptaban ms fcilmente al concepto de medida en 2 , ya que sta puede ser entendida como rea bajo la curva. Sin embargo se precisaban nuevas aclaraciones para entender el concepto de medida en conjuntos de puntos sobre la recta . La primera explicacin se produce con el descubrimiento de Harnack (1885) de que cualquier conjunto numerable {x0 , x1 , x2 ,...} de puede ser cubierto por una coleccin de intervalos de longitud arbitrariamente pequea (x0 cubierto por un intervalo de longitud / 2, , x1 por uno de longitud / 4, , x2 con uno de / 8, ....). Esto pareca probar que los conjuntos numerables eran pequeos (de medida cero, como decimos ahora). Sin embargo los matemticos de entonces eran reacios para aceptar esto en conjuntos densos como Q . Hay que notar que estos resultados se encuentran altamente influenciados por la Teora de Conjuntos.

Pgina 7

Fundamentos de la Matemtica
Medida

As, se intent dar definiciones de medida en anlogamente a Riemann; es decir, utilizando uniones finitas de intervalos para aproximar subconjuntos de (Jordan 1892). Pero segua habiendo problemas con Q . El primero en seguir la pista dejada por Harnack fue Borel, en su doctorado de 1894 daba el siguiente paso importante: consideraba la numerable aditividad para sus medidas. Adems dio una definicin razonable de conjuntos de medida nula, de hecho, mientras que para sus antecesores los racionales de [0, 1] medan 1, para Borel medan cero. Desde Cantor se saba que todo abierto A era unin, a lo sumo numerable de intervalos abiertos In disjuntos (A = In ). Borel define su medida para un abierto como la serie m[A] = m[In] y describe la clase de los conjuntos (ahora llamados borelianos) que pueden obtenerse a partir de los abiertos, mediante iteraciones en las que se hacen uniones o diferencias, A\B, numerables de conjuntos de la clase, e indica que para estos conjuntos puede definirse una medida que es numerablemente aditiva (la medida de una unin numerable y disjunta de conjuntos medibles es la suma de sus medidas). As si un conjunto S incluido en un intervalo I tena medida (S ) , entonces:

(I S ) = (I ) (S ) , y si S era una unin disjunta de conjuntos Sn con medida (Sn ) , entonces

(S ) = ( S n ) .
n =1

La numerable aditividad de Borel frente a la finita aditividad de Jordan fue una propiedad bsica que permiti obtener los resultados fundamentales en la teora de integracin abstracta, teora que desarroll fundamentalmente Henri Lebesgue (18751941) a partir de su tesis de 1902.
(Sobre esta Teora ya tratarn otros compaeros de clase)

Sin embargo, aunque los Conjuntos motivasen el desarrollo de la Medida, tambin surgieron algunos conflictos. Hay que destacar el axioma de eleccin, perteneciente a la Teora De Conjuntos. Establece que para todo conjunto se tiene una funcin de eleccin. Una funcin de eleccin correspondiente a un conjunto X es una funcin f : X X tal que f ( y ) y para todo y X con y distinto de vaco. El axioma parece tan plausible que pronto los tericos de conjuntos comenzaron a usarlo casi inconscientemente. Atrajo la atencin de Zermelo (1904), que prob que cualquier conjunto S poda estar bien ordenado. Esto pareca un avance para la resolucin de la hiptesis del continuo. Pero la prueba de Zermelo slo daba la existencia de un buen orden en un conjunto S, dando la existencia de una funcin de eleccin para el conjunto de subconjuntos de S. Segua sin saberse explcitamente si constaba de un buen orden. Esto haca dudar del axioma de eleccin. An ms dudas aparecieron en relacin a este axioma cuando se vieron algunas de sus increbles consecuencias en Medida. As en 1924 aparece la famosa descomposicin paradjica de Banach-Tarski, que de hecho es un teorema, y que afirma (gracias al axioma de eleccin) que es posible romper en un nmero finito de trozos una bola unitaria (de 3 ) y obtener, al reordenarlos (mediante movimientos rgidos) dos bolas unitarias. Obviamente, este resultado implica la existencia de conjuntos no medibles (la imposibilidad de asignar una medida a todos los subconjuntos de 3 ). Es ms, implica que la medida de Lebesgue de 3 no se puede extender a todos los subconjuntos del espacio eucldeo, ni siquiera conservando la aditividad finita.

Pgina 8

Fundamentos de la Matemtica
Medida

De modo que aunque se desconfiara del Axioma de eleccin, lo cierto es que haba conjuntos no medibles (para la medida de Lebesgue). Banach-Tarski lo demostraron en 3 , pero tambin se puede ver en . Por ejemplo: En [0,1] definimos la relacin (de equivalencia) xRy x y Q . Sea A* un conjunto formado por un representante de cada clase de equivalencia: [0,1]/ R. - Axioma de eleccin: para seleccionar un elemento de cada clase de equivalencia del conjunto [0,1]/ R, formando el conjunto de los representantes de dichas clases. [x0] = {x0 + r [0,1], r Q } Se trata de ver que A* no es medible. Observacin:
I-. r, s Q ; r s r + A* y s + A* son disjuntos porque si

z r + A* I s + A* z = r + x = s + y ; x, y A* Pero entonces xRy . Por la construccin x = y, y por tanto r = s, y obtenemos contradiccin con la hiptesis.
II-. Tenemos en cuenta la propiedad de la medida exterior de Lebesgue :

) (

Dado A y x , si x + A = {x + y : y A } , m*( x + A ) = m* (A) Si llamamos Q1 = Q I [1,1] [0,1]

Por tanto 1 m* U r + A* rQ 1

rQ1

Ur+A
* rQ1

[1,2] -unin numerable disjunta*

) 3 1 m (A ) 3
II

m*(A*) = 0?

( Si m* tuviera las propiedades de una medida entonces se tendra 1

rQ1

m (A ) 3
* *

m* (A*) no tiene sentido como medida . No todos los subconjuntos de son medibles (para la medida de Lebesgue). Volviendo al tema central, slo decir, que a partir de aqu surgieron suposiciones en las que se observa que conjuntos que tengan medidas no medibles para Lebesgue han de ser conjuntos muy grandes. Pareca que la medida de los subconjuntos de requerira conjuntos mayores que 1 . La hiptesis del continuo segua siendo un problema.

Pgina 9

Fundamentos de la Matemtica

Lgica

LGICA
Desde los tiempos de Leibniz, y quizs antes, se han realizado intentos por mecanizar el razonamiento matemtico. Son pocos los logros conseguidos hasta finales del siglo XIX, cuando se empiezan a definir los objetos matemticos en trminos de conjuntos. La reduccin de conceptos sobre nmeros, espacio, funciones, y su parecido, con el slo concepto de conjunto, trajo consigo la reduccin en el nmero de axiomas que parecan ser necesarios para las matemticas. Esto junto con la lnea de investigacin que llev a un sistema de reglas, para deducir frmulas de un conjunto de axiomas, ofrecieron la posibilidad de un completo y riguroso sistema mecnico para las matemticas. A continuacin se presenta la evolucin de la lgica en base a la divisin de etapas propuesta por Henri Poincar. Henri Poincar presenta un anlisis interesante sobre la historia de la lgica. Trata de conectar la lgica y las matemticas mediante aspectos derivados de Sistemas de Informacin Tecnolgica; muestra cmo sobre grandes pocas, el nfasis ha cambiado de rigor y formalidad a pragmatismo y creatividad. Sugiere que en los ltimos aos ha habido una explosin creativa de aplicaciones poderosas de la lgica. Las cuatro grandes pocas de Poincar son:

PERODO I : Nacimiento de las Matemticas y de la Lgica (600 a.c. - 300 a.c.)

Durante este perodo, los griegos establecieron las matemticas como un proceso deductivo o de razonamiento lgico. A este perodo se le conoce tambin como el Perodo de los Matemticos Griegos Clsicos. Del perodo de los Matemticos Griegos Clsicos, uno de los ms conocidos fue Platn, debido a sus famosos libros: "Los Dilogos" y "La Repblica". Platn naci en Atenas en el Ao de la Gran Plaga (aproximadamente en el ao 429 A.C). En Los Dilogos, Platn describe dilogos imaginarios de Scrates sobre diversos temas, mostrando la gran habilidad para discutir y convencer que Socrtes tena. En La Repblica, Platn describe un estado ideal y la forma en que los gobernantes ideales deberan ser educados, segn l, abarcando las siguientes reas: Aritmtica, Geometra Plana, Geometra Slida, Astronoma, Msica o Armona. Al parecer Platn gustaba mucho de la geometra, hasta tal grado que se dice que en la entrada de la Academia haba un letrero que deca: "Ningn ignorante de Geometra entra aqu". Platn distingua entre crculos geomtricos e ideales, sealando que los primeros pueden ser trazados por el hombre ( algn dispositivo creado por l) y por lo tanto, son imperfectos, mientras que los ideales no pueden ser trazados de ninguna manera, de forma tal que ni siquiera pueden ser vistos. De acuerdo con Platn, en los crculos ideales todas sus tangentes son tales que solo tocan un punto, mientras que en los crculos geomtricos no ocurre as. El filsofo griego ms representativo de esta poca es, sin lugar a dudas, Aristteles, quien propuso el razonamiento deductivo a partir de los silogismos aristotlicos, los cuales son de la forma:
SI todos los HUMANOS son MORTALES AND Todos los GRIEGOS son HUMANOS ENTONCES Todos los GRIEGOS son MORTALES

Curiosamente, Aristteles no era inicialmente un matemtico, sino ms bien un fsico y amante de la Anatoma. Su gran poder de observacin y capacidad deductiva lo llev, segn se cuenta, a tener rivalidad con su maestro PLATN ,quien a su vez era un estudioso de Pitgoras de Samos (famoso por el teorema de Pitgoras) y discpulo de Scrates.

Pgina 10

Fundamentos de la Matemtica

Lgica

PERODO II : Matemticas y Ciencia (1500 - 1800)

El vigor intelectual del renacimiento da pie a una nueva ciencia basada en las Matemticas. De esta manera surge la geometra de coordenadas (llamada Geometra Analtica) de Ren Descartes (1596-1650) y el Clculo Diferencial e Integral de Leibniz (1646-1716). Descartes formul cuatro reglas a las que se debe sujetar cualquier investigacin cientfica: * Slo puede admitirse como verdadero lo que es evidente y est demostrado. * Es indispensable el dividir lo complejo en cuantas partes sea posible. * Proceder de lo simple a lo complejo, de lo ms evidente a lo menos evidente. * Investigar el objeto de estudio en todos sus detalles y pormenores.

PERODO III : Formalizacin de las Matemticas (1821 - 1940)

Durante el siglo XIX, las matemticas son rigorizadas, debido a la influencia de filsofos como Giuseppe Peano (1858-1932), fundador de la lgica simblica, y Hilbert, creador de la escuela Formal. De acuerdo con esta escuela, cualquier enunciado verdadero debe poder ser deducido de los axiomas del sistema. Peano realiza un anlisis del proceso demostrativo de la matemtica. Establece la formulacin axiomtica de la aritmtica a travs de sus famosos Axiomas de Peano, los cuales definen los nmeros naturales en trminos de la teora de conjuntos, surgiendo as, la Lgica Matemtica. Esta axiomatizacin aparece en 1889 en un pequeo libro publicado en Turn, titulado Arithmetices Principia Nova Methodo Exposita. ste, ms que un texto de aritmtica, puede considerarse una introduccin a la lgica, en la cual se presentan por primera vez los smbolos 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. Es un intento para lograr una axiomatizacin de las matemticas en un lenguaje simblico. En el prefacio se introduce una gran cantidad de notacin lgica. l comienza con las explicaciones siguientes: lgica. 1. 2. 3. 4. 5. 6. 7. 8. 9. 1 N. Si a N entonces: a = a. Si a N entonces: a = b si y slo si b = a. Si a, b, c N entonces: a = b, b = c implica a = c. Si a = b y b N entonces: a N. Si a N entonces: a +1 N. Si a N entonces: a = b si y slo si a +1= b +1. Si a N entonces: a +1 1. Si k es una clase, 1k, y si para xN: x k implica x +1k, entonces N k. El smbolo N significa nmero (entero positivo). El smbolo 1 significa unidad. El smbolo a + 1 significa el sucesor de a, o, a ms 1. El smbolo = significa es igual a. En seguida se enuncian los axiomas. En esta presentacin slo se ha modificado la notacin

Pgina 11

Fundamentos de la Matemtica

Lgica

Los axiomas 2, 3, 4 y 5, que se refieren a la igualdad. Los restantes cinco axiomas son conocidos como los Axiomas de Peano. El ltimo axioma es una traduccin del principio de induccin matemtica, est formulado en trminos de clases y contiene una clase variable k. An cuando Peano es el fundador de la Lgica Matemtica, es al alemn Gottlob Frege a quin se le considera el padre de la misma. En 1879 publicaba la obra Escritura conceptual en la que dio carta de naturaleza a la lgica matemtica moderna, mediante la introduccin de una nueva sintaxis, en la que destaca la inclusin de los llamados cuantificadores (para todo o para algn caso de), siendo el primero en separar la caracterizacin formal de las leyes lgicas de su contenido semntico. Nace en este perodo la lgica Booleana de George Boole (1815-1864). El entusiasmo por la lgica y por las matemticas en general, crece; las matemticas son entonces colocadas sobre fundamentos firmes y finalmente formalizadas. Boole defini lo que actualmente se conoce como la Lgica Booleana, en la que slo se trabaja con dos valores: Falso y Verdadero (0 y 1). l introduce el lgebra de la lgica y formula las leyes del Clculo Proposicional. Un avance importante se obtiene entonces con Augustus de Morgan (18061871), quien hace un anlisis de las leyes, smbolos y operaciones de la matemtica. En 1838 l defini el trmino "induccin matemtica" colocando un proceso que ha sido usado sin claridad en una rigurosa base. Expresa rigurosamente las leyes distributivas de la negacin, cre y obtuvo las leyes que llevan su nombre. Son reglas de equivalencia en las que se muestra que dos proposiciones pueden ser lgicamente equivalentes, como se muestra a continuacin. Leyes de Morgan: (P Q) P Q ; (P Q) P Q

Surge el Clculo de Secuentes (o sistema de deduccin natural) de Gentzen, vigente hasta nuestros das y utilizado como un mtodo de deduccin natural. Gentzen fue discpulo de eminentes matemticos como Courant, Landau y el propio Hilbert, para quin fungi como su asistente hasta 1934 en la Universidad de Gottingen, en Alemania, y se cuenta que regres a trabajar con l de 1939 a 1943. Sin embargo, en este perodo, los planteamientos de filsofos, como Russell y Gdel, plantean de acuerdo con la lgica misma, limitaciones no slo a la lgica, sino a la ciencia en general: existen verdades que no pueden ser deducidas de todos los sistemas axiomticos (sistemas incompletos). Bertrand Russell realiz grandes contribuciones a la lgica formal, incluyendo su famosa Paradoja de Russell, la cual es un golpe terrible a la teora de conjuntos clsica. Las paradojas nacen del empleo de un principio de comprensin que permite afirmar como existente cualquier reunin de un todo de objetos (perceptibles o pensables) que satisfagan cierta propiedad. A una reunin tal se denomina conjunto. Por el principio mencionado, se supone una perfecta correspondencia entre conjuntos y propiedades. Russell mostrara que hay al menos una propiedad, x x, que no determina ningn conjunto, si no se quiere caer en contradiccin. As el conjunto de las manzanas no es miembro de s mismo pues l mismo no es una manzana. Sin embargo, el conjunto de todas las cosas pensables es l mismo una cosa pensable, por tanto miembro de s mismo.

Pgina 12

Fundamentos de la Matemtica

Lgica

La forma con que lo explica se puede entender a partir de la siguiente paradoja : El barbero del pueblo afeita a todas las personas del pueblo que no se afeitan ellos mismos Un da al barbero se le ocurri preguntarse si deba afeitarse a s mismo. Y se encontr entonces en medio de una paradoja. Consideremos a C como el conjunto de todos los hombres que no se afeitan a s mismos. La pregunta es: el barbero pertenece o no al conjunto C? Si el barbero pertenece a C entonces no se afeita por s mismo; luego, es un hombre afeitado por el barbero, es decir, por s mismo, con lo cual no pertenece al conjunto C. Es decir, si el barbero pertenece a C entonces no pertenece a C; esto es absurdo. Pensemos a hora que el barbero no pertenece a C, es decir, que se afeita a s mismo; luego, es un hombre afeitado por el barbero, con lo cual no se afeita por s mismo y entonces, pertenece a C. Es decir, si el barbero no pertenece a C entonces pertenece a C; y esto genera otro absurdo. En esta paradoja, Russell plantea la imposibilidad de evaluar expresiones para determinados conjuntos, al definir el conjunto de todos los conjuntos los cuales no son miembros de ellos mismos. Para tal conjunto, si ste existe, l ser un miembro de s mismo, s y slo si, l no es miembro de s mismo. En consecuencia, se tiene una contradiccin. Hasta la fecha se han hecho muchos intentos por resolver la Paradoja de Russell, incluso l mismo incluye una solucin en su Famosa Teora de Tipos, donde la idea bsica es establecer tipos o clases (o bien objetos) los cuales pueden contener tipos o clases (u objetos) de jerarqua inferior y donde un tipo (clase u objeto) no se puede contener a s mismo. La Teora de Tipos de Russell, hizo posible la creacin de lenguajes de especificacin modernos (surgidos a partir de 1980) y la metodologa de diseo y programacin conocida como Orientada a Objetos, que surgi desde 1970 con el lenguaje MODULA y que se hizo popular en los 1990's. Bertrand Russell escribi varias obras importantes. "The Principles" en 1903, donde introduce su famosa Teora de Tipos y en 1908 su artculo "Mathematical Logic as Based on the Theory of Types". La necesidad de resolver las paradojas que haban sido descubiertas entre 1895 y 1905 en Teora de Conjuntos, tuvo como consecuencia una nueva revisin de los fundamentos de la matemtica, y se lleg a la conclusin de que el camino ms firme para avanzar en matemticas pasaba por el establecimiento de una axiomtica para la Teora de Conjuntos similar a las conocidas para la Geometra, as como por la justificacin del uso de dicha axiomtica (y no otra); lo que dio lugar a la definicin y el estudio de una serie de propiedades bsicas que debe satisfacer cualquier sistema de axiomas que se tome (consistencia, completitud, adecuacin, coherencia, etc.). Hubo varias propuestas axiomticas para Teora De Conjuntos: Zermelo-Fraenkel y von NeumannBernays-Gdel. Por otra parte, D. Hilbert (que en 1899 haba publicado una axiomtica completa para la Geometra Eucldea (mucho ms slida que la ofrecida por Euclides en la antigua Grecia), desarroll los conceptos necesarios para el estudio de las propiedades formales de las axiomticas: es lo que entonces se llam Teora de la prueba y actualmente conocemos como metamatemtica. La idea de Hilbert para su Teora de la Prueba era brillante. Se trataba de conseguir una completa formalizacin de la matemtica (en particular, de la Teora de Conjuntos o de la Aritmtica), de manera que, al unir al clculo lgico una correcta interpretacin formal de los axiomas de una teora matemtica concreta, podramos formalizar completamente cualquier afirmacin de dicha teora (en particular, cualquier demostracin) como una ristra finita de frmulas abstractas, cuyos smbolos, aislados y sin interpretacin, carecen de significado por s mismos. Por qu es esto deseable? Algunas de las razones son las siguientes:

Pgina 13

Fundamentos de la Matemtica

Lgica

- Al carecer las sentencias formales, que se puedan deducir en el clculo lgico descrito anteriormente, de un significado concreto, evitaremos la aparicin de las paradojas que se conocan entonces. - Una vez formalizado nuestro sistema, si pudisemos demostrar dentro sistema es consistente, obtendramos una demostracin finitaria de que no utilizar los conceptos que en principio parecan problemticos en Teora siempre que nos ciamos al uso del sistema axiomtico para el cual se consistencia. de ste que el hay peligro en De Conjuntos, ha probado la

- Todo lo que se demuestre en el seno de un sistema formal fijado, funciona como verdadero para cualquier interpretacin que se realice de ste. Veamos algunos de los conceptos bsicos introducidos por Hilbert: Un sistema formal S consta de los siguientes elementos: Un conjunto numerable de signos primitivos, que determina el conjunto de sus hileras o secuencias finitas de signos (con posibles repeticiones). Un conjunto (finito) de reglas combinatorias que determinan bajo qu condiciones podemos afirmar que una hilera de smbolos primitivos es (o no) una frmula. El conjunto L de las frmulas se denomina lenguaje formal del sistema. Un conjunto de reglas combinatorias que sirve para producir deducciones formales (determina qu secuencias de frmulas constituyen una deduccin en el sistema). Estas reglas normalmente incluyen la aceptacin como verdaderas de un conjunto finito de sentencias (frmulas sin variables libres) que reciben el nombre de axiomas del sistema. Las sentencias del sistema. Una sentencia se dice deducible si es la ltima frmula que aparece en una secuencia de frmulas que constituye una deduccin. El conjunto de sentencias deducibles se llama Teora Formalizada.

Dado un sistema formal S, cuyos axiomas estn dados por A. Si es deducible en el sistema, decimos que es una consecuencia sintctica del sistema y se denota como A . Si es una afirmacin verdadera en cualquiera de las posibles interpretaciones del sistema formal, diremos que se trata de una consecuencia semntica de A y lo denotaremos como A . Un sistema formal se dice que es consistente si en l no se pueden derivar (sintcticamente) proposiciones contradictorias. El sistema se dice coherente si las consecuencias sintcticas de ste son tambin consecuencias semnticas. El sistema se dice adecuado si todas las consecuencias semnticas son a su vez consecuencias sintcticas (si todas las verdades son deducibles) Finalmente, el sistema se dice completo si para cada proposicin p de ste se tiene que bien p es deducible o bien p es deducible. Pero puede demostrarse la consistencia, en el sentido del programa de Hilbert, de un sistema como el de los Principia? Fracasaron repetidos intentos de construir tal demostracin. Y la publicacin del artculo de Gdel en 1931 mostr definitivamente que todos esos esfuerzos estaban condenados al fracaso.

Pgina 14

Fundamentos de la Matemtica

Lgica

Gdel prob que no es posible ninguna demostracin metamatemtica de la consistencia formal de un sistema lo suficientemente amplio como para contener toda la aritmtica. Pero lo ms sorprendente es que pone de manifiesto una limitacin fundamental del mtodo axiomtico. Es decir, dado cualquier conjunto consistente de axiomas aritmticos, hay enunciados aritmticos verdaderos que no son derivables de dicho conjunto. La matemtica abunda en enunciados que parecen autoevidentes, para los que no se ha hallado ninguna excepcin y que, sin embargo, se han resistido a todos los intentos de demostracin. Un ejemplo es el Teorema de Goldbach, el cual afirma que todo nmero par mayor que dos, es la suma de dos nmeros primos. Ahora bien, podra sugerirse que se modificaran o completaran los axiomas para tener en cuenta este teorema y otros relacionados con l, hacindolos derivables. Pero Gdel ha mostrado que este planteamiento no promete ninguna solucin final. Esto es, que incluso si el conjunto de axiomas se aumenta mediante la adicin de cualquier nmero finitos de postulados aritmticos, siempre habr otras verdades aritmticas que no son formalmente derivables del conjuntos aumentado. Parece, pues, haber una limitacin inherente al mtodo axiomtico como procedimientos de sistematizacin de toda la aritmtica. Cmo demostr Gdel sus conclusiones? Hasta cierto punto, la estructura de su demostracin est modelada, como observa l mismo, sobre el razonamiento contenido en una de las antinomias lgicas, La Paradoja de Richard. Puede formularse del modo siguiente: Supongamos un determinado lenguaje (el castellano, por ejemplo) en el que puedan expresarse las diversas propiedades puramente matemticas de los enteros; y consideremos las definiciones de esas propiedades que pueden formularse en la notacin de ese lenguaje. As, la propiedad de ser un nmero primo puede definirse por: no divisible por ningn entero distinto de uno y de s mismo; la propiedad de ser un cuadrado perfecto puede definirse por: ser igual a producto de algn entero por dicho entero; y as sucesivamente. Es fcil ver que cada una de esas definiciones contendr un nmero finito de palabras, y, por tanto, un nmero finito de letras del alfabeto. Siendo sta la situacin, las definiciones pueden seriarse, ordenarse segn el nmero de letras que contienen (y las definiciones con el mismo nmero de letras pueden ordenarse alfabticamente dentro de su compartimientos en la serie). A cada definicin corresponder entonces un solo entero; por ejemplo, la definicin de menor nmero de letras corresponder el nmero 1, la siguiente definicin en la serie ordenada corresponder al nmero 2, y as sucesivamente. Y ahora llegamos a un punto curioso. Puesto que a cada definicin corresponde un entero, puede ocurrir en algunos casos que un entero posea la propiedad designada por la definicin a la que corresponde dicho entero en la serie. Supongamos, por ejemplo, que la expresin definitoria no divisible por un entero distinto de uno y de s mismo estuviera correlacionada con el nmero 17; entonces 17 tiene la propiedad designada por aquella expresin. Por otro lado, supongamos que la expresin definitoria ser igual al producto de algn entero por dicho entero resultara correlacionada con el nmero 20; entonces 20 no tiene la propiedad designada por esa expresin. Diremos ahora que (en el segundo ejemplo) el nmero 20 tiene la propiedad de ser richardiano, mientras que (en el primer ejemplo) el nmero 17 no tiene la propiedad de serlo. Ms en general, definiremos del modo siguiente la propiedad de ser richardiano: no tener la propiedad designada por la expresin definitoria con la cual un entero esta correlacionado con el conjunto serialmente ordenado de las definiciones. Pero observaremos ahora que esta misma expresin define una propiedad numrica, de tal modo que tambin ella tiene que pertenecer a la anterior serie de definiciones. Entonces tiene que corresponder a algn nmero, al que llamaremos n, que indica su posicin en la serie. Y puede plantearse la cuestin, que recuerda la antinomia de Russell, de si el nmero n es richardiano. Casi enseguida podemos ver las fatales consecuencias contradictorias de esta pregunta. Pues n es richardiano si y slo si no posee la propiedad designada por la definicin con la que est correlacionado; y es fcil ver que entonces n es richardiano si y slo si no es richardiano. Por tanto, el enunciado n es richardiano es a la ver verdadero y falso.
Pgina 15

Fundamentos de la Matemtica

Lgica

El artculo de Gdel es difcil. Hay que dominar cuarenta y seis definiciones preliminares junto con varios lemas importantes antes de conseguir los resultados principales. Por eso ofrezco la perspectiva de la argumentacin con la siguiente frase por esta proposicin es demostrable si y slo si no es demostrable. Si es demostrable y dice que no lo es, estamos probando algo falso. Si no es demostrable y dice que no lo es, entonces, lo que establece es verdadero, no es demostrable. Tenemos un hueco. En vez de demostrar algo falso tenemos incompletitud, tenemos una proposicin verdadera que nuestra formalizacin no ha podido capturar. La idea es que estamos probando proposiciones falsas. Nuestro sistema formal axiomtico es incompleto, hay algo que es verdad y que no podemos probarlo dentro de nuestro sistema. El resultado es por tanto, que no podemos aspirar a finalizar el programa formalista de Hilbert. Los sistemas formales no tuvieron xito para el razonamiento, pero funcionaron maravillosamente para la computacin. Estas formalizaciones se usan actualmente en los lenguajes de programacin. Las conclusiones de Gdel son tambin importantes para la cuestin de si es posible construir mquinas de calcular que sean buenos sustitutos de una inteligencia matemtica viva. Tales mquinas, como se proyectan y construyen corrientemente, operan segn cierto conjunto fijo de instrucciones incorporado a su funcionamiento, y suponen mecanismos que proceden por pasos sucesivos. Por tanto, a la luz del teorema de incompletitud de Gdel, existe un conjunto infinito de problemas de teora elemental del nmero que esas mquinas son esencialmente incapaces de resolver, por complejos que sean los mecanismos que se les haya incorporado y por rpidas que sean sus operaciones. Puede ocurrir perfectamente que el propio cerebro humanos sea una mquina con limitaciones incorporadas a su estructura y que, por tanto, haya problemas matemticos que sea incapaz de resolver. Pero aun as, el cerebro humano resulta contener una estructura de reglas operativas mucho ms poderosa que la estructura de las mquinas artificiales. No hay, pues, una inmediata perspectiva de sustitucin de la mente humana por robots. Pero nada de todo esto debe interpretarse como una invitacin a la desesperacin. El descubrimiento de que hay verdades aritmticas indemostrables no significa que haya verdades eternamente insusceptibles de descubrimiento. Lo que significa es que los recursos de la inteligencia humana no han sido ni pueden ser formalizados completamente, y que siempre pueden esperarse nuevos principios de demostracin para la invencin y el descubrimiento.

PERODO IV : Revolucin Digital (1940 - 2005)

Empieza con la invencin de la computadora digital, lo que conlleva al acceso universal a redes, conectadas a procesadores digitales y sistemas multimedia, entre otros. La informacin transforma la economa y la sociedad en general. Alan Mathison Turing (1912-1954), establece la relacin entre la lgica y la computacin electrnica. Se plantea la famosa Mquina de Turing, la cual es la base de la Teora de la Computacin actual. Turing es, por tanto, considerado el padre de la Teora de la Computacin. Tambin Turing plantea su famosa Prueba de Turing, la cual es muy conocida hoy en da en Inteligencia Artificial. En esta prueba, Turing cuestiona si ser posible distinguir a una mquina de un ser humano cuando nos proporciona informacin sin que sepamos de antemano de quin se trata.

Pgina 16

Fundamentos de la Matemtica

Lgica

Norbert Weiner (1894-1964), funda la ciencia de la ciberntica y establece el desarrollo de la lgica experimental, por su parte, Alfred Tarski(1902-1983) establece la fundamentacin de la metalgica y la metamatemtica y desarrolla tambin un tratamiento semntico de la verdad. Finalmente Wang Hao (1921- ), quien fu un bigrafo y seguidor de Gdel, formula un algoritmo que permite decidir cundo una frmula del Clculo Proposicional es un teorema. En la escuela moderna de la computacin encontramos lgicos que han permitido avances importantes, afortunadamente todos ellos an vivos. Hoare presenta un sistema axiomtico de los sistemas de programacin y Dijkstra un sistema de verificacin y deduccin de programas a partir de especificaciones. Los mtodos de Hoare actualmente han permitido la especificacin de sistemas distribuidos y concurrentes. Por otra parte James Allen, A. Pnuelli y Mac Dermott, han hecho proposiciones sobre lgica Temporal y Modal que permiten el desarrollo de sistemas de planificacin, donde el manejo del tiempo es crucial. Actualmente los sistemas multiagentes utilizan sistemas formales basados en lgica modal y temporal de Allen, Pnuelli, Mac Dermott o alguna variacin de ellos.

PERODO V : Siguiente Revolucin Lgica (2005 - ?)

La revolucin digital proporciona los fundamentos econmicos y tecnolgicos para la transformacin de redes globales de computadoras en sistemas inteligentes, los cuales usan la lgica y los mtodos formales (basados en mtodos matemticos) para soportar nuestro trabajo, educacin y entretenimiento.

Pgina 17

Fundamentos de la Matemtica

Bibliografa

BIBLIOGRAFA
Sigma. El mundo de las matemticas . Ed. Grijalbo, S.A. Volmenes 4 y 5. Mathematics and its History. John Stillwell. Ed Springer Verlag 2002. Apuntes Teora de la Medida. Fernando Soria. http://www.cs.auckland.ac.nz/CDMTCS/chaitin/cmu2.pdf http:// w3.mor.itesm.mx/~logica/log9808/evolucion.htlm http://divulgamat.net Artculo: El enfoque conjuntista de las matemticas http://www.eio.es/info/articulos/almira.pdf http://www.temakel.com/artborgesbabel.htm

Pgina 18

Transparencias

ENFOQUE CONJUNTISTA:
RIEMANN:

1851 - Presenta la nocin de variedad. 1868 - Su concepcin de integral (funciones discontinuas). 1850 - Alumno de Riemann. Primeros trabajos en lgebra y fundamentos de la aritmtica. Versin moderna de la Teora de Galois. 1871 - Teora de los Nmeros Algebraicos (Cuerpos, Anillos de enteros, Mdulos, Ideales). 1872 - Publica su definicin de Nmeros Reales. 1888 - Qu son y para qu sirven los nmeros - definicin del concepto de infinitud. - definicin nmeros naturales. 1873 - Hay la misma cantidad de nmeros en Cardinalidad de conjuntos infinitos. Numerabilidad:
1 b 2 2 b 4 3 b 6 4 b 8 5 b 10 6 b 12 . .

DEDEKIND:

CANTOR:

N y ?

. .

Reales Incontables - Principio de diagonalizacin:

Primer nmero Segundo nmero Tercer nmero Cuarto nmero

0, a1a2 a3a4 a5 a6 ... 0, b1b2b3b4b5b6 ... 0, c1c2c3c4c5c6 ... 0, d1d 2 d 3d 4 d5 d 6 ...

- Su cardinal: Potencia del continuo c. Aritmtica del Infinito. 0 Y c - Otros Cardinales transfinitos? Si.
0 , 1 , 2 , 3 ,..., n ,..., w ,...

LGICA:
PERODO I : Nacimiento de las Matemticas y de la Lgica (600 a.c. - 300 a.c.) PERODO II : Matemticas y Ciencia (1500 - 1800) PERODO III : Formalizacin de las Matemticas (1821 - 1940) PERODO IV : Revolucin Digital (1940 - 2005)

PEANO

G. BOOLE

G. FREGE

A. MORGAN

B. RUSSELL

HILBERT

GDEL

LGICA (1821 - 1940):

PEANO:

Arithmetices Principia Nova Methodo Exposita. Smbolos actuales, pertenencia, contenencia, existencia, unin, interseccin. Algunas aclaraciones:
El smbolo N significa nmero (entero positivo). El smbolo 1 significa unidad. El smbolo a + 1 significa el sucesor de a o a ms 1. El smbolo = significa es igual a.

1 N. Si a N entonces: a = a. Si a N entonces: a = b si y slo si b = a. Si a, b, c N entonces: a = b, b = c implica a = c. Si a = b y b N entonces: a N. Si a N entonces: a +1 N. Si a N entonces: a = b si y slo si a +1= b +1. Si a N entonces: a +1 1. Si k es una clase, 1 k, y si para x N: x k implica x +1 k, entonces N k.

Axiomas:

G. FREGE:

Escritura conceptual. Smbolos actuales, cuantificadores. Separacin del contenido sintctico y semntico.

G. BOOLE:

Define lo que actualmente se conoce como Lgica Booleana, en la que slo se trabaja con dos valores Verdadero = 1 Falso = 0

A. MORGAN:

Analiza leyes, smbolos y operaciones de la matemtica. Crea las reglas de equivalencia que llevan su nombre.
(P Q) P Q (P Q) P Q

B. RUSSELL:

Plantea la imposibilidad de evaluar expresiones para determinados conjuntos, al definir el conjunto de todos los conjuntos que no son miembros de ellos mismos. Para tal conjunto, si ste existe, l ser miembro de s mismo si y slo si l no es miembro de s mismo (Paradoja del Barbero). Intento de resolucin: Teora de Tipos. En su obra The Principles. Consecuencias: - Metodologa de diseo. - Programacin orientada a objetos.

HILBERT:

Para evitar paradojas desarrolla la Metamatemtica. Trataba de conseguir la completa formalizacin de la Matemtica. Creador de la Escuela Formal.

GDEL:

Puede demostrarse la consistencia, en el sentido del programa de Hilbert de un sistema como el de The Principles?. Cmo demuestra sus conclusiones?. Esta proposicin es demostrable si y solo si no es demostrable Si es demostrable probamos cosas falsas?. Si no es demostrable cmo puedo probarlo?. INCOMPLETITUD