Trabajo de Lgica Matemtica

Georg Ferdinand Ludwig Philipp Cantor (San Petersburgo, 3 de marzo de 1845 Halle, 6 de enero de 1918) fue un matemtico alemn, inventor con Dedekind y Frege
de la teora de conjuntos, que es la base de las matemticas modernas. Gracias a sus
atrevidas investigaciones sobre los conjuntos infinitos fue el primero capaz de
formalizar la nocin de infinito bajo la forma de los nmeros transfinitos (cardinales y
ordinales).
Vivi aquejado por episodios de depresin, atribuidos originalmente a las crticas
recibidas y sus fallidos intentos de demostracin de la hiptesis del continuo, aunque
actualmente se cree que posea algn tipo de "depresin ciclo-manaca". Hoy en da, la
comunidad matemtica reconoce plenamente su trabajo, y admite que significa un salto
cualitativo importante en el raciocinio lgico.

Georg Ferdinand Cantor

(San Petersburgo, 1845 - Halle, Alemania, 1918) Matemtico alemn de origen ruso. El
joven Cantor permaneci en Rusia junto a su familia durante once aos, hasta que la
delicada salud de su padre les oblig a trasladarse a Alemania. En 1862 ingres en la
Universidad de Zurich, pero tras la muerte de su padre, un ao despus, se traslad a la
Universidad de Berln, donde estudi matemticas, fsica y filosofa. Se doctor en 1867
y empez a trabajar como profesor adjunto en la Universidad de Halle.

Georg Cantor

Partiendo de las ideas contenidas en una obra pstuma de Bernhard Bolzano, Paradojas
de lo infinito (1851), en 1874 public su primer trabajo sobre teora de conjuntos. Entre
1874 y 1897, demostr que el conjunto de los nmeros enteros tena el mismo nmero
de elementos que el conjunto de los nmeros pares, y que el nmero de puntos en un
segmento es igual al nmero de puntos de una lnea infinita, de un plano y de cualquier
espacio. Es decir, que todos los conjuntos infinitos tienen el mismo tamao.
Cantor consider estos conjuntos como entidades completas con un nmero de
elementos infinitos completos. Llam a estos nmeros infinitos completos nmeros
transfinitos y articul una aritmtica transfinita completa. Por este trabajo fue
ascendido a profesor en 1879.
Sin embargo, el concepto de infinito en matemticas haba sido tab hasta entonces, y
por ello se granje algunos enemigos, especialmente Leopold Kronecker, que hizo lo
imposible por arruinar su carrera. Estancado en una institucin docente de tercera clase,
privado del reconocimiento por su trabajo y constantemente atacado por Kronecker,
sufri su primera crisis nerviosa en 1884.
Sus teoras slo fueron reconocidas a principios del siglo XX, y en 1904 fue
galardonado con una medalla de la Sociedad Real de Londres y admitido tanto en la
Sociedad Matemtica de Londres como en la Sociedad de Ciencias de Gotinga. En la
actualidad se le considera como el padre de la teora de conjuntos, punto de partida de
exepcional importancia en el desarrollo de la matemtica moderna. Muri en una
institucin mental.
Bertrand Russell

(Trelleck, 1872 - Plas Penrhyn, 1970) Filsofo y matemtico britnico. Su abuelo, el

notable poltico y orador John Russell, haba sido nombrado conde por la reina Victoria,
y desempe los cargos de primer lord del Tesoro y primer ministro. Los padres del
joven Bertrand, de mentalidad liberal con ciertos matices radicales, hubieran deseado
para su hijo una brillante carrera poltica. Y as, luego de la formacin recibida en el
Trinity College de Cambridge, el joven fue enviado en 1888 y para largo tiempo a los
Estados Unidos, a fin de que pudiera estudiar all la vida poltica y las instituciones del
pas.

Bertrand Russell
De nuevo en la patria y, en calidad de "fellow", en el Trinity College, se vio alejado de
tal institucin en 1916 debido a la actitud pacifista intransigente adoptada en el curso de
la primera Guerra Mundial. Ello le vali asimismo cuatro meses de crcel, durante los
cuales redact su Introduccin a la filosofa matemtica (Introduction to Mathematical
Philosophy, 1919).
Anteriormente, en 1900, haba publicado un importante libro acerca de Leibniz, y en
1910 Principia mathematica (en colaboracin con el filsofo A. N. Whitehead), texto
que propona una interpretacin "logstica" de las matemticas. Dicha tesis de la
reduccin absoluta de tal ciencia a lgica haba sido tambin sostenida en Principles of
Mathematics, en 1903. La "teora de los tipos", la de los nmeros como "clases de
clases" y la "paradoja de Russell" fueron los resultados ms significativos de esta
amplia labor de investigacin.
En 1920 nuestro autor se hallaba en Rusia. El mismo ao lleg hasta Pekn, y en tal
ocasin fue considerado muerto por numerosos peridicos europeos; ello se redujo, en
la realidad, a una mera pulmona. Vuelto a Inglaterra, el filsofo public, entre 1921 y
1927, algunos libros que difundieron ulteriormente su celebridad: Anlisis de la mente
(Analysis of Mind, 1921) y Anlisis de la materia (Analysis of Matter, 1927). Con su
segunda esposa, Dora Black, con la cual contrajo matrimonio en 1921 (en 1894 se haba
casado con Alys Smith), estableci en Londres, de 1927 a 1932, una escuela infantil
inspirada en una pedagoga progresiva y despreocupada.
En 1936 celebr terceras nupcias con Patricia Spence, y en 1938 fue llamado a la
Universidad de Chicago en calidad de "visiting professor" de Filosofa. El ao siguiente
ense en la California University, de Los ngeles. En 1940 su cargo en el City College
de Nueva York dio lugar a una polmica extremadamente spera, y provoc apasionadas
protestas en algunos ambientes: se le reprochaba la exposicin en forma singularmente
cruda de sus opiniones acerca de la vida sexual.

Adems de las investigaciones de carcter lgico-matemtico, Russell, en efecto, haba

realizado, con singular fortuna, el estudio de problemas sociales y tico-polticos, y
publicado, en consecuencia, textos como Matrimonio y moral (Marriage and Morale,
1929), La conquista de la felicidad (The Conquest of Happiness, 1930) y La educacin
y el orden social (Education and the Social Order, 1932). En tales obras el autor se
revelaba escritor delicado y agudo, a quien el racionalismo y la elegante irona inducan
a soluciones con frecuencia paradjicas, pero siempre muy estimulantes.
En 1950 recibi el premio Nobel de Literatura. En 1952, a los ochenta aos, se una en
cuartas nupcias a Edith Finch, y en 1953 publicada la novela Satans en los suburbios y
otras narraciones (Satan in the Suburbs and Other Stories). En 1955 dio a la imprenta
el testamento espiritual de Albert Einstein, y se manifest abiertamente en favor de la
prohibicin de la guerra atmica y de los conflictos blicos en general.
Russell rechaz pronto el idealismo metafsico en que fue educado. Su teora del
conocimiento es realista y quiere conectar, a semejanza de la de su colega G. Edward
Moore, con las intuiciones del sentido comn ordinario. Por un lado, es el heredero de la
vetusta tradicin del empirismo britnico, una corriente filosfica unida siempre al
espritu del liberalismo y de la Ilustracin, que pretende reducir todo contenido
cognitivo a los datos de la experiencia sensible. Por otro, es el lgico contemporneo
ms ambicioso, obsesionado con la idea de un lenguaje simblico perfecto, que elimine
toda ambigedad expresiva. El resultado de todas estas preocupaciones es el llamado
atomismo lgico de Russell, una sobria metafsica empirista que se cuenta entre los
mejores logros de la filosofa contempornea.
En sus Principia mathematica (1910-1913), escritos en colaboracin con Alfred North
Whitehead, propuso la solucin de problemas lgicos que venan atormentando a la
filosofa y a la matemtica de las ltimas dcadas. Sus trabajos en la "teora de tipos" y
en la "teora de las descripciones" pueden citarse entre lo ms representativo del estilo
analtico de filosofar, que parte de la lgica para tratar de esclarecer rompecabezas
seculares de la historia del pensamiento.
Russell consideraba misin del intelectual la difusin de una cultura que habite a los
hombres a la revisin de sus propias ideas y a la tolerancia mutua; la ciencia, en calidad
de tal, no basta para la felicidad de los seres humanos, quienes, en la consecucin de tal
objetivo, deben acudir al arte, al amor y al respeto recproco. No fue un ejemplo de
convencionalismo ni de adhesin a los valores establecidos.
Buena parte de su obra es de contenido social y moral, en una vena inconformista muy
poco apta para mentes esquemticas. Respecto a la filosofa poltica, escribi varios
estudios, entre ellos Los caminos de la libertad (1924), en el cual expuso las etapas
histricas del socialismo, el anarquismo y el sindicalismo, trat temas relacionados con
el gobierno, la ciencia y la cultura en el socialismo, adems de analizar las ideas de Karl
Marx, Mijail Alejandrovich Bakunin y otros.
En Vieja y nueva moral sexual (1929) analiz algunas instituciones y valores bsicos de
la sociedad como el matrimonio, la prostitucin, la naturaleza del amor, la educacin

sexual, el divorcio y otros temas vinculados a la moralidad sexual. En su obra El Poder

en los hombres y en los pueblos (1938), examin la categora del poder, amplindola a
numerosos atributos sociales, militares, cientficos, pblicos y econmicos; lo ms
interesante de su anlisis es la tesis que figur dcadas despus como uno de los
elementos claves de la filosofa moderna de que entre tales instituciones y figuras no
hay jerarqua alguna, slo relaciones ms o menos dinmicas que se solapan unas a
otras segn las circunstancias histricas.
En 1945 public la amplia Historia de la filosofa occidental, obra impresionante por su
erudicin, el poder persuasivo a travs de relaciones originales entre filsofos y
tendencias, y sobre todo por la maestra de la prosa, no exenta de ingenio y sentido del
humor, lo que propicia el acercamiento amable de los lectores a este libro monumental
por su extensin y propsitos.
Lgica y filosofa de las matemticas
Russell tuvo una gran influencia en la lgica matemtica moderna. El filsofo y lgico
estadounidense Willard Quine dijo que el trabajo de Russell representaba la ms grande
influencia sobre su propio trabajo.
El primer libro matemtico de Russell, Ensayo sobre los fundamentos de la geometra
(An essay on the foundations of geometry), fue publicado en 1897. Este trabajo fue
fuertemente influenciado por Immanuel Kant. Russell pronto se dio cuenta que el
concepto aplicado hara imposible el esquema espacio-tiempo de Albert Einstein, al cual
consideraba como superior a sus propios sistemas. Desde ah en adelante, rechaz todo
el programa de Kant en lo relacionado a las matemticas y a la geometra, y sostuvo que
su trabajo ms temprano en esa materia careca de valor.
Interesado en la definicin de nmero, Russell estudi los trabajos de George Boole,
Georg Cantor y Augustus De Morgan, mientras que en los Archivos Bertrand Russell en
la Universidad McMaster se encuentran notas de sus lecturas de lgica algebraica por
Charles Sanders Peirce y Ernst Schrder. Se convenci de que los fundamentos de
matemticas seran encontrados en la lgica, y siguiendo a Gottlob Frege aplic un
acercamiento extensionista en donde la lgica a su vez se basaba en la teora de
conjuntos. En 1900 particip en el primer Congreso Internacional de Filosofa en Pars,
donde se familiariz con el trabajo del matemtico italiano Giuseppe Peano. Se
convirti en un experto del nuevo simbolismo de Peano y su conjunto de axiomas para
la aritmtica. Peano defini lgicamente todos los trminos de estos axiomas con la
excepcin de 0, nmero, sucesor y el trmino singular "el" (the), los que eran primitivos
de su sistema. Russell se dio la tarea de encontrar definiciones lgicas para cada uno de
estos. Entre 1897 y 1903 public varios artculos aplicando la notacin de Peano en el
lgebra clsica de relaciones de Boole-Schrder, entre ellos Acerca de la nocin del
orden, Sur la logique des relations avec les applications la thorie des sries, y
Acerca de los nmeros cardinales.
Russell al final descubri que Gottlob Frege haba llegado de forma independiente a
definiciones equivalentes para 0, sucesor y nmero; la definicin de nmero es
actualmente referida como la definicin Frege-Russell. En gran manera fue Russell

quien trajo a Frege a la atencin del mundo angloparlante. Hizo esto en 1903, cuando
public Principia mathematica, en el cual el concepto de clase es inextricablemente
ligado a la definicin de nmero. El apndice de este trabajo detallaba una paradoja
surgida en la aplicacin de Frege para las funciones de segundo -y ms alto- orden que
tomaban funciones de primer orden como argumento, para luego ofrecer su primer
esfuerzo en resolver lo que luego sera conocida como la paradoja de Russell. Antes de
escribir Principios, Russell se haba enterado de la prueba de Cantor sobre que no
exista el nmero cardinal ms grande, lo que Russell consideraba un error. La Paradoja
Cantor a su vez fue considerada (por ejemplo, por Crossley) como un caso especial de la
Paradoja de Russell. Esto hizo que Russell analizara las clases, donde era sabido que
dado cualquier nmero de elementos, el nmero de clases resultantes es mayor que su
nmero. Esto, a su vez, llev al descubrimiento de una clase muy interesante, llamada la
clase de todas las clases. Contiene dos tipos de clases: aquellas clases que se contienen a
s mismas, y aquellas que no. La consideracin de esta clase lo llev a encontrar una
falta grave en el llamado principio de comprensin, el cual ya haba sido asumido por
los lgicos de la poca. Demostr que resultaba en una contradiccin, donde Y es un
miembro de Y, si y solo si, Y no es un miembro de Y. Esta se ha llegado a conocer como
la Paradoja de Russell, la solucin que fue esbozada en un apndice de Principios, y la
que ms tarde desarroll como una teora completa, la teora de los tipos. Aparte de
exponer una mayor inconsistencia en la teora intuitiva de conjuntos, el trabajo de
Russell condujo directamente a la creacin de la teora axiomtica de conjuntos. Esto
paraliz el proyecto de Frege de reducir la aritmtica a lgica. La Teora de los Tipos y
mucho del trabajo subsecuente de Russell han encontrado aplicaciones prcticas en las
ciencias de la computacin y la tecnologa de la informacin.
Russell continu defendiendo el logicismo, la visin que la matemtica es en un sentido
importante reducible a la lgica, y junto a su ex-profesor Alfred North Whitehead,
escribi la monumental Principios de las Matemticas, un sistema axiomtico en el cual
todas matemticas pueden ser fundadas. El primer volumen de Principios fue publicado
en 1910, y es en gran manera atribuido a Russell. Ms que ningn otro trabajo,
estableci la especialidad de la lgica matemtica o simblica. Dos volmenes ms
fueron publicados, pero su plan original de incorporar la geometra en un cuarto
volumen nunca fue llevada a cabo, y Russell nunca mejor los trabajos originales,
aunque se refiri a nuevos desarrollos y problemas en su prefacio de la segunda edicin.
Al completar Principios, tres volmenes de extraordinario razonamiento abstracto y
complejo, Russell estaba exhausto, y nunca sinti recuperar completamente sus
facultades intelectuales de tal esfuerzo realizado. Aunque Principios no cay presa de
las paradojas de Frege, ms tarde fue demostrado por Kurt Gdel que ni Principios de
las Matemticas, ni otro sistema consistente de aritmtica recursiva primitiva podra,
dentro de ese sistema, determinar que cada proposicin que pudiera ser formulada
dentro de ese sistema era decidora, esto es, podra decidir si esa proposicin o su
negacin era demostrable dentro del sistema (Teorema de la incompletitud de Gdel).
El ltimo trabajo significativo de Russel en matemticas y lgica, Introduccin a la
filosofa matemtica, fue escrito a mano mientras estaba en la crcel por sus actividades
antiblicas durante la Primera Guerra Mundial. Este trabajo fue principalmente una
explicacin de su obra previa y su significado filosfico.

El matemtico y filsofo ingls Bertrand Russell naci en 1872 y en su larga

vida alcanz gran renombre en las disciplinas con las cuales lo hemos
calificado aunque el mayor destaque dentro de la ciencia lo obtuvo por sus
aportes a la lgica matemtica. La lgica matemtica constituye una forma de
tratar la lgica clsica mediante procedimientos semejantes a los de la
matemtica. Como la matemtica -especficamente el lgebra- utiliza
smbolos y signos de operaciones que en este caso se denominan lgicas.
Tales procedimientos permiten efectuar deducciones as como verificar la
veracidad o falsedad de proposiciones y juicios.

Bertrand Russell (1872-1970)

La obra de Bertrand Russell y especialmente la desarrollada en la lgica

matemtica est relacionada con la teora de los conjuntos creada a finales del
XlX por el alemn Georg Cantor, teora que para su exposicin utiliza una
simbologa y una operatoria muy parecida a la de la lgica matemtica. El
concepto de conjunto en la teora de Cantor es el mismo que se utiliza en el
lenguaje comn: conjunto de personas, conjunto de letras, etc., en los cuales,
por lo general, no importa el orden de sus elementos.
Un concepto muy importante al cual nos vamos a referir de nuevo, mas
adelante, es el de conjuntos relacionados. Se dice que dos conjuntos estn
relacionados cuando a cada uno de los elementos de uno de ellos se le puede
hacer corresponder un elemento del otro sin que sobre ni falte ninguno por
relacionar. La teora de los conjuntos sirve de base a la teora de los nmeros,
dada esta circunstancia, y la de la similitud de estas teoras con la lgica
matemtica, Bertrand Russell dedic gran parte de sus investigaciones al
desarrollo de una teora segn la cual las matemticas pueden fundamentarse
exclusivamente en la lgica, teora que se conoce como Logicismo. En sus
intentos de desarrollar el Logicismo, surgieron paradojas que al no poder ser
resueltas satisfactoriamente, entorpecieron el fluir de razonamientos de
Russell en su empeo logicista.
Ante esas dificultades, Russell apel a una cadena de suposiciones ad hoc o a
la introduccin de conceptos como el de clase parecido al de conjunto, y
surgieron conceptos como el de
proposiciones atmicas las cuales, segn Russell, eran los componentes

ltimos de las proposiciones ms generales. Pero las paradojas seguan sin

resolverse: como la del cretense
Epimnides al decir Todos los cretenses mienten con lo cual, al ser dicho
por un cretense, la proposicin quedaba desmentida. De esa manera se lleg al
Teorema de la incompletitud de Kurt Godel que afirma que no hay un sistema
completo de axiomas en el sentido de que siempre queda algo que no puede
explicarse dentro de ese tipo de sistema de afirmaciones.
Sobre el logicismo trabaj independientemente de Russell, en esa poca el
lgico y matemtico alemn Gottlob Frege. Para sus objetivos, Frege
introdujo una categora llamada volumen del concepto. No trataremos de
definir esta categora sino de dar una idea de lo que era para Frege. El
concepto lados del cuadrado tiene el mismo volumen que el concepto
estaciones del ao, vrtices del cuadrado, etc. Todos evidentemente, son
conjuntos relacionados con un conjunto de letras como a b c d y claro est
define el nmero 4. Esto que parece una banalidad, tiene gran importancia en
la teora de los nmeros pues constituye la forma abstracta de definir lo que es
un nmero natural.
Nmero natural es el ente comn a conjuntos relacionados entre si. Esto es
fcil de entender, por ejemplo: el nmero 12 es el ente comn a las horas de
un reloj tradicional, a los apstoles de Jess, a los meses del ao, a las uvas
que algunos comen recibiendo el Ao Nuevo, etc
En definitiva, el Logicismo no logr su objetivo de reducir las matemticas a
lo lgica pero, en su intento, se lograron aportes al adecuado uso de la lgica
matemtica a las matemticas en
general, que si bien no las sustituyen coadyuvan a su mejor entendimiento y
manejo. La lgica matemtica de la cual Bertrand fue indiscutible artfice, es
bsicamente la lgica clsica concebida por Aristteles con acertadas
modificaciones cuya caracterstica fundamental es el uso de una simbologa,
tambin utilizada en la teora de los conjuntos, y el establecimiento de
operaciones con esos smbolos, operaciones que se asemejan a las de la
aritmtica y el lgebra.
La vida de Berttrand Russell, fructfera hasta su mismo final, le permiti
aportar su talento a diferentes, aunque relacionadas, vertientes de la actividad
humana, gran parte de cuyos resultados han quedado plasmados en su
voluminosa obra escrita. Paralelamente al matemtico y lgico, la historia
recordar al filsofo y al humanista. Como la mayor parte de quienes acceden
a la filosofa a partir de las ciencias exactas, Russell sigui espontneamente
la lnea de pensamiento del Positivismo movindose entre sus variantes
empirista y realista principalmente, coincidiendo unas veces y discrepando
otras con los criterios de John Stuart Mill, David Hume y Joh Locke entre
otros. Alguien con quien estuvo siempre en desacuerdo fue con Ludwig

Wittgenstein y su interpretacin lingstica de la filosofa.

El pensamiento filosfico de Russell se centr preferentemente en la
especulacin acerca de la relacin entre la realidad objetiva y la interpretacin
o hiptesis que sobre sta hacemos. Este problema es el que de una forma u
otra est presente como tema fundamental de reflexin en los diferentes
sistemas filosficos que han pasado a la historia y siempre es tema de debate
si es posible conocer en su esencia, en su absoluta objetividad, la cosa en si
kantiana, el mundo exterior a cada ser, o si slo es posible el conocimiento
subjetivo a travs de lo que aportan nuestros sentidos.
El dilema parece no tener solucin, conocer la cosa en si sin la mediacin
de los sentidos se nos presenta como el tratar de ver el mundo que nos rodea o
como dice Russell lo que est all
afuera, sin los ojos, orlo sin los odos. Sobre este tema se nos ocurre el
siguiente smil: imaginemos un individuo que de alguna manera ha logrado
vivir desde que tiene uso de razn en una habitacin absolutamente cerrada y
que slo tiene conocimiento de lo que l supone hay all afuera a travs de
lo que observa en la pantalla de un televisor que le presenta imgenes del
supuesto mundo exterior. Al individuo le asalta la duda de si ser real lo que
ve o slo son imgenes de un video instalado en su equipo. A nuestro sujeto se
le posibilita salir de la duda practicando una abertura en la pared de su
habitacin, pero nada similar podemos intentar los seres reales.
El inters cientfico- filosfico de Russell se desplaz tambin hacia la fsica
particularmente en su divulgacin rigurosa como se advierte en sus excelentes
obras didcticas El ABC de los
tomos y el ABC de la Relatividad. El nombre de Bertrand Russell apareci
muy a menudo en los medios en los aos 1960 y 1970. Obtuvo el Premio
Nbel en 1950, se destac como pacifista y tal como aparece en el
Diccionario de Lgica de la autora rusa Alexandra Gutmanova, impugnaba
las teoras que predicaban la absorcin del hombre por la sociedad y el
Estado.
Luitzen Egbertus Jan Brouwer fue un matemtico holands (1881-1966),
graduado en la Universidad de Amsterdam. Sus trabajos lograron grandes avances
en temas como Lgica, Topologa, Teora de la Medida y Anlisis Complejo.
Formul el Teorema de Brouwer. Demostr la importancia de los espacios
cartesianos y fue uno de los fundadores del movimiento matemtico llamado
intuicionismo, caracterizado por considerar a la intuicin como base de la
Matemtica.
Brouwer, en efecto, funda el Intuicionismo Matemtico, como antagnico al
Formalismo Matemtico de su poca. Sus ideas principales fueron expuestas en su
libro "Prueba del Teorema de Jordan para N Dimensiones" (1912). Brouwer
invirti mucho tiempo buscando la "Teoria Intuitiva para los Nmeros Reales", a

los cuales llam especies. Este esfuerzo podra considerarse actualmente fuera de
lugar: no existe una Teora nica.
Segn los intuicionistas, el origen de la Matemtica es la intuicin,
considerada como la facultad de tratar por separado ciertos conceptos y
consecuencias que se presentan normalmente en la manera corriente de razonar.
En el intuicionismo de Brouwer las Matemticas son distintas de la Lgica, cosa
que niega Bertrand Russell; mas todo individuo nace con una "visin" original de
un infinito de objetos considerando cada vez conjuntos ms amplios de los mismos.
De hecho, esto explica la fcil comprensin por el nio de la sucesin de nmeros
naturales: l puede ir aadiendo un objeto cada vez y comprende que as podra
proseguir indefinidamente. Sobre este tema vers la tesis doctoral de Brouwer
(1907).
En su lgica, Brouwer no admite el infinito ms que como devenir, es decir,
como posibilidad de, supuesto un conjunto, construir otro con ms elementos. Por
tanto, las demostraciones para l no podan contar en ningn caso ms que con un
nmero finito de pasos, lo que constituye una notable dificultad.
Construye lgicas polivalentes, merced a las cuales se ha podido desarrollar
posteriormente la idea lgica de probabilidad.
El Intuicionismo se fue haciendo ms respetable una vez que Kurt Gdel, y
ms tarde Stephen Kleene, lo adoptaran para la lgica matemtica. El desarrollo
del Intuicionismo fue continuado por su estudiante Arend Heyting.
Fue un hombre de carcter fuerte desde joven. Estuvo envuelto en un
escndalo a principios del siglo XX con el matemtico David Hilbert, segn el
renombrado peridico de la poca "Mathematische Analen". A Hilbert, lder de los
matemticos formalistas, le acus de crear su matemtica como un bonito juego
con frmulas, ms divertido an que el ajedrez, pero sin relacin alguna con el
conocimiento.
En topologa, la labor de Brouwer es asimismo importante. Quiz lo ms
notable realizado por l en este campo sea la demostracin que dio en 1911 de la
invariabilidad topolgica de la dimensin de un espacio cartesiano.
23 Enero 1862, Knigsberg (Prusia) 14 Febrero 1943, Gttingen (Alemania).
El nombre de Hilbert ocupa un lugar muy especial en el imaginario colectivo de los
matemticos. Sin duda se trata del matemtico ms famoso del siglo XX, a lo que
contribuyeron de manera muy especial su aportacin a la configuracin de los mtodos
axiomticos actuales, sus profundos resultados en lgebra, teora de nmeros, geometra
y teora de funciones, los celebrrimos problemas matemticos que dej planteados en
1900, y las venturas y desventuras de sus intentos de resolver la cuestin de los
fundamentos de la matemtica. En el ao de su muerte, se le celebraba como aquel a
quien el mundo consider durante las ltimas dcadas como el ms grande matemtico
vivo.

David Hilbert haba nacido en Knigsberg (hoy Kaliningrado, Rusia), ciudad de la

Prusia oriental situada junto al Bltico. Su ciudad natal era clebre por varias razones,
entre ellas haber sido el hogar del famossimo filsofo Kant, haber dado lugar al
problema de los siete puentes que estudi Euler, y haber albergado una importante
escuela de fsicos y matemticos que crearon hacia 1830 Jacobi y Neumann. Hijo y
nieto de jueces, Hilbert pas en su ciudad natal los primeros 33 aos de vida, y dentro
de los estrechos lmites de esa ciudad tuvo lugar su desarrollo intelectual. Pero el alto
nivel que haban alcanzado las matemticas en Alemania, unido a una afortunada
coincidencia con otros grandes matemticos, permitieron que los largos aos de
seguridad en Knigsberg se convirtieran en un tiempo de maduracin continua.
En la Universidad, Hilbert tuvo la fortuna de asistir a las lecciones de Heinrich Weber
(18421913) sobre funciones elpticas, teora de nmeros y teora de invariantes. Weber
era un matemtico polifactico, que tambin realiz contribuciones a la fsica
matemtica, y que haba editado las obras de Riemann. Era adems amigo ntimo de
Dedekind, con quien public en 1882 un clebre trabajo sobre curvas algebraicas,
ofreciendo una fundamentacin al modo de la teora de ideales en cuerpos de nmeros,
que abra el camino hacia la geometra algebraica del siglo XX. La influencia de Weber,
y a travs de l la tradicin de Gauss, Riemann y Dedekind, sera decisiva para Hilbert.
Menos importante debi ser la influencia de Lindemann, quien pese a ser el director de
tesis de Hilbert, y haber demostrado la trascendencia de , no era un matemtico de
gran talla.
Pero lo que s result decisivo fue la amistad con Adolf Hurwitz (18591919) y
Hermann Minkowski (18641909), el primero llegado en 1884 como profesor asistente
(Privatdozent), el segundo an estudiante como Hilbert pero en Bonn, si bien, al haber
nacido en Knigsberg, pasaba all las vacaciones. As nos lo cuenta:
Pronto, aunque todava era estudiante, me vi invitado por Hurwitz a tratar con l de
temas cientficos, y tuve la fortuna de llegar as a conocer en su presencia, de la
manera menos fatigosa y ms interesante, los modos de pensar de aquellas dos
escuelas que se enfrentaban entonces y que sin embargo se complementaban una a otra
tan magnficamente: la escuela geomtrica de Klein y la escuela algebraico-analtica
de Berln. Estas interacciones se hicieron ms estimulantes an, dado que tambin el
genial H. Minkowski, de quien yo ya era amigo , se uni a nuestro crculo. En
innumerables paseos, que por momentos continuaban da tras da, tuvimos ocasin a lo
largo de ocho aos de repasar todos los rincones del saber matemtico, y Hurwitz, con
sus conocimientos tan extensos y polifacticos como firmes y bien ordenados, nos
serva siempre como gua.
Hurwitz haba estudiado en Berln, logrando dominar no slo los mtodos de
Weierstrass, sino tambin las algo oscuras ideas de Kronecker, pero sobre todo haba
sido discpulo de Felix Klein, quien pretenda tomar el relevo de Riemann, duramente
criticado por los berlineses. Hay que notar que las ideas de Riemann no eran todava,
como hoy, bien comn, y su conocimiento implicaba en cierto modo situarse en una
clase superior de matemticos. El contraste entre ambos estilos matemticos ense a
Hilbert lecciones fundamentales para su futura carrera, si bien l se comprometi
siempre con el enfoque ms moderno y abstracto: el de Riemann, Dedekind y Cantor.
En 1886 Hilbert se convirti en Privatdozent, dedicndose a publicar en el campo de la
teora de invariantes. En 1892 fue nombrado profesor extraordinario como sucesor de
Hurwitz (ahora en Zurich), y el ao siguiente obtuvo por fin el puesto de Professor,
equivalente a nuestro catedrtico. Pero slo permanecera en su ciudad natal hasta 1895,

momento clave en que Felix Klein logr que fuera nombrado catedrtico en la
Universidad de Gttingen, donde permanecera el resto de su vida. Por esta poca
trabajaba sobre teora de nmeros algebraicos, campo en el que probablemente realiz
sus
aportaciones
ms
profundas.
Como vemos, una ojeada superficial a la actividad matemtica de Hilbert en estos aos
clave, de 1886 hasta 1899, podra dar la impresin de un investigador muy bueno, pero
muy especializado. Sera quiz difcil prever lo que iba a venir, el ascenso de Hilbert a
la cumbre del mundo matemtico y la conviccin general de que fue uno de los ltimos
matemticos universales, que domin todos los campos de su disciplina. Pero los
historiadores han mostrado cmo ya en los aos de Knigsberg haba ido dando cursos
sobre todos los campos de la matemtica, incluyendo la geometra y la teora de
funciones. Su slida formacin generalista estaba bien avanzada, y tambin su gran
inters por los fundamentos. En 1890, Klein reciba uno de sus artculos sobre teora de
invariantes con el comentario: no tengo dudas de que es el artculo ms importante
sobre lgebra general que han publicado los Mathematische Annalen hasta la fecha. Y
el mismo ao, le describa en carta al poderossimo ministro prusiano de educacin
como la estrella ascendente entre los jvenes matemticos alemanes. El hecho de que,
en 1893, la DMV [Deutsche Mathematiker Vereinigung] le encargase a Hilbert junto
con el mundialmente reconocido Minkowski escribir un informe sobre la teora de
nmeros, es buena muestra del alto concepto que se tena de sus capacidades.
Teniendo en cuenta, pues, que la actividad de Hilbert iba ms all de lo que muestran
estrictamente sus publicaciones, se puede sin embargo (al modo de Weyl) examinar sus
contribuciones escritas dividindolas en perodos. Hasta 1893, trabajos sobre formas
algebraicas y ante todo invariantes algebraicos; de 1893 a 1899, teora de nmeros
algebraicos, publicando en 1897 el clebre Zahlbericht; entre 1899 y 1903, trabajos
sobre fundamentos de la geometra que marcaron el estilo axiomtico moderno; entre
1904 y 1912, diversos problemas de anlisis: el principio de Dirichlet, clculo de
variaciones, ecuaciones integrales; de 1909 a 1916, problemas de fsica terica,
incluyendo su concurrencia con Einstein; y por fin, desde 1918, contribuciones a los
fundamentos
de
la
matemtica.
Las primeras contribuciones importantes de Hilbert fueron sobre invariantes
algebraicos. Hasta el momento Paul Gordan haba establecido, sobre una base
algortmica de complicados clculos, que existe una base finita para los invariantes y
covariantes de las formas binarias. En 1888 Hilbert abord la cuestin con un enfoque
abstracto, conjuntista, estableciendo teoremas de existencia generales a la manera de
Dedekind. Pronto logr resolver el caso general para formas de n variables,
estableciendo el teorema de la base finita. A la vista de su demostracin, Gordan le
escribi a Klein que sta no satisfaca los ms nfimos requisitos que hacemos a una
demostracin matemtica. Sntoma de la divisin profunda que separaba entonces a los
constructivistas, como decimos hoy, de los matemticos de tendencia moderna. Klein
debi quedar muy impresionado cuando Hilbert se neg a cambiar una coma en su
artculo, diciendo que a falta de una refutacin concluyente, aquello era mi ltima
palabra.
Al resolver problemas centrales de la teora de invariantes, la obra de Hilbert contribuy
a que sta perdiera parte del atractivo y la importancia central que haba tenido. l
mismo nunca volvi al tema. Algo distinto fue su efecto sobre la teora de nmeros

algebraicos: el encargo que le hizo la DMV dio lugar a un trabajo muy sistemtico y
profundo, su Informe sobre la teora de los nmeros algebraicos. Ms bien se trataba de
una impresionante sistematizacin de los resultados previos de Dedekind y Kronecker,
aumentada por nuevos resultados, especialmente sobre cuerpos de Galois. En artculos
publicados los aos siguientes (1899, 1902), estas nuevas ideas condujeron a los
resultados ms originales de Hilbert en este campo, dando inicio a la teora de cuerpos
de
clases.
El Zahlbericht se convirti en la obra de referencia para los especialistas por muchos
aos; tal como esperaba Minkowski, releg los trabajos de Dedekind y Kronecker a un
segundo plano. De todos modos, su exposicin no era tan moderna como la del primero,
y en los aos 1920, precisamente en el Gttingen que lideraba Hilbert, Emmy Noether
capitane un movimiento de vuelta a Dedekind. Eso s, la exposicin de Hilbert
resultaba muy tersa y elegante para los matemticos de 1900, y sus mtodos estaban
cuidadosamente elegidos tanto para resolver problemas particulares como para admitir
generalizaciones. Era la marca de la casa, de su muy especial estilo de trabajo.
A propsito de Noether, hay que mencionar que Hilbert fue un hombre progresista,
singularmente libre de prejuicios nacionales y raciales como demostr durante las
Guerras, y avanzado en cuanto a la integracin de la mujer. Cuando su propuesta de
habilitar a Emmy Noether como Privatdozent tropez con una fuerte oposicin, y
algunos preguntaban cmo una mujer iba a estar en las reuniones de Facultad, se dice
que hizo el clebre comentario: Caballeros, la Facultad no es ningn establecimiento
de
baos.
En el Zahlbericht, Hilbert enfatizaba que la aritmtica haba abierto caminos
fundamentales en el campo del lgebra y la teora de funciones, para sealar con
referencias a Dedekind, Weierstrass y Cantor que en general, el desarrollo moderno
de la matemtica pura ha sucedido ante todo bajo el signo del nmero. Y acto seguido
hablaba tambin de una aritmetizacin de la geometra, orientada a un desarrollo
puramente lgico del tema, a estudiar esa rama de la matemtica siguiendo el modelo de
la teora de nmeros en cuanto a rigor y complecin en los fundamentos, y a la
introduccin directa del nmero en la geometra. Puede verse aqu la promesa de
escribir los clebres Fundamentos de la geometra (1899), que aparecieron con ocasin
de una ceremonia en Gttingen de homenaje a Gauss.

Sobre el concepto de conjunto

El concepto de conjunto se encuentra a un nivel tan elemental que no es posible dar una
definicin precisa del mismo. Palabras como coleccin, reunin, agrupacin, y algunas
otras de significado similar, se usan en un intento de describir a los conjuntos, pero no
pueden constituir una definicin, pues son simplemente un reemplazo de la palabra
conjunto. Con todo, en la teora intuitiva de conjuntos lo anterior es admisible, y se
acepta la existencia de un universo o dominio de objetos a partir del cual se construyen
los conjuntos, as como tambin permite tratar conjuntos como una entidad singular. No
es de importancia la naturaleza de los objetos, sino el comportamiento de un conjunto
como entidad matemtica.
De lo dicho anteriormente, parece natural introducir una relacin didica de pertenencia.
El smbolo usual para representar esta relacin es el smbolo , una versin de la letra
griega (psilon). Los segundos argumentos de la relacin son llamados conjuntos, y
los primeros argumentos son llamados elementos. As, si la frmula

se cumple, se dice que es un elemento del conjunto . Si aceptamos que todo es un

conjunto, entonces los primeros y segundos argumentos de pertenecen al mismo
dominio.
La negacin de

se escribe

Bajo estos supuestos puede desarrollarse un poco la teora de conjuntos. Sin embargo, la
concepcin intuitiva de conjuntos no permite llegar tan lejos como pudiera desearse,
pues llega un momento en que, como sucede en otras reas de las matemticas, la
intuicin es de poca o ninguna ayuda (por ejemplo como pasa al hablar de la hiptesis
del continuo, de espacios de dimensin mayor que tres, etc.). Es en momentos como ese
en que se hace evidente la necesidad de axiomatizar y formalizar la teora de conjuntos
para poder llegar a resultados ms profundos. Esto implica renunciar a una definicin
intuitiva de conjunto, y en su lugar postular una serie de principios que determinen el
comportamiento de ste, de tal forma que los resultados obtenidos no son ya
consecuencia de razonamientos intuitivos flojos, sino que se obtienen a partir de tales
principios.

La necesidad de axiomatizar la teora de conjuntos

En la teora de Cantor, es posible formar un conjunto a partir de una
propiedad determinada que deben cumplir sus elementos. En otras
palabras, dada cualquier propiedad , existe un conjunto cuyos
elementos son precisamente los objetos que verifican
este conjunto se representa por

As, por ejemplo, considerando la frmula

. En smbolos,

, se obtiene el conjunto

que claramente lo contiene todo. A este conjunto no se le puede aplicar

alguno de los resultados de Cantor, ya que esto conduce a ciertas
paradojas.
Como otro ejemplo ms claro de conjuntos contradictorios debido a su 'gran
tamao', est el que da lugar a la paradoja de Russell. Consideremos el
conjunto cuyos elementos son aquellos conjuntos que no se pertenecen a
s mismos. Esto es, el conjunto

La paradoja de Russell surge al preguntarse: es

Si lo es, es decir, si

, entonces

que es una contradiccin. Si

un elemento de s mismo?

no satisface la condicin

, entonces

, lo

satisface la condicin para

ser uno de sus elementos, y as

, de nuevo una contradiccin. As,
no puede ni ser un elemento de s mismo ni no serlo.
En un intento de eliminar esta paradoja, Russell y Whitehead desarrollaron
la teora de tipos y la expusieron en un libro titulado Principia Mathematica.
Si bien esta teora eliminaba la paradoja de Russell, resultaba demasiado
complicada como para poseer inters. La teora de conjuntos de Zermelo,
mucho ms simple a nivel lgico, lograba eliminar tanto la paradoja de
Russell como todas las dems que surgan en el sistema de Cantor y en el
de Frege.

Los axiomas de Zermelo-Fraenkel

La teora de conjuntos de Zermelo-Fraenkel toma como primitivos los conceptos de
conjunto y de pertenencia y consta de los diez axiomas siguientes:
1. Axioma de extensionalidad. Dos conjuntos e son iguales (lo que se representa
por
) nicamente si contienen los mismos elementos. Ms formalmente, y en la
simbologa usual,

2. Axioma del conjunto vaco. Existe un conjunto (representado por ) sin elementos.
Esto es,

3. Axioma de pares. Dados cualesquiera conjuntos e , existe otro conjunto,

representado por

, cuyos elementos son nicamente e . Esto es,

4. Axioma de la unin. Dada cualquier coleccin de conjuntos

representado por
y llamado unin de
conjunto de . Esto es,

, existe un conjunto,

, que contiene todos los elementos de cada

5. Axioma del conjunto potencia Para cualquier conjunto existe otro conjunto,
representado por

, que contiene todos los subconjuntos de . En smbolos,

6. Esquema axiomtico de especificacin. Sea

una frmula de un lenguaje de
primer orden que contenga una variable libre . Entonces, para cualquier conjunto
existe un conjunto cuyos elementos son aquellos elementos de que cumplen
Formalmente,

7. Esquema axiomtico de reemplazo. Si

es una sentencia tal que para

cualquier elemento de un conjunto el conjunto

existe una funcin f:xy tal que f(a)=y. Formalmente, si

existe, entonces

entonces

8. Axioma de infinitud. Existe un conjunto tal que

entonces

y tal que si

. En smbolos,
.

9. Axioma de regularidad. Para todo conjunto no vaco existe un conjunto

que

tal

. Esto es, en trminos formales,

10. Lema de Zorn. Todo conjunto inductivo no vaco tiene elemento maximal
En un principio Zermelo trat de probar el "Lema de Zorn" a partir de los otros nueve
axiomas, pero no lo consigui, adems, posteriormente los Teoremas de Incompletitud
de Gdel probaron que el Lema de Zorn no era demostrable a partir de los restantes
axiomas. Por lo tanto se aadi como dcimo axioma de la teora.
Es equivalente a
Axioma de eleccin. Dada una familia de conjuntos no vacos podemos coger un
elemento de cada conjunto. Este axioma puede expresarse de manera equivalente a,
dado un conjunto cualquiera x, existe una funcin f que elige un elemento de cada
conjunto no vaco de x:

Sobre los axiomas y algunas definiciones en ZF

El axioma de extensionalidad

El axioma de extensionalidad dice que dos conjuntos son iguales si y solo si tienen los
mismos elementos. En otras palabras, afirma que un conjunto est determinado por su
extensin (todos sus elementos). Una relacin ms general que la igualdad es la
inclusin ( ), que se define como sigue:

A diferencia del signo de la igualdad, el smbolo no figura dentro del lenguaje de

primer orden con el que se construye la teora ZF, pues la definicin antes dada debera
en ese caso ser introducida como un axioma que establezca el empleo de , cosa que no
se ha hecho aqu. En su lugar, la simbologa
se emplea simplemente para
representar la frmula

del lenguaje de la teora de conjuntos.

En vista del axioma de extensionalidad y de la definicin anterior, resulta que puede

probarse que dos conjuntos e son iguales si puede probarse que
e
.
El axioma del conjunto vaco

El axioma del conjunto vaco nos da un conjunto sin elementos. Este axioma se present
usando el smbolo . Esto est justificado, pues el axioma de extensionalidad nos dice
que este conjunto es nico.

Demostracin

El axioma del conjunto vaco puede deducirse de otro axioma ms dbil, que afirma la
existencia de un conjunto, digamos , y del esquema de especificacin con la frmula
aplicada a este conjunto . As, el conjunto vaco es el conjunto

con el trmino

una descripcin impropia.

El axioma de pares

EL axioma de pares, un axioma de la teora de Zermelo-Fraenkel, establece que, dados

cualesquiera dos conjuntos e , existe otro conjunto, representado por
elementos son nicamente e . Esto es,

, cuyos

(3)
Del axioma de pares se tiene, a partir de dos conjuntos e , el conjunto {
}. Este
conjunto se llama par desordenado de e . Si se aplica el axioma de pares a un solo
conjunto , se obtiene el par {
} cuyo nico elemento es, obviamente, , y por ello
puede representarse como
. A este ltimo conjunto puede aplicrsele de nuevo el
axioma de pares, dando lugar al conjunto {{ }}, conjunto al cual puede aplicarse
tambin el axioma de pares, obtenindose el conjunto {{{ }}}, y as sucesivamente.
Este proceso de construccin de conjuntos puede aplicarse al nico conjunto dado y
conocido explcitamente, , obtenindose una serie infinita de conjuntos

El axioma de unin
Artculo principal: Axioma de unin

Si

es una coleccin de conjuntos, entonces la unin

contiene aquellos y solo

aquellos elementos que estn en algn conjunto de . Si

conjunto con elementos, entonces es comn escribir

para representar la unin de los conjuntos de

, un

. Es fcil ver que

de modo que el axioma de unin y el axioma de pares garantizan la existencia del

conjunto
para cualesquiera conjuntos e , un
hecho que no puede deducirse simplemente del esquema de especificacin junto con los
axiomas restantes. A diferencia de la unin, la interseccin de conjuntos es deducible a
partir del axioma de pares y el esquema de especificacin. Efectivamente, pues se
define el conjunto
mediante

y por tanto

existe. Ms general, se define el conjunto

El axioma del conjunto potencia

El axioma del conjunto potencia nos da un conjunto que contiene a todos los
subconjuntos de cualquier conjunto. Por tanto,
. Puesto que
para cualquiera que sea el conjunto , puede hacerse uso del esquema de especificacin
para obtener el conjunto

Si es otro conjunto, similarmente se obtiene al conjunto

como un subconjunto de

. Luego

de manera que el axioma de pares puede deducirse del axioma del conjunto potencia, el
esquema de especificacin y el axioma de unin. As pues, no todos los axiomas de ZF
son independientes.
El esquema axiomtico de especificacin

El esquema de especificacin resulta ser una versin limitada o dbil del axioma de
Frege. Para este ltimo, era posible tener un conjunto cuyos elementos satisfacan cierta
propiedad. Con ello Frege garantizaba demasiado y daba lugar en su sistema a paradojas
como la de Russell, entre otras. Por otra parte, el esquema de especificacin va de
acuerdo con una doctrina de reduccin del tamao. Permite obtener conjuntos a partir de
otros, y cuyo tamao es menor que el de aquellos de los que han sido obtenidos. Esto
implica que, necesariamente, contemos con conjuntos previamente dados. Por tanto,
nunca es posible pensar en la frmula
, pues el conjunto no puede ser obtenido
sin ms que s mismo. La paradoja de Russell surge precisamente de considerar que
conjuntos muy grandes pueden ser obtenidos de forma gratuita sin ms que especificar
cuales son sus elementos. Otras paradojas que tienen que ver con el gran tamao de los
conjuntos, quedan excluidas de ZF mediante el esquema de especificacin. Ahora bien,
el calificativo de esquema se debe a que no es un nico axioma, sino que este afirma
(metamatemticamente) que cualquier expresin de la forma

donde
es una frmula del lenguaje de la teora de conjuntos es un axioma de ZF.
As, si consideramos la existencia de un conjunto como un axioma, el conjunto vaco
sera tambin un axioma resultante de aplicar el esquema de especificacin al conjunto
con la frmula

El esquema de especificacin no es independiente en ZF, pues se deduce del esquema

de reemplazo, introducido por Fraenkel y Skolem el mismo ao y de forma
independiente.

Esquema axiomtico de reemplazo

El esquema axiomtico de reemplazo dice que si es un conjunto y es una frmula con

dos variables libres e , tales que para cada
cumple, entonces existe un conjunto

existe un nico tal que

tal que

si y solo si

se

Para mostrar como el esquema de especificacin se deduce del esquema de reemplazo,

se considera la frmula

donde cualquier elemento de un conjunto . Si

, entonces ciertamente existe un

nico tal que

(pues es mismo), por lo que la hiptesis del esquema
de reemplazo se cumple, con lo que existe un conjunto tal que

lo que es lgicamente equivalente a que existe un conjunto

tal que

La formulacin que se ha dado del axioma de reemplazo fue introducida por primera
vez por Fraenkel [1929], y apareci tambin en los trabajos de Church [1942]. Una
forma ms dbil de este esquema axiomtico a parece en los trabajos de Tarski [1948].
La formulacin original, dada por Fraenkel [1921/22 y 1927] y Skolem [1922/23 y
1929], es en esencia como sigue:

Para todo conjunto y cualquier funcin

conjunto tal que

para todo

definida en , existe un
.

El esquema de reemplazo fue introducido por Fraenkel y Skolem con la finalidad de

extender la fuerza del esquema de especificacin, as como tambin posibilitar el conteo
de nmeros ordinales ms all de lo que permite el axioma de infinitud.
Axioma de infinitud

El axioma de infinitud, introducido (aunque no en la forma en que se ha presentado

aqu) por Zermelo 1908, permite la obtencin de los nmeros naturales como conjuntos
dentro de ZF. En trminos generales, este axioma da un conjunto infinito segn
Dedekind, pues garantiza la existencia de un conjunto sobre el cual existe al menos

una funcin
inyectiva y no sobreyectiva (que claramente no existe para
un conjunto finito). Es decir, la funcin es tal que
y
, por lo que
el rango de es un subconjunto propio de su dominio, . Pero, en ese caso, la
aplicacin

dada por
, es biyectiva. La conclusin es que existe una biyeccin entre
y uno de sus subconjuntos propios. Ahora bien, el conjunto cuya existencia
garantiza el axioma de infinitud, cumple:

Pero es posible que subconjuntos de cumplan esto mismo (un subconjunto as de X se

denomina conjunto inductivo). Si es el conjunto de todos los subconjuntos inductivos
de , es no vaco, pues
. As, puede formarse la interseccin

de todos los conjuntos inductivos. Este conjunto es claramente inductivo, y sus

elementos son

mismos que pueden ser considerados los nmeros naturales en ZF, y puede llamarse
. Se observa que, de este modo, un nmero natural es un conjunto que
contiene a todos los nmeros naturales anteriores a l. El conjunto de nmeros naturales
queda de esta forma bien ordenado por la inclusin. Cualquier nmero natural de la
forma

para algn

se llama sucesor de

, y se representa por

o por

. Mediante esta definicin de pueden probarse los axiomas de Peano, con lo que
en ZF estos se convierten en teoremas (ms exactamente, cuatro teoremas y un
metateorema) sencillos:

implica

La forma en que se ha presentado el axioma de infinitud se debe a Fraenkel, y permite la

construccin de los nmeros naturales como nmeros ordinales en el sentido de von
Neumann. En esta forma fue utilizado por R. M. Robinson en su The thory of classes
[1937] (en donde presenta una modificacin del sistema de von Neumann), as como
tambin por Bernays [1942].

Zermelo introdujo el axioma de infinitud [1908] de forma esencialmente similar a la

siguiente:

Existe un conjunto

tal que

(i)
( ii )

As, puede obtenerse el conjunto de nmeros naturales cuyos elementos son

El orden que se establece entre estos elementos es el de la inclusin.

Este axioma de infinitud de Zermelo no tiene las ventajas que tiene el axioma de
infinitud de Fraenkel.
Axioma de regularidad o de fundacin
Artculo principal: Axioma de regularidad

El axioma de regularidad dado aqu se debe a Zermelo [1930], si bien von Neumann
present uno equivalente [1929], aunque ms complicado. Este axioma prohbe la
existencia de conjuntos extraos, tales como conjuntos que cumplan: xx; o un par de
conjuntos con xy yx; as como tambin la existencia de cadenas descendientes
infinitas:

Existen teoras de conjuntos donde se excluye este axioma. La teora que resulta de
aadir un contrario del axioma de regularidad se conoce como teora de conjuntos no
bien fundados.

Axioma de eleccin
Artculo principal: Axioma de eleccin

A diferencia de los axiomas de ZF, el axioma de eleccin es un axioma no constructivo,

en el sentido de que no determina un conjunto nico a partir de su informacin.
Adems, como puede observarse, carece de la obviedad que (aunque la complejidad
notacional de estos haga en algunos casos pensar lo contrario) caracteriza a todos los
otros axiomas. Esto llev a algunos matemticos al intento de probar el axioma de
eleccin a partir de los dems axiomas, cosa en lo que todos ellos fracasaron. Estos
intentos vanos de probar el axioma de eleccin despus de grandes esfuerzos, y ciertas
peculiaridades del mismo, algunos matemticos pensaban ya en la posible
independencia del axioma de eleccin respecto de los axiomas de ZF, aunque no saban
en que direccin se encontraba la prueba de ello. Gdel prob [1930/1940] que el
axioma de eleccin era consistente con los axiomas de ZF, por lo que poda emplearse
junto con ellos sin temor de obtener contradicciones.
El axioma de eleccin fue presentado por Russell en 1906 de manera esencialmente
similar a la siguiente:

Para todo conjunto no vaco de conjuntos disjuntos tal que

el producto cartesiano de es no vaco.

Russell llam a este principio Axioma multiplicativo. El nombre de Axioma de eleccin

(Auswahlaxiom) fue dado por Zermelo al principio ms general que el de Russell:

Para todo conjunto no vaco

cuyos argumentos

tal que

son elementos de

, existe una funcin

, tal que

El nombre del axioma se debe al hecho de que la funcin elige un elemento de cada
elemento (conjunto) de .
Zermelo introdujo el axioma de eleccin para probar el teorema de buena ordenacin
que afirma que todo conjunto puede ser bien ordenado. Mostr tambin que el lema de
Kuratowski-Zorn se deduce del axioma de eleccin. En realidad, el axioma de eleccin
es equivalente tanto al teorema de buena ordenacin como al lema de Kuratowski-Zorn
(la mayora de las veces simplemente llamado Lema de Zorn). La siguiente lista
enumera algunos principios equivalentes en ZF al axioma de eleccin:

Teorema de buena ordenacin.

Lema de Kuratowski-Zorn.

Ley de tricotoma de cardinales.

Principio del maximal de Hausdorff.

Lema de Teichmler-Tukey.

Wacaw Sierpiski prob en 1947 que la hiptesis del continuo (un principio ad hoc que
debe ser aceptado como axioma de la teora de conjuntos) implica el axioma de
eleccin, si bien lo recproco no es cierto. Otro principio que implica el axioma de
eleccin es el axioma de conjuntos inaccesibles de Tarski [1938/1939].
El sistema axiomtico de ZFC admite las demostraciones por reduccin al absurdo
como mtodo para demostrar teoremas. Dado un (presunto) conjunto nos basta con
llegar a una contradiccin con el resto de la teora despus de haber supuesto su
existencia para demostrar que no existe tal conjunto. un ejemplo tpico es la no
existencia del conjunto de todos los conjuntos.

De existir este conjunto V podramos definir el conjunto

, lo
que irremisiblemente lleva a la Paradoja de Russell, por lo cual V no es un conjunto.
Procedimiento igual nos llevar a demostrar la no existencia de conjunto
conjugado(conjunto de los elementos no pertenecientes al conjunto) dado un conjunto
cualquiera, ya que de ser as existira su unin, por el axioma de la unin, y esta sera
igual a V.

Otras propiedades de ZFC

Artculo principal: Teoremas de incompletitud de Gdel

Kurt Gdel prob que la consistencia lgica de los axiomas de ZFC es indemostrable. A
lo sumo se pueden demostrar afirmaciones como si ZFC es consistente, entonces "T"
tambin lo es, es decir la consistencia relativa. En cuanto a la completitud, el propio
Gdel en sus teoremas de incompletitud demostr que si un sistema axiomtico es lo
suficientemente fuerte como para construir una aritmtica recursiva, dicho sistema no
puede ser completo y consistente.

HISTORIA: INTRODUCCIN A LA TEORA DE CONJUNTOS

George Cantor (1845-1918) fue quien prcticamente formul de manera individual la
teora de conjuntos a finales del siglo XIX y principios del XX. Su objetivo era el de
formalizar las matemticas como ya se haba hecho con el clculo cien aos antes.
Cantor comenz esta tarea por medio del anlisis de las bases de las matemticas y
explic todo basndose en los conjuntos (por ejemplo, la definicin de funcin se hace
estrictamente por medio de conjuntos). Este monumental trabajo logr unificar a las
matemticas y permiti la comprensin de nuevos conceptos.
El problema apareci cuando se comenzaron a encontrar paradojas en esta teora, siendo
la ms clebre la paradoja de Russell, y ms tarde varios matemticos encontraron ms
un apndice de su libro "Principios de las matemticas".

Cuando los matemticos paradojas, incluyendo al mismo Cantor. Russell descubri su

paradoja en 1901, y la public en supieron de esta paradoja, muchos se preguntaron si
las matemticas en realidad eran consistentes, y sobre todo verdaderas, ya que cualquier
suposicin matemtica poda basarse en una teora inconsistente.
La primera propuesta para solucionar el problema de las paradojas provino de un
matemtico holands llamado Brouwer, quien propuso una redefinicin radical de todas
las matemticas y prometi una solucin al conflicto. El programa de Brouwer se
basaba en lo ms simple de la intuicin: el aceptaba los conceptos que son aparentes a la
intuicin general. Esta filosofa rechazaba muchos principios fundamentales de las
matemticas, pero en cambio, solucionaba satisfactoriamente el problema de las
paradojas. Particularmente Brouwer rechazaba el principio del medio excluido, el cul
deca que los elementos de un conjunto o bien tienen una propiedad A o no la tienen, lo
cul sera la negacin de la propiedad A. A esta corriente de pensamiento se le llam
intuicionismo.

Luitz Brouwer
Por otro lado, David Hilbert se opuso al intuicionismo y aunque no toleraba las
paradojas, no estaba dispuesto a ver las matemticas mutiladas. En 1904 propuso la
teora de la prueba, la cul era una teora de la lgica independiente del contexto y
podra ser aplicada a las matemticas sin encontrar paradojas. Russell a su vez
desarroll su teora de los tipos para evitar las paradojas. El propona que los
enunciados se acomodaran jerrquicamente. Russell public sus resultados en 1908 con
la colaboracin de Alfred North Whitehead.

David Hilbert
La cuarta respuesta a la paradoja fue de Ernst Zermelo en 1908 con la axiomatizacin
de la teora de conjuntos.
La mejor prueba de que la teora de conjuntos no ha logrado unificar a las matemticas
es que stas se han ramificado en reas muy diferenciadas, como la aritmtica, el
lgebra, la trigonometra y geometra; tambin se han separados distintos campos como
el clculo, la topologa, la teora de conjuntos, la teora de los nmeros y la estadstica.
El concepto de paradoja puede entenderse como uno de los siguientes:
1. Una declaracin contradictoria que parece ser cierta.
2. Aquello que exhibe aspectos o cualidades contradictorias o inexplicables.
3. Una declaracin esencialmente contradictoria basada en un razonamiento vlido
de suposiciones lgicas.
Las paradojas han existido en las matemticas desde sus comienzos y han sido
fundamentales para una formalizacin ms cuidadosa de sus teoremas y leyes. Un
ejemplo muy antiguo es la paradoja de Zeno, la cul cobr importancia en el desarrollo
del clculo; como veremos ms adelante, las paradojas de la teora de conjuntos han
hecho que los matemticos cuestionen la consistencia de las matemticas y vean ms
all de lo que hasta ahora se ha formulado.

PARADOJA DE CANTOR: EL CONJUNTO DE TODOS LOS

CONJUNTOS
Sea C el conjunto de todos los conjuntos. Entonces todo subconjunto de C es as mismo
un elemento de C; luego, el conjunto potencia de C es un subconjunto de C; pero esto
implica que la cardinalidad del conjunto potencia es menor o igual a la cardinalidad de
C. Pero entonces, segn el teorema de Cantor, la cardinalidad de C debe ser menor a la
cardinalidad del conjunto potencia. As pues, el concepto de conjunto de todos los
conjuntos lleva a una contradiccin.

PARADOJA DE RUSSELL
Sea Z el conjunto de todos los conjuntos que no son elementos de s mismos. Se
pregunta Z es o no elemento de s mismo? Si Z no pertenece a Z, entonces, por la
definicin de Z, Z pertenece a s mismo. Pero si Z pertenece a Z, entonces por la
definicin de Z, Z no pertenece a s mismo. En cualquiera de los dos casos hay
contradiccin.
Esta paradoja es anloga a la paradoja del barbero: En una aldea hay un barbero que
afeita solamente a los hombres que no se afeitan ellos mismos. Se pregunta Al barbero
quin lo afeita?

http://es.scribd.com/doc/13972233/CONJUNTOS-teoria-y-problemas#scribd

George Canto (1845-1918) fue quin inicio la teora de conjuntos a finales

del siglo XIX y el principio del XX. Basndose de las ideas en una obra
pstumo del autor Bernhard Bolzano, Paradojas de lo infinito (1851), en
1874 public su primer trabajo sobre la teora de conjuntos. En la teora, es
posible formar un conjunto a partir de una propiedad determinada que
deben cumplir sus elementos sea trato de formalizar las matemticas
mediante el anlisis matemtico. El problema apareci cuando se
comenzaron a encontrar paradojas en esta teora, siendo la ms clebre la
paradoja de Russell, y ms tarde varios matemticos encontraron ms un
apndice de su libro "Principios de las matemticas". Cuando un conjunto
de todos los conjuntos que no son elementos de s mismos. Todo lo quiso
asociar los conjuntos de manera lgica, lo que motivo ms paradojas. Pero
Luitze Egbertus Jan Brouwer pblico su libro Prueba de Teorema de Jordan
de N Dimensiones donde resolva las paradojas mediante manera intuitiva,
pero Hilber David pblico en 1904 un libro sobre la Teora de la Prueba
donde resuelve todos las paradojas mediante un lgica independiente del
contexto. Pero Ernst Zemelo en 1908 hizo axiomatizacin de la teora de
conjunto en vista que teora de conjunto no ha logrado abarcar toda la
matemtica por ello se a ramificado en: algebra, aritmtica, trigonometra,
geometra y tambin sean ramificado algunos campos: teora de conjuntos,
probabilidad y estadstica, teora de nmeros, topografa, calculo.
En la actualidad todo en el mbito de matemtica se aplica la teora de
conjuntos. El las funciones para realizar las trazado de trayectoria parbola
necesito una sucesin de puntos de ordenadas y abscisas para poder
graficar.