La crisis de los Fundamentos de la
Matemtica
Jos Ferreiros
La crisis fundacional se celebr un aire
entre los matemticos y tambin ha llegado
a un gran pblico no matemtico. Un
matemtico bien entrenado se supone que
saber algo acerca de los tres puntos de
vista llamados logicismo, formalismo y
intuicionismo (que se explicar ms
adelante), y sobre lo Gdel resultados de
incompletitud dicen sobre el estado de los
conocimientos matemticos. matemticos
profesionales tienden a ser bastante
obstinado acerca de tales temas, ya sea
desestimando la discusin fundamental
como irrelevante y alinendose as con el
partido-ganar o defender, en principio, o
como una opcin interesante, algn tipo de
enfoque revisionista a las matemticas.
Pero los contornos reales del debate
histrico no son bien conocidos y las
cuestiones ms sutiles filosficas que estn
en juego son a menudo ignorados.
Aqu vamos a discutir sobre todo el
primero, con la esperanza de que esto
ayudar a que los principales aspectos
conceptuales con ms claridad.
Por lo general, la crisis fundamental es
entendida como un acontecimiento
relativamente localizada en la dcada de
1920, un intenso debate entre los
partidarios de clsica (que significa tardo
siglo xix) matemticas, llevado por Hilbert,
y sus crticos, dirigidos por Brouwer, que
abog fuerte revisin de las doctrinas
recibidas.
Hay, sin embargo, un segundo, y en mi
opinin muy importante, el sentido en el
que la crisis fue un proceso largo y global,
indistinguible de la subida de las
matemticas modernas y las cuestiones
filosficas / metodolgicos que cre. Este
es el punto de vista desde el cual la cuenta
actual se ha escrito.
Dentro de este proceso ms largo todava
se pueden seleccionar algunos intervalos
notables. Alrededor de 1870 hubo muchas
discusiones acerca de la aceptabilidad de
las geometras no euclidianas, y tambin
sobre las bases adecuadas de anlisis
complejo e incluso los nmeros reales. A
principios del siglo XX hubo debates sobre
la teora de conjuntos, sobre el concepto
del continuo, y sobre el papel de la lgica y
el mtodo axiomtico en comparacin con
el papel de la intuicin. Por alrededor de
1925 hubo una crisis en el sentido propio,
durante el cual se desarrollaron y se
convirtieron en proyectos de investigacin
matemtica que se detallan las principales
opiniones en estos debates. Y en la dcada
de 1930 Gdel demostr sus resultados de
incompletitud, que no podan ser
asimiladas sin algunas queridas creencias
ser abandonado. Analicemos algunos de
estos eventos y temas con mayor detalle.
1 Preguntas Fundamentales primeros
Existe evidencia de que en 1899 Hilbert
hizo suyo el punto de vista que lleg a ser
conocido como logicismo. Logicismo era la
tesis de que los conceptos bsicos de las
matemticas son definibles por medio de
nociones lgicas, y que los principios
fundamentales de la matemtica son
deducibles a partir de principios lgicos
solos.
Con el tiempo esta tesis se ha convertido
en claro, basado como parece ser en unas
concepcin difusa e inmaduros del alcance
de la teora lgica. Sin embargo,
histricamente hablando logicismo era una
reaccin intelectual ordenada a la subida de
la matemtica moderna, y en particular con
el enfoque y los mtodos de la teora de
conjuntos. Dado que la opinin mayoritaria
era que la teora de conjuntos es slo una
parte de la lgica (refine), 1 esta tesis fue
pensado para ser apoyado por el hecho de
que las teoras de los nmeros naturales y
reales se pueden derivar de la teora de
conjuntos, y tambin por el cada vez ms
importante papel de los mtodos de teora
de conjuntos en lgebra, y anlisis real y
complejo.
Hilbert estaba siguiendo Dedekind en la
forma en que entenda las matemticas.
Para nosotros, la esencia de logicismo
principios de Dedekind de Hilbert y de su es
consciente de s mismo respaldo de ciertos
mtodos modernos, sin embargo, parecan
atreverse en el momento. Estos mtodos
han surgido gradualmente durante el siglo
XIX, y se asocia particularmente con las
matemticas Gttingen (Gauss, Dirichlet);
que experimentaron un punto de inflexin
crucial con nuevas ideas de Riemann, y
fueron desarrolladas por Dedekind, Cantor,
Hilbert, y otras figuras menores. Mientras
tanto, la escuela de Berln influyente de las
matemticas se haba opuesto a esta
nueva tendencia, Kronecker de frente y
Weierstrass de manera ms sutil. (El
nombre
de Weierstrass es sinnimo de la
introduccin de rigor en el anlisis real,
pero en
realidad, como se indica a continuacin,
que no es partidario de los mtodos ms
modernos elaborados en su momento.) Los
matemticos en Pars y en otros lugares
tambin albergaba dudas acerca de estos
nuevas y radicales ideas.
Los rasgos ms caractersticos de la
concepcin moderna fueron los siguientes:
(I) la aceptacin de la nocin de una
funcin de arbitrario
propuesto por Dirichlet;
(Ii) una aceptacin Incondicional de en
juegos finitas y la
superior infinito;
(Iii) una preferencia para poner los
pensamientos en el lugar de calculaciones
(Dirichlet), y concentrarse en estructuras
caracterizadas
axiomticamente; y
1. Se debe mencionar que las cifras clave
como Riemann y Cantor
desacuerdo (ver Ferreiros 1999). La
mayora incluido Dedekind, Peano,
Hilbert, Russell, y otros.
1 matemticas no debe basarse en frmulas
2 Princeton compaero de Matemticas
Prueba
(Iv) una dependencia de los mtodos
puramente existenciales de prueba.
Un ejemplo influyente temprano y en una
de estas caractersticas era el enfoque de
Dedekind (1871) a La teora algebraica de
nmeros -su teora de conjuntos definicin
de campos de nmeros y
ideales, y los mtodos por los cuales se
demostraron resultados tales como el
teorema
fundamental de la descomposicin nica.
En una notable desviacin de la tradicin de
la teora de nmero, Dedekind estudiado
las propiedades de factorizacin de enteros
algebraicos en trminos de ideales, que son
en cierta fi conjuntos finitos de enteros
algebraicos. El uso de este nuevo concepto
abstracto, junto con una definicin
adecuada del producto de dos ideales,
Dedekind fue capaz de demostrar en toda
su
generalidad que, dentro de cualquier anillo
de enteros algebraicos, ideales poseen una
descomposicin nica de ideales primos.
El influyente algebrista Kronecker se quej
de que las pruebas de Dedekind no nos
permiten calcular, en un caso particular, los
divisores o ideales relevantes: es decir, la
prueba fue puramente existencial. vista de
Kronecker fue que de esta manera
abstracta
de trabajo, hecho posible por los mtodos
de teora de conjuntos y por una
concentracin de las propiedades
algebraicas de las estructuras implicadas,
era
demasiado alejado de un tratamiento que
algortmica es, a partir de los llamados
constructivo
mtodos. Pero para Dedekind esta queja
era equivocada: se limita mostr que haba
tenido xito en la elaboracin del principio
de poner los pensamientos en el lugar de
los clculos, un principio que tambin se
hizo hincapi en la teora de las funciones
complejas de Riemann. Obviamente, los
problemas concretos requeriran el
desarrollo
de tcnicas computacionales ms
delicados, y Dedekind contribuido a esto en
varios
papeles. Pero tambin ha insistido en la
importancia de una teora general,
conceptual.
Las ideas y los mtodos de Riemann y
Dedekind se convirtieron mejor conocida a
travs de publicaciones de la poca 1867-
1872. Estos se encontraron
particularmente
sorprendente debido a su defensa muy
explcita de la opinin de que las teoras
y clculos que siempre deben basarse en
claramente formulada conceptos
generales, con expresiones analticas o
dispositivos
de clculo relegados a un mayor desarrollo
de la teora.
Para explicar el contraste, consideremos el
caso especialmente claro de la
oposicin entre Riemann y los enfoques de
Weierstrass para funcionar teora.
Weierstrass opt sistemticamente para
las representaciones explcitas de analtica
(o
holomorfa) funciones por medio de series
de potencias de la forma
n = 0 un norte( z - un) norte, conectados
entre s por continuacin analtica.
Riemann
eligi un Erent muy di ff y el enfoque ms
abstracto, de fi nir una funcin analtica que
sea si se satisface la Cauchy-Riemann di ff
erentiability condiciones.
2 Esta ordenada conceptual definicin
apareci objetable para Weierstrass,
como la clase de funciones diferenciable di
ff nunca se haba caracterizado
cuidadosamente (en trminos de
representaciones de la serie, por ejemplo).
El
ejercicio de sus capacidades crticas
famosos, Weierstrass o FF ejemplos Ered
de
funciones continuas que estaban en
ninguna parte diferenciable di ff.
Vale la pena mencionar que, en preferir en
serie finita como el medio clave para la
investigacin en la teora del anlisis y de
la funcin, Weierstrass se mantuvo ms
cerca de la vieja idea siglo dieciocho de una
funcin como una expresin analtica. Por
otro lado, Riemann y Dedekind fueron
siempre a favor de la idea abstracta de
Dirichlet
de una funcin F como una forma
arbitraria de asociar con cada x algunos y
= f (x). ( Anteriormente
haba sido necesario que y debe ser
expresada en trminos de x por medio de
una
frmula explcita.) En sus cartas,
Weierstrass criticado esta concepcin de
Dirichlet
como demasiado generales y vagas para
constituir el punto de partida para cualquier
desarrollo matemtico interesante. Parece
haber perdido el punto de que era, de
hecho, slo el marco adecuado en el que
para definir y analizar los conceptos
generales como continuidad y integracin.
Este marco se dio en llamar la enfoque
conceptual en las matemticas del siglo
XIX.
debates metodolgicos similares surgieron
en otras reas tambin. En una carta de
1870, Kronecker fue tan lejos como para
decir que el teorema de Bolzano-
Weierstrass
era un sofisma obvio, prometiendo que
iba a O ff er contraejemplos. El teorema de
Bolzano-Weierstrass, que establece que un
infinito conjunto acotado de nmeros
reales tiene un punto de acumulacin, era
una piedra angular del anlisis clsico, y se
destac como tal por Weierstrass en sus
famosas conferencias de Berln. El
problema
para Kronecker fue que este teorema se
basa enteramente en el axioma de
integridad
para los nmeros reales (que, en una
versin, indica que cada secuencia de no
vaco
anidado intervalos cerr en R tiene una
interseccin no vaca). Los nmeros reales
no
pueden ser construidos de manera
elemental de los nmeros racionales: uno
tiene que
hacer un uso intensivo de los conjuntos en
finitas (como el conjunto de todos los
posibles cortes de Dedekind que son
subconjuntos do Q de tal manera que
pag do cuando pag y q son nmeros
racionales tal que
p <q y q DO). Para decirlo de otra
manera: Kronecker fue llamar la atencin
sobre el
problema de que, muy a menudo, el punto
de acumulacin en el teorema de
Bolzano-Weierstrass no puede ser
construido mediante operaciones
elementales de lo
racional
2. Riemann determin funciones
particulares por una serie de independiente
rasgos tales como la asociada superficie
de Riemann y el comportamiento en los
puntos singulares. Estas caractersticas
determinan la funcin a travs de un
cierto principio de variacin (el principio
de Dirichlet), que tambin fue criticada
por Weierstrass, que dio un
contraejemplo a la misma. Hilbert y ms
tarde se Kneser reformular y justificar el
principio nmeros. La idea clsica del
conjunto de los nmeros reales, o
continuo, ya contena
las semillas de la no constructiva
ingrediente de la matemtica moderna.
Ms tarde, en torno a 1890, el trabajo de
Hilbert de la teora de invariantes dio lugar
a un debate sobre su prueba puramente
existencial de otro resultado bsico, el
teorema de la base, que establece (en
terminologa moderna) que cada ideal en
un
anillo de polinomios se genera
infinitamente. Paul Gordan, famoso como
el rey de los
invariantes por su trabajo en gran medida
algortmica sobre el tema, coment con
humor que se trataba de teologa no
matemticas! (Al parecer, significaba que,
debido a que la prueba era puramente
existencial, ms que constructiva, que era
comparable con las pruebas filosficas de
la existencia de Dios.)
Esta temprana debate fundamental
condujo a una gradual clari fi cacin de los
puntos de vista opuestos. pruebas de
Cantor en la teora de conjuntos tambin se
convirtieron en ejemplos por excelencia de
la metodologa moderna de la prueba
existencial. l o FF Ered una defensa
explcita de la ms alta infinito y mtodos
modernos en un documento de 1883, que
fue salpicada de ataques ocultos en vistas
de Kronecker. Kronecker a su vez critic los
mtodos de Dedekind pblicamente en
1882, habl en privado contra Cantor, y en
1887 public un intento de explicar sus
puntos de vista fundamentales. Dedekind
respondi con una teora de conjuntos
detallada (y por lo tanto, para l,
logicistic) la teora de los nmeros
naturales en
1888.
La ronda inicial de la crtica termin con una
aparente victoria para el campo
moderno, en el que participaron los nuevos
y poderosos aliados como Hurwitz,
Minkowski,
Hilbert, Volterra,
Peano, y Hadamard, y que fue defendido
por figuras influyentes fi tales como Klein.
Aunque
la teora de la funcin de Riemann todava
estaba en la necesidad de un mayor
refinamiento fi, los recientes desarrollos en
anlisis real, la teora de nmeros, y otros
campos estaban mostrando el poder y la
promesa de los mtodos modernos.
Durante
la dcada de 1890, el punto de vista
moderno en general, y en particular, el
logicismo,
gozaron de gran expansin. Hilbert
desarroll la nueva metodologa en el
mtodo
axiomtico, que utiliz a buen e ff ect en su
tratamiento de la geometra (1899 y
ediciones posteriores) y del sistema de
nmeros reales.
Entonces, de manera espectacular,
vinieron los llamados paradojas lgicas,
descubiertas por Cantor, Russell, Zermelo,
y otros, que sern discutidos ms adelante.
Estos eran de dos tipos. Por un lado, hay
argumentos que muestran que la hiptesis
de que existen ciertos conjuntos conducen
a contradicciones. Estos fueron llamados
ms tarde, el la teora de conjuntos
paradojas. Por otro lado, hay argumentos,
ms
tarde conocido como el
semntico paradojas, que se presentaron
di fi cultades con las nociones de verdad y
de fi bilidad. Estas paradojas destruyeron
por completo la atractiva vista de los
acontecimientos recientes en matemticas
que haba sido propuesto por el logicismo.
De hecho, el apogeo del logicismo vino
antes de las paradojas, es decir, antes de
1900; posteriormente disfrut de un
renacimiento con Russell y su teora de los
tipos,
pero en 1920 logicismo era de inters para
los filsofos ms que a los matemticos.
Sin embargo, la brecha entre los
defensores de los mtodos modernos y
crticos de
estos mtodos constructivistas estaba all
para quedarse.
2 Alrededor de 1900
Hilbert abri su famosa lista de problemas
matemticos en Paris en el Congreso
Internacional de Matemticas de 1900, con
Cantor un problema continuo, una
pregunta
clave en la teora de conjuntos, y con el
problema de si cada conjunto puede ser
bien
ordenado. Su segundo problema ascendi
a establecer la consistencia de la nocin del
conjunto R de los nmeros reales. No fue
por casualidad que empez con estos
problemas: ms bien, era una manera de
hacer una declaracin clara acerca de cmo
deben ser las matemticas en el siglo XX.
Esos dos problemas, y el axioma de
eleccin empleado por joven colega de
Hilbert Zermelo para demostrar que R ( el
continuo)
puede ser bien ordenada, son ejemplos por
excelencia de los rasgos (i) - (iv) que
fueron mencionados anteriormente. No es
de extraar que las mentes menos afectado
por el calor y se opusieron revivieron las
dudas de Kronecker, como puede verse en
muchas publicaciones de 1905-1906. Esto
nos lleva a la siguiente etapa del debate.
2.1 Paradojas, consistencia
En un notable giro de los acontecimientos,
los campeones de la matemtica moderna
tropezaron con argumentos que arrojan
nuevas dudas sobre su contundencia. En
torno a 1896, Cantor descubri que los
conceptos aparentemente inofensivos del
conjunto de todos los ordinales y el
conjunto de todos los cardenales llevaron a
contradicciones. En el primer caso, la
contradiccin se denomina usualmente
paradoja
Burali-Forti; este ltimo es el paradoja de
Cantor. La suposicin de que todos los
ordinales finitos trans forman un conjunto
conduce, por los resultados previos de
Cantor, con el resultado de que hay un
ordinal que es menor que en s, y lo mismo
para los cardenales. Al enterarse de estas
paradojas, Dedekind comenz a dudar de
que el pensamiento humano es
completamente racional. Lo que es peor, en
1901-1902 Zermelo y Russell descubri
una contradiccin muy elemental, ahora
conocido como el Zermelo- paradoja de
Russell, que se discutir en un momento.
La
inconsistencia de la comprensin previa de
la teora de conjuntos como la lgica qued
claro, y se inici un nuevo perodo de
inestabilidad. Pero hay que decir que slo
logicistas resultaron gravemente alterados
por estos argumentos: se les present
contradicciones en sus teoras.
Vamos a explicar la importancia de la
paradoja de Zermelo-Russell. A partir de
Riemann a Hilbert, muchos autores
aceptados
el principio de que, dado cualquier fi
propiedad lgica o matemtica bien de
nido,
existe un conjunto de todas objetos que
satisfacen esa propiedad. En smbolos:
dado
un bien de fi nida la propiedad pag,
existe otro objeto, el conjunto { x: p (x)}.
Por ejemplo, correspondiente a la
propiedad de
ser un nmero real (que se expresa
formalmente por axiomas de Hilbert) no es
el
conjunto de todos los nmeros reales;
correspondiente a la propiedad de ser un
ordinal no es el conjunto de todos los
ordinales; y as. Esto se llama el principio
de
comprensin, y constituye la base para la
comprensin de la teora de conjuntos
logicistic, a menudo llamada la teora de
conjuntos ingenua, aunque su ingenuidad
slo es evidente en retrospectiva. El
principio se pens como una ley lgica
bsica, de
modo que todos la teora de conjuntos no
era ms que una parte de la lgica
elemental.
La paradoja de Zermelo-Russell muestra
que el principio de la comprensin es
contradictorio, y lo hace mediante la
formulacin de una propiedad que parece
ser tan
bsico y puramente lgica posible. Dejar p
(x) ser la propiedad x /
x ( cojinete
en cuenta que la negacin y la membresa
se supone que son conceptos puramente
lgicos). El principio de comprensin
produce la existencia del conjunto R = {x:
x/
x}, pero esto
conduce rpidamente a una contradiccin:
si R R, entonces R / R ( por
la definicin de R), y del mismo modo, si R
/ R, entonces R R.
Hilbert (al igual que su colega ms antiguo
Frege) se llev a abandonar el logicismo, e
incluso se pregunt si Kronecker podra
haber estado en lo cierto. Finalmente se
lleg
a la conclusin de que la teora de
conjuntos haba demostrado la necesidad
de volver
teora lgica definir. Tambin era necesario
establecer la teora de conjuntos
axiomtica, como una base matemtico
teora basada en axiomas matemticos (no
lgicos), y Zermelo emprendieron esta
tarea.
Hilbert abog famoso que afirmar que
existe un conjunto de objetos matemticos
es equivalente a probar que el sistema de
axiomas correspondiente es constante, es
decir, libre de contradicciones. La evidencia
documental sugiere que Hilbert vino a este
clebre principio como reaccin a las
paradojas de Cantor. Su razonamiento
puede
haber sido que, en vez de saltar
directamente desde bien de fi nidas
conceptos a sus
correspondientes conjuntos, uno tena
primeros en demostrar que los conceptos
son
lgicamente consistentes. Por ejemplo,
antes de poder aceptar el conjunto de
todos
los nmeros reales, se debe probar la
consistencia de sistema de axiomas de
Hilbert
para ellos. principio de Hilbert era una
manera de eliminar cualquier contenido
metafsico de la nocin de la existencia
matemtica. Esta vista,
Las paradojas lgicas incluyen no slo los
que van por los nombres de
Burali-Forti, Cantor y Russell, pero tambin
muchas paradojas semnticas formuladas
por Russell,
Richard, Knig, Grelling, etc (la paradoja de
Richard se discutir ms adelante.) Mucha
confusin surgi de la abundancia de las
paradojas di ff Erent, pero una cosa est
clara: que jugaron un papel importante en
la promocin del desarrollo de la lgica
moderna y matemticos convincentes de la
necesidad de una presentacin
estrictamente formal de sus teoras. Slo
cuando una teora se ha dicho en un
lenguaje formal precisa se puede prescindir
de las paradojas semnticas, e incluso
formular la distincin entre stos y los de
teora de conjuntos.
2.2 Predicativity
Cuando los libros de Frege y Russell
hicieron las paradojas de la teora de
conjuntos
ampliamente conocido por la comunidad
matemtica en 1903, Poincar'e los utiliz
para
avanzar en sus puntos crticos contra el
logicismo y el formalismo.
Su anlisis de las paradojas le llev a
acuar una importante nueva nocin,
predicativity,
y mantener esa fi niciones de impredicativo
deben evitarse en las matemticas. De
manera informal, una definicin es
impredicativo cuando se introduce un
elemento
haciendo referencia a una totalidad que ya
contiene ese elemento. Un ejemplo tpico
es el siguiente: Dedekind define el conjunto
norte de nmeros naturales como la
interseccin de todos los conjuntos que
contienen 1 y son cerrados bajo una
funcin
inyectiva de tal manera que 1 /
( NORTE). ( La funcin se llama
el la funcin sucesor). Su idea fue
caracterizar norte como mnimo, pero en su
procedimiento el conjunto norte se
introdujo primero apelando a una totalidad
de
conjuntos que ya debera incluir
norte s mismo. Este tipo de procedimiento
apareci inaceptable para Poincar'e (y
tambin a Russell), especialmente cuando
el objeto relevante puede ser especi fi
solamente
por referencia a la totalidad ms abrazar.
Poincar'e encontrar ejemplos de
procedimientos impredicativas en cada una
de las paradojas que estudi.
Tomemos, por ejemplo, la paradoja de
Richard, que es una de las paradojas
lingsticas o semnticas (donde, como
hemos dicho, las nociones de verdad y de
fi
bilidad son prominentes). Se parte de la
idea de definible numeros reales. Debido a
que
de fi niciones deben expresarse en un
idioma determinado por las expresiones
finitas,
slo hay una cantidad numerable de
nmeros de fi definibles. De hecho,
podemos
contar explcitamente los definible nmeros
de reales, mediante su inclusin en el
orden alfabtico de sus de fi niciones. (Esto
se conoce como la orden lexicogrfico.)
La idea de Richard era aplicar a esta lista
un proceso diagonal, del tipo de los
utilizados por Cantor para demostrar que R
no es contable. Deje que los nmeros sean
definible un 1, un 2, un 3, . . . . De fi ne un
nuevo nmero r de manera sistemtica,
asegurndose de que la
norte dgito decimal de r es Erent di ff de
la norte dgito decimal de un norte. ( Por
ejemplo,
dejar que el norte dgito r ser de 2 a
menos que la norte dgito un norte es 2,
en cuyo caso
dejar que el norte dgito r
ser 4.) Luego r no puede pertenecer al
conjunto de los nmeros definible. Pero en
el
curso de esta construccin, el nmero r
acaba de ser definida infinitamente muchas
palabras! Poincar'e prohibira
impredicativas de fi niciones y por lo tanto
prevenir la
introduccin de la serie r, ya que se defini
con referencia a la totalidad de todos los
nmeros definible. 3
En este tipo de acercamiento a los
fundamentos de las matemticas, todos los
objetos matemticos (ms all de los
nmeros naturales) deben ser introducidos
por
explcitas de fi niciones. Si una definicin se
refiere a un presunto totalidad de la que el
objeto de ser de fi nido es en s mismo un
miembro, estamos involucrados en un
crculo: el objeto en s es entonces un
componente de su propia definicin. En
este
punto de vista, de fi niciones deben ser
predicativo: uno se refiere nicamente a
las
totalidades que ya han sido establecidos
antes de que el objeto es de fi nir. autores
importantes como Russell y Weyl aceptado
este punto de vista y lo ha desarrollado.
Zermelo no estaba convencido,
argumentando que impredicativas de fi
niciones se
utilizan a menudo sin problemas, no slo
en la teora de conjuntos (como en la de
Dedekind definicin de NORTE, por
ejemplo), sino tambin en el anlisis
clsico. Como
ejemplo particular, cit Cauchy 'S de la
prueba teorema fundamental del lgebra, 4
pero
un ejemplo ms simple de impredicativo
definicin de fi es la cota superior mnima
en
el anlisis real. Los nmeros reales no se
introducen por separado, por explcitas
predicativos de fi niciones de cada uno de
ellos; ms bien, que se introducen en su
conjunto completado, y la manera
particular en que el extremo superior de un
infinito
limitada como conjunto de nmeros reales
es sealado convierte impredicativo. Pero
Zermelo insistido en que estas de fi
niciones son inocuos, ya que el objeto que
se ha
de fi nido no se crea de la definicin; es
meramente identificado (vase su papel de
1908 en van Heijenoort (1967, pp. 183-
98)).
La idea de Poincar'e de abolir
impredicativas de fi niciones se convirti en
importante para Russell, quien lo incorpor
como el principio del crculo vicioso en su
influyente teora de los tipos.
teora tipo es un sistema de lgica de orden
superior, con cuanti fi cacin sobre las
propiedades o en grupos, sobre las
relaciones, ms conjuntos de conjuntos, y
as
sucesivamente. En trminos generales, se
basa en la idea de que los elementos de
cualquier conjunto siempre deben ser
objetos de un determinado tipo
homogneo. Por
ejemplo, podemos tener conjuntos de
individuos, como { a, b}, o conjuntos de
conjuntos de
indicacin
3. La solucin moderna es establecer fi
niciones de matemtica
dentro de una teora formal bien
determinada, cuyo lenguaje y las
expresiones son fijo para empezar. La
paradoja de
Richard se aprovecha de una ambigedad
en cuanto a lo que los medios disponibles
de definicin son.
4. razonamiento de Cauchy era claramente
no constructiva, o puramente
existencialcomo hemos venido diciendo.
Con el fin de demostrar que el polinomio
debe tener una raz, Cauchy estudi el
valor absoluto del polinomio, que tiene un
mnimo global . Este mnimo global est
nida impredicatively de fi. Cauchy
asumi que era positivo, y desde este se
deriva una contradiccin (ver Gilain 1991).
viduals, tales como {{ a}, {a, b}}, pero
nunca un mixto conjunto como { a, {a,
b}}. La
versin de Russell del tipo teora se
convirti en bastante complicada debido a
la
llamada rami fi cacin se adopt con el fin
de evitar impredicativity. Este sistema,
junto con axiomas de infinito, la eleccin y
reducibilidad (un sorprendentemente ad
hoc significa colapso la rami fi cacin), su
fi ced para el desarrollo de la teora de
conjuntos y los sistemas numricos. De
este modo se convirti en la base lgica
para
la reconocida Principia Mathematica por
Whitehead y Russell (1910-1913), en el
que se
desarrollaron cuidadosamente una base
para las matemticas.
teora de tipos se mantuvo el sistema lgico
principal hasta alrededor de 1930, pero
bajo la forma de sencillo escriba teora (es
decir, sin rami fi cacin), que, como
Chwistek, Ramsey, y otros se dieron
cuenta, ces FFI SU para una fundacin en
el
estilo de
Principia. Ramsey propuso argumentos que
fueron dirigidas a eliminar las
preocupaciones sobre impredicativity, y l
trat de justificar los otros axiomas de
existencia Principia -la axioma del infinito y
el axioma de eleccin, como principios
lgicos. Pero sus argumentos no fueron
concluyentes. El intento de Russell para
rescatar logicismo de las paradojas
permaneci poco convincente, con
excepcin de
algunos filsofos (especialmente los
miembros del Crculo de Viena).
sugerencias de Poincar'e tambin se
convirtieron en un principio clave para el
enfoque fundamental
interesante propuesto por Weyl en su libro
Das Kontinuum ( 1918). La idea principal
era para aceptar la
teora de los nmeros naturales ya que
fueron desarrollados convencionalmente
usando la lgica clsica,
sino trabajar predicativamente de ah en
adelante. Por lo tanto, a diferencia de
Brouwer, Weyl acept el
principio del tercero excluido. (Esto, y
Brouwer Otra oportunidad en
conseguir esta frase para
todos los gustos. Aceptar
ahora Jos'e?
puntos de vista, se discutirn en la
siguiente seccin) Sin embargo, el sistema
completo de los nmeros reales no estaba
disponible para l:. en su sistema el
conjunto R no fue completa y el teorema de
Bolzano-Weierstrass fall, lo que
significaba que tena que idear reemplazos
sofisticados para las derivaciones
habituales de los resultados en el anlisis.
La idea de bases predicativos para las
matemticas, al estilo de Weyl, ha sido
cuidadosamente desarrollado en las
ltimas dcadas con resultados notables
(ver
Feferman 1998). predicativos sistemas se
encuentran entre los que tolerar toda la
metodologa moderna y los sistemas
constructivistas ms estrictas. Este es uno
de
varios enfoques fundamentales que no
encajan en el convencional, pero por ahora
obsoleta trada de logicismo, el formalismo
y el intuicionismo.
2.3 Eleccin
Tan importante como las paradojas eran,
su impacto en el debate fundamental
menudo se ha exagerado. Una frecuencia fi
cuentas NDS que tienen las paradojas
como la verdadera
6 Princeton compaero de Matemticas
Prueba
starting point of the debate, in strong
contrast with our discussion in Section 1.
But
even if we restrict our attention to the first
decade of the twentieth century, there was
another controversy of equal, if not
greater, importance: the arguments that
surrounded
the axiom of choice and Zermelos proof of
the well-ordering theorem.
Recall from Section 2.1 that the association
between sets and their defining
properties was at the time deeply ingrained
in the minds of mathematicians and
logicians (via the contradictory principle of
comprehension). The axiom of choice (AC),
is the principle that, given any infinite
family of disjoint nonempty sets, there is a
set,
known as a choice set, que contiene
exactamente un elemento de cada
conjunto en la
familia. El problema con esto, dijo que los
crticos, es que se limita a establecer la
existencia del conjunto de eleccin y no da
una propiedad de fi nir por ello. De hecho,
cuando se es posible caracterizar el
conjunto de eleccin de forma explcita, a
continuacin, el uso de aire acondicionado
se puede evitar! Pero en el caso del
teorema del buen orden de Zermelo es
esencial emplear AC. La necesaria buena
ordenacin de R Existe en el sentido ideal
de Cantor, Dedekind, y Hilbert, pero
pareca claro que era completamente fuera
del alcance de cualquier perspectiva
constructivista.
Por lo tanto, el axioma de eleccin
exacerbado puntos oscuros en las
concepciones anteriores de la teora de
conjuntos, obligando a los matemticos
para
introducir aclaraciones muy necesarias. Por
un lado, el AC no era ms que una
declaracin explcita de puntos de vista
anteriores sobre arbitrario subconjuntos, y,
sin
embargo, por otro lado, es obvio que se
enfrentaron con vistas muy arraigadas
sobre
la necesidad de explcitamente definen en
conjuntos fi nitos de propiedades. El
escenario estaba listo para el debate
profundo. Las discusiones sobre este tema
en
particular contribuyeron ms que nada a
una clari fi cacin de las implicaciones
existenciales de los mtodos matemticos
modernos. Es instructivo saber que Borel,
Baire,
y Lebesgue, que se convirti crticos, todo
haba dependido de CA en formas menos
obvias con el fin de demostrar teoremas de
anlisis. No por casualidad, el axioma de
Zermelo se sugiri por un analista, Erhard
Schmidt, que era un estudiante de Hilbert.
5 sistema fue desarrollado dentro de la
Despus de la publicacin de la prueba de
Zermelo, un intenso debate desarrollado
en toda Europa. Zermelo fue estimulado a
trabajar en los fundamentos de la teora de
conjuntos en un intento de demostrar que
su prueba podra desarrollarse dentro de un
sistema de axiomas irreprochable. El
resultado fue su famoso sistema de
axiomas (ver los
axiomas de Zermelo-Fraenkel), una obra
maestra que surgi de un anlisis
cuidadoso
de la teora de conjuntos como fue
histricamente da en las contribuciones
5. Uno puede todava ganar mucho
conocimiento mediante la lectura de las
cartas
intercambiado por los analistas franceses
en 1905 (vase Moore 1982; Ewald
1996) y los argumentos inteligentes de
Zermelo en 1908 su segunda prueba del
buen orden (van Heijenoort 1967).
de Cantor y Dedekind y en el propio
teorema de Zermelo. Con algunas
adiciones
debido a Fraenkel y von Neumann
(Los axiomas de la sustitucin y la
regularidad) y la mayor innovacin
propuestas por
Weyl y Skolem (formularlo dentro fi lgica
de primer orden, es decir, la cuantificacin
sobre los individuos, los conjuntos, pero no
sobre sus propiedades), el sistema axioma
se convirti en la dcada de 1920 la que
ahora sabemos.
El sistema ZFC (esto significa Zermelo-
Fraenkel con la eleccin) codi fi ca los
rasgos clave de la metodologa matemtica
moderna, o FF Ering un marco
satisfactorio para el desarrollo de las
teoras matemticas y la realizacin de
pruebas.
En particular, se incluye fuertes principios
existencia, permite impredicativo de fi
niciones y funciones arbitrarias, garantiza
puramente PRUEBAS existenciales, y hace
que sea posible para definir las principales
estructuras matemticas. Por lo tanto,
exhibe todas las tendencias (i) - (iv)
mencionados en la Seccin 1. propio
trabajo de
Zermelo era completamente en lnea con
axiomatizaciones informales de Hilbert de
alrededor de 1900, y no se olvid de
prometer una prueba de consistencia. la
teora
axiomtica de conjuntos, ya sea en la
presentacin de Zermelo-Fraenkel o la
versin
de von Neumann-Bernays-Gdel,
A partir de 1910, el contraste entre la teora
de tipos de Russell y la teora de
conjuntos de Zermelo era fuerte. El antiguo
lgica formal, y su punto de partida
(aunque ms tarde comprometida por
razones
prcticas) estuvo en lnea con
predicativism; con el fin de derivar las
matemticas, el
sistema necesita los supuestos
existenciales de lo infinito y la eleccin,
pero stos
fueron tratados retricamente como
hiptesis provisionales en lugar de axiomas
absolutas. Este ltimo sistema fue
presentado de manera informal, adopt el
punto de
vista impredicativo de todo corazn, y
afirm como axiomas fuertes supuestos
existenciales que eran su ciente FFI para
derivar todas las matemticas clsicas y la
teora de Cantor de la ms alta infinito. En
los aos 1920 la separacin disminuye en
gran medida, especialmente con respecto a
los dos primeros rasgos se acaba de
indicar. sistema de Zermelo se perfeccion
y se formul dentro del lenguaje de la
lgica formal moderna. Y los Russellians
adopt la teora de tipo simple, aceptando
as
la impredicativo y la metodologa
existencial de la matemtica moderna.
Esto a
menudo se da el (potencialmente confusa)
trmino platonismo: los objetos que la
teora se refiere a son tratados como si
eran independientes de lo que el
matemtico
puede en realidad y explcitamente definen.
Mientras tanto, en la primera dcada del
siglo XX, un joven matemtico en los
Pases Bajos empezaba a hallar su camino
hacia una versin filosficamente color del
constructivismo. Brouwer present sus
peculiares puntos de vista
sorprendentemente
metafsicos y ticos en 1905, y
Princeton compaero de Matemticas
Prueba 7
comenzado a elaborar una base
correspondiente a las matemticas en su
tesis de
1907. Su filosofa de intuicionismo deriva
de la antigua vista metafsico que la
conciencia individual es la nica fuente de
conocimiento. Esta filosofa es tal vez de
poco inters en s mismo, por lo que nos
centraremos aqu en principios
constructivistas de Brouwer. En los aos
alrededor de 1910, Brouwer se convirti en
un matemtico de renombre, con
contribuciones importantes a la topologa
como su teorema
de punto fijo. Al final de la Primera Guerra
Mundial, comenz a publicar elaboraciones
detalladas de sus ideas fundamentales,
ayudando a crear la famosa crisis, a la
que
nos dirigimos ahora. l tambin tuvo xito
en establecer la distincin habitual (pero
engaosa) entre el formalismo e plano. Nadie haba cuestionado las formas
intuicionismo.
El 3 Crisis En un sentido estricto
En 1921, el mathematical Zeitschrift
publica una nota de Weyl en la que el
famoso
matemtico, que era discpulo de Hilbert,
abrazado abiertamente intuicionismo y se
le
diagnostic una crisis en las bases de las
matemticas. La crisis seal hacia una
disolucin del antiguo estado de anlisis, Weyl de.
por medio de la revolucin. El artculo de Al hacerlo, se encontr con una nueva
Weyl de Brouwer se entiende como un
panfleto de propaganda para despertar a
los
durmientes, y ciertamente lo hizo. Hilbert
respondi en el mismo ao, acusando
Brouwer y Weyl de intentar un golpe para
la formacin dictadura a la`
Kronecker(ver
los artculos pertinentes en Mancosu
(1998) y Van Heijenoort (1967)). El debate
fundamental un cambio espectacular en la
batalla entre los intentos de Hilbert para
justificar clsicos las matemticas y la
reconstruccin de Brouwer desarrollo de
una
matemtica intuicionista muchreformed.
Por qu fue Brouwer revolucionario?
Hasta 1920 las cuestiones fundamentales
ms importantes haban sido la
aceptabilidad de los nmeros reales y, ms
fundamentalmente, de la impredicativity y
fuertes supuestos existenciales de la teora
de conjuntos, que apoy la ms alta infinito
y el uso sin restricciones de pruebas
existenciales. La teora de conjuntos y, por
implicacin, anlisis clsico haba sido
criticado por su dependencia de
impredicativas de fi niciones y por sus
fuertes
supuestos existenciales (en particular, el
axioma de eleccin, cuyo amplio uso en el
anlisis clsico fue demostrado por
Sierpinski en 1918). Por lo tanto, el debate
en las
dos primeras dcadas del siglo XX fue
principalmente acerca de cules son los
principios para aceptar la hora de de fi nir
y establecer la existencia de conjuntos y
subconjuntos. Una cuestin clave era, se
puede hacer rigurosa la vaga idea detrs
habla de subconjuntos arbitrarios? Las
reacciones ms coherentes haban sido
axiomatizacin de la teora de conjuntos de
Zermelo y el sistema predicativo de Weyl
en Das Kontinuum. ( los Principia
Mathematica de Whitehead y Rusventa
era un compromiso entre el xito y
predicativism matemtica clsica.)
Brouwer, sin embargo, trajo nuevas y an
ms bsicos preguntas a un primer
tradicionales de razonar acerca de los
nmeros naturales: la lgica clsica, en
particular, el uso de cuantificadores ERS y
el
principio del tercero excluido, se haban
utilizado en este contexto sin dudar. Pero
Brouwer present las crticas de principios
de estas suposiciones y comenz a
desarrollar una teora alternativa de
anlisis que era mucho ms radical que
teora del continuo, que finalmente atrajo
Weyl
y le hizo anuncian la llegada de una nueva
era.
3.1 intuicionismo
Brouwer comenz el desarrollo sistemtico
de sus puntos de vista con dos ponencias
sobre la teora de conjuntos intuicionista,
escrito en alemn y publicado en 1918 y
1919 por el Verhandelingen de la Academia
Holandesa de Ciencias. Estas
contribuciones fueron parte de lo que l
considera como la Segunda Ley del
intuicionismo. La Primera Ley (de 1907)
haba sido su nfasis en los fundamentos
de
las matemticas intuitivas. Ya Klein y
Poincar'e haban insistido en que la
intuicin
tiene un papel ineludible a la hora de
conocimiento matemtico: tan importante
como la
lgica est en pruebas y en el desarrollo de
la teora matemtica, las matemticas no
pueden reducirse a la lgica pura; teoras y
pruebas son, por supuesto, de modo
lgico, pero sus principios bsicos
(axiomas) se basan en la intuicin. Pero
Brouwer
fue ms all de ellos y ha insistido en la
independencia absoluta de las matemticas
de lenguaje y la lgica.
Desde 1907, Brouwer rechaz el principio
del tercero excluido (PEM), que
consideraba equivalente a la conviccin de
que todos los Hilbert problemas
matemticos tienen solucin. PEM es el
principio lgico que la declaracin
pag pag ( es decir, ya sea pag o no
pag) siempre debe ser verdad, sea cual sea
la
proposicin pag tal vez. (Por ejemplo, se
deduce de PEM que, o bien la expansin
decimal de contiene infinitamente
muchos 7s o slo contiene infinita de siete
en siete,
a pesar de que no tenemos una prueba de
ello.) Brouwer sostuvo que los principios
lgicos habituales son recabados de la
forma en que tratamos con subconjuntos
de un
conjunto finito, y que no era correcto
aplicarlos en conjuntos finitas tambin.
Despus
de la Primera Guerra Mundial comenz la
reconstruccin sistemtica de las
matemticas.
La posicin intuicionista es que slo se
puede afirmar pag o q Cuando uno puede
dar ya sea una prueba constructiva de pag
o una prueba constructiva de q. Este punto
de vista tiene la consecuencia de que
pruebas por contradiccin ( reductio ad
8 Princeton compaero de Matemticas
Prueba
absurdum) no son vlidas. Considere fi
prueba de Hilbert primera de su teorema
de la
base (Seccin 1), logrado por reductio:
demostr que se puede derivar una
contradiccin de la hiptesis de que la base
es
infinito, y desde este concluy que la base
es infinito. La lgica detrs de este
procedimiento es que se parte de una
instancia concreta de la PEM,
pag pag, muestra esa pag es
insostenible, y concluir que pag debe ser
verdad. Pero
las matemticas constructivas pide
explcito procedimientos para la
construccin de
cada objeto que se supone que existe, y
construcciones explcitas detrs de
cualquier
enunciado matemtico. Del mismo modo,
hemos mencionado anteriormente (Seccin
2.1) a prueba de Cauchy del teorema
fundamental del lgebra, as como muchas
pruebas en anlisis real que invocan la cota
superior mnima. Todas estas pruebas no
son vlidas para un constructivista, y varios
matemticos han intentado salvar los
teoremas hallazgo pruebas constructivistas
para ellos. Por ejemplo, tanto Weyl y
Kneser trabajaron en pruebas
constructivistas para el teorema
fundamental del
lgebra.
Es fcil dar ejemplos del uso del PEM de que
un constructivista no aceptar: slo
hay que aplicarlo a cualquier problema
matemtico sin resolver. Por ejemplo, la
constante de cataln es el nmero
K=
n=0
( - 1) norte
(2 n + 1) 2.
No se sabe si K es trascendental, por lo que
si pag es la afirmacin la constante de
cataln es trascendental, a continuacin,
un constructivista no aceptar que se pag
es
verdadera o falsa.
Esto puede parecer extrao, o incluso
obviamente errneo, hasta que uno se da
cuenta de que los constructivistas tienen un
di ff vista Erent acerca de qu es la verdad
es. Para un constructivista, decir que una
proposicin es verdadera simplemente
medio
que podemos demostrarlo, de acuerdo con
los mtodos rigurosos que estamos
discutiendo; decir que es falso medio que
en realidad podemos exhibir un
contraejemplo a la misma. Puesto que no
hay razn para suponer que cada
declaracin existencia o bien tiene una
estricta prueba constructivista o un
contraejemplo explcito, no hay ninguna
razn para creer PEM (con esta nocin de
verdad). Por lo tanto, con el fin de
establecer la existencia de un nmero
natural con
una cierta propiedad, mediante una prueba
reduccin al absurdo no es suficiente.
Existencia se debe demostrar por
determinacin explcita o construccin si
quiere
persuadir a un constructivista.
Ntese tambin cmo este punto de vista
implica que las matemticas no es
atemporal o ahistrico. Fue slo en 1882
que Lindemann demostr que es un
nmero
trascendental.
Desde esa fecha, ha sido posible asignar un
valor de verdad a las declaraciones que
no eran ni verdaderas ni falsas anterior,
segn los intuicionistas. Esto puede
parecer
paradjico, pero fue justo para Brouwer, ya
que en su opinin los objetos matemticos
son construcciones mentales y rechaz
como
metafsica La suposicin de que tienen que
una existencia independiente.
En 1918, Brouwer reemplaz a los
conjuntos de Cantor y Zermelo por las
contrapartes constructivas, que se llamara
ms tarde spreads y las especies. Un como sus elementos-que es algo as
especies
es bsicamente un conjunto que ha sido
definida por una propiedad caracterstica,
pero con la condicin de que cada elemento
ha sido previamente y de forma
independiente definida por una
construccin explcita. En particular, la
definicin de
una especie determinada ser
estrictamente predicativo.
El concepto de una untado es
particularmente caracterstico del
intuicionismo, y
forma la base para de Brouwer definicin
del continuo. Es un intento de evitar la
idealizacin y hacer justicia a la naturaleza
temporal de las construcciones
matemticas. Supongamos, por ejemplo,
que deseamos para definir una secuencia
de
nmeros racionales que da mejores y
mejores aproximaciones a la raz cuadrada
de 2.
En el anlisis clsico, se concibe secuencias
tales como la existente en su totalidad,
pero Brouwer de fi ne una nocin que l
llamado a secuencia de eleccin, la cual
presta
ms atencin a la forma en que podran ser
producidos. Una forma de producirlos es
dar una regla, como la relacin de
recurrencia x n + 1 = ( x 2 n + 2) / 2 x
norte
(Y la condicin inicial x 1 = 2). Pero otra es
tomar decisiones menos rgidamente
determinados que obedecen a ciertas
limitaciones: por ejemplo, se podra insistir
en
que x norte tiene denominador norte y eso
x 2 norte di ff ers de 2 de como mximo
100 / norte,
lo que no determina x norte nica pero que
asegurarse de que la secuencia produce
mejores y mejores aproximaciones para
2. Una secuencia de eleccin es por lo tanto
no requiere ser completamente especi fi
cado desde el principio, y puede implicar
decisiones que se toman libremente por el
matemtico en momentos di ff Erent en el
tiempo. Estas dos caractersticas hacen que
las secuencias opcin muy di ff Erent
partir de las secuencias de anlisis clsico:
matemtica en la fabricacin, se ha dicho
que la matemtica intuicionista es Por el
contrario, la matemtica clsica se
caracteriza por un tipo de objetividad
atemporal, ya que sus objetos se supone
determinarse totalmente en s mismos e
independiente de los procesos de
pensamiento de los matemticos.
Una extensin tiene secuencias eleccin
como una ley que regula cmo se
construyen las secuencias. 6 Por ejemplo,
se podra
tener un diferencial que
6. Ms precisamente, una extensin se
define mediante dos leyes;
ver Heyting (1956), o ms recientemente
van Aten (2003), para ms detalles sobre
este y otros puntos. Uno puede
imaginar una propagacin como un
subrbol del rbol universal de nmeros
naturales (que consta de todas las
secuencias finitas de nmeros naturales),
junto con una asignacin de objetos
matemticos previamente disponibles a
los nodos. Una ley de la propagacin
determina nodos en el rbol, el otro los
asigna a los objetos.
Princeton compaero de Matemticas
Prueba 9
consisti en todas las secuencias de
eleccin que comenzaron de alguna
manera en
particular, y una extensin tal
representara un segmentos-, en general,
los
diferenciales no representan elementos
aislados, sino dominios continuos.
Mediante el
uso de los diferenciales de cuyos elementos
satisfacen la condicin de Cauchy,
Brouwer o FF Ered una nueva concepcin
de la matemtica continuo: en lugar de
estar
formada por puntos (o nmeros reales) con
una existencia platnica anterior, era ms
genuinamente continua. Curiosamente,
este punto de vista es una reminiscencia de
Aristteles, que, 23 siglos antes, haba
hecho hincapi en la prioridad del continuo
y Sin
rechazado la idea de que un continuo
prolongado puede estar compuesta de
puntos
no extendidas.
La siguiente etapa en el nuevo desarrollo
de anlisis de Brouwer fue analizar la
idea de una funcin. Brouwer de fi ne una
funcin de ser una asignacin de valores a
los elementos de un diferencial. Sin
embargo, debido a la naturaleza de los
diferenciales, esta asignacin tena que ser
totalmente dependiente de un segmento
inicial de la secuencia de eleccin con el fin
de ser constructiva admisible. Este vomit
una gran sorpresa: todas las funciones que
se encuentran en todas partes de fi nido
son continuas (e incluso uniformemente
continua). Qu, usted podra preguntarse,
acerca de la funcin
F dnde f (x) = 0 cuando x < 0 y f (x) = 1
cuando x 0? Para Brouwer, esto no es una
funcin definida bien de fi, y la razn
subyacente de esto es que uno puede
determinar
diferenciales para los que no conocemos (y
puede que nunca sepamos) si son
positivos, cero o negativo. Por ejemplo, se
podra dejar x norte ser 1 si todos los
nmeros
pares entre 4 y 2 norte son sumas de dos
nmeros primos, y - 1 de otro modo.
El rechazo de PEM tiene el e ff ect que
intuitionistic negacin ERS di ff en el
significado de la negacin clsica. De este
modo, la aritmtica intuicionista es
tambin
di ff Erent de la aritmtica clsica. Sin
embargo, en 1933 Godel y Gentzen fueron
capaces de mostrar que los axiomas
Dedekind-Peano de la aritmtica son
consistentes relativo a formalizado
aritmtica intuicionista. (Es decir, ellos
fueron
capaces de establecer una correspondencia
entre las frases de ambos sistemas
formales, de manera que una contradiccin
en la aritmtica clsica produce una
contradiccin en su contraparte
intuicionista; por lo tanto, si este ltimo es
consistente,
el primero debe ser as.) Este fue un
pequeo triunfo para los Hilbertians,
aunque
nunca se han encontrado pruebas
correspondientes para los sistemas de
anlisis o de
la teora de conjuntos.
Inicialmente se haba producido espera que
el desarrollo de los fines
intuitionismwould en una presentacin
simple y elegante de la matemtica pura.
embargo, como la reconstruccin de
Brouwer desarrollado en la dcada de
1920, se
hizo cada vez ms claro que el anlisis
intuicionista fue extremadamente
complicado y
extranjera. Brouwer no estaba preocupado,
porque, como se dira en
1933, las esferas de la verdad son menos
transparentes que los de ilusin. Pero
Weyl, aunque convencido de que Brouwer
haba fijado el dominio de la intuicin
matemtica de una manera
completamente
satisfactoria, coment (1925, p 534.): el
matemtico relojes con dolor la mayor
parte
de sus teoras imponentes disuelven en
niebla ante sus ojos Weyl parece haber
abandonado el intuicionismo en breve
despus de eso. Afortunadamente, haba
un
enfoque alternativo que sugiere otra
manera de rehabilitar la matemtica
clsica.
3.2 Programa de Hilbert
Este enfoque alternativo fue, por supuesto,
el programa de Hilbert, que prometa, en la
redaccin memorable de 1928, para
eliminar del mundo de una vez por todas
las
dudas escpticas en cuanto a la
aceptacin de las teoras clsicas de la
matemtica.
La nueva perspectiva, que comenz a
desarrollarse en 1904, se bas en gran
medida
en la lgica formal y un estudio
combinatorio de las frmulas que se puede
deducir de
las frmulas dadas (los axiomas). Con la
lgica moderna, las pruebas se convierten
en
clculos formales que se pueden
comprobar mecnicamente, por lo que el
proceso es
puramente constructivista.
A la luz de nuestra discusin anterior
(Seccin 1), es interesante que el nuevo
proyecto fue emplear Kroneckerian
significa para un fi cacin justificacin de la
metodologa moderna, anti-Kroneckerian.
El objetivo de Hilbert era mostrar que es
imposible probar una frmula
contradictoria de los axiomas. Una vez que
esto se ha
demostrado de forma combinatoria o
constructiva (o, como Hilbert tambin dijo,
nitarily
fi), el argumento puede ser considerado
como un fi cacin justificacin del axioma
del
sistema, incluso si leemos los axiomas
como hablar de objetos no Kroneckerian
como
los nmeros reales o conjuntos finitas
trans.
Sin embargo, las ideas de Hilbert en el
momento se vieron afectadas por una de fi
ciente comprensin de la teora lgica. 7
Fue slo en 1917-1918 que Hilbert volvi a
este tema, ahora con una re fi nida la
comprensin de la teora lgica y una
mayor
conciencia de los considerables di fi
cultades tcnicas de su proyecto. Otros
matemticos jugaron un papel muy signi fi
cativos en la promocin de esta mejor
comprensin. En 1921, ayudado por su
asistente Bernays, Hilbert haba llegado a
una
concepcin fi nida muy re de la
formalizacin de las matemticas, y haba
percibido la
necesidad de una profunda y ms
cuidadosa de sondeo en la estructura lgica
de las
pruebas matemticas y teoras. Su
programa fue primero claramente
formulada en una
charla en Leipzig a finales de 1922.
Aqu vamos a describir la forma madura del
programa de Hilbert, tal como se
present, por ejemplo, en el documento de
1925 Por el infinito (vase van Heijenoort
1967). La meta principal
7. La lgica que present en 1905 estaba
muy por detrs del sistema de Frege
de 1879 o de Peano de la dcada de 1890.
Nosotros no entramos en el desarrollo de la
teora lgica en este periodo
(vase, por ejemplo, Moore 1998;.
Mancosu et al, en prensa).
10 Princeton compaero de Matemticas
Prueba
era establecer, por medio de pruebas de
consistencia sintctica, la aceptabilidad
lgica
de los principios y modos de inferencia de
la matemtica moderna. Axiomtica,
lgica,
y formalizacin hizo posible estudiar teoras
matemticas desde un punto de vista
puramente matemtico (de ah el nombre
metamathematics), y Hilbert esperaba
establecer la noncontradictoriness de las
teoras mediante el empleo de medios muy
dbiles. En particular, Hilbert esperaba
para responder a todas las crticas de Weyl
y que un estudio fi nitary de pruebas
Brouwer, y con ello justificar la teora de
conjuntos, la teora clsica de los nmeros
reales, anlisis clsico, y por supuesto la
lgica clsica con su PEM (la base de
pruebas indirectas reduccin al absurdo).
El punto de enfoque de Hilbert era hacer
teoras matemticas totalmente precisa,
por lo que se convertira en posible obtener
resultados precisos acerca de las
propiedades de la teora. Los siguientes
pasos son indispensables para la
realizacin
de un programa de este tipo.
(1) Bsqueda de axiomas adecuados y
conceptos primitivos de una
teora matemtica T, como el de los
nmeros reales.
(2) Encontrar axiomas y reglas de
inferencia para la lgica clsica,
lo cual hace que el paso de proposiciones
dadas a nuevas propuestas de una,
procedimiento formal puramente
sintctica. (3) La formalizacin T por medio
del
clculo lgico formal,
por lo que las proposiciones de T son slo
cadenas de smbolos, y las pruebas
son secuencias de tales cadenas que
obedecen las reglas formales de inferencia.
(4) A fi nitary estudio de las pruebas
formales de T ese
muestra que es imposible que una cadena
de smbolos que expresa una
contradiccin a ser la ltima lnea de una
prueba.
De hecho, las etapas (2) y (3) pueden
resolverse con los sistemas ms simples
formalizadas en la lgica de primer orden,
como las estudiadas en cualquier
introduccin a la lgica matemtica, tales
como
Dedekind-Peano aritmtica o Zermelo-
Fraenkel la teora de conjuntos. Resulta
que la
lgica de primer orden es suficiente para
codificar las pruebas matemticas, pero,
curiosamente, este descubrimiento lleg
bastante tarde, despus de los teoremas de
Gdel.
principal visin de Hilbert era que, cuando
se formalizan teoras, ninguna prueba se
convierte en una infinito objeto
combinatoria: es simplemente un conjunto
de cadenas
de smbolos que cumplen con las reglas
formales del sistema. Como dijo Bernays,
esto era como proyeccin de la estructura
de una teora deductiva T en el dominio de
la teora de nmero, y se hizo posible
expresar en este dominio la consistencia de
T. Estas
realizaciones elevaron las esperanzas de
formalizadas sera su fi cina para establecer
la consistencia de la teora, es decir, para
demostrar la frase que expresa la
consistencia de
T. Pero esta esperanza, no garantizado por
las ideas anteriores, result ser errnea. 8
Adems, una presuposicin fundamental
del programa era que no slo el clculo
lgico, sino tambin cada uno de los
sistemas axiomticos seran completar. En
trminos generales, esto significa que
seran su fi cientemente potente para
permitir la
derivacin de todos los resultados
relevantes. 9 Esta suposicin result ser
errnea
para los sistemas que contienen aritmtica
(primitiva recursiva), como se demostr
Gdel.
Queda por explicar lo que entiende por
Hilbert nitism fi.
Este es uno de los puntos en los que su
programa de la dcada de 1920 ha
adoptado,
en cierta medida los principios de
intuicionistas como Poincar'e y Brouwer y
se desvi
considerablemente de las ideas a s mismo
haba considerado en 1900. Hilbert La idea
clave es que, contrariamente a la vistas de
logicistas como Frege y Dedekind, la lgica
y el pensamiento puro requieren algo que
se da intuitivamente en nuestra
experiencia inmediata: los signos y
frmulas.
En 1905, Poincar'e hubiese extendido la
opinin de que una prueba formal
consistencia para la aritmtica sera
circular, como una demostracin tal tendra
que
proceder por induccin sobre la longitud de
las frmulas y pruebas, y por lo tanto
podra basarse en el mismo axioma de
induccin que se supone que debe
establecer.
Hilbert respondi en la dcada de 1920 que
la forma de la induccin necesaria a nivel
metamatemtico es mucho ms dbil que
la induccin aritmtica completa, y que
esta
forma dbil se basa en la consideracin de
fi nitary de signos que tom para ser dada
de manera intuitiva. matemticas finitistas
no estaba en necesidad de ms lejos
justificacin o reduccin.
el programa de Hilbert procedi
gradualmente mediante el estudio de las
teoras
dbiles en un primer momento y proceder
a los cada vez ms fuertes. los metateoria
de
un sistema formal estudia propiedades
tales como consistencia, integridad, y
algunos
otros ( completo en el sentido lgico
significa que todo verdadero o vlido
frmulas
que se pueden representar en el clculo son
formalmente deducible en ella). La lgica
proposicional se demostr rpidamente ser
consistente y completa. lgica de primer
orden, tambin conocido como la lgica de
predicados, fue demostrado completa por g
Odel en su disertacin de 1929. Para todos
la dcada de 1920, se fij la atencin de
Hilbert y compaeros de trabajo en la
aritmtica elemental y sus subsistemas;
Una vez
que esto se haba resuelto, el proyecto
consista en pasar a la mucho ms dif'cil,
pero
crucial, los casos de la teora de los
nmeros reales y la teora de conjuntos.
Ackermann y von Neumann eran capaces
de establecer resultados de consistencia
para ciertos subsistemas de la aritmtica,
pero
8. Para ms detalles y precisiones, ver, por
ejemplo, Sieg (1999).
9. La nocin de nmero relevante debe,
por supuesto, se har previa
CISE: hacerlo conduce a la nocin alguna
de exhaustividad sintctica o semntica de
la exhaustividad.
Princeton compaero de Matemticas
Prueba 11
entre 1928 y 1930 Hilbert estaba
convencido de que ya se haba establecido
la
consistencia de la aritmtica. Luego vino el
duro golpe de los resultados de
incompletitud de Gdel (vase la Seccin
4).
El nombre de formalismo, como una
descripcin de este programa, vino del
hecho de que Hilbert mtodo consisti en
la formalizacin de cada teora matemtica,
y el estudio de su estructura formalmente
la prueba. Sin embargo, este nombre es
ms
bien unilateral e incluso confuso, sobre
todo porque est en contraste
generalmente
con el intuicionismo, un lleno-soplado
filosofa
de las matemticas. Como la mayora de
los matemticos, Hilbert no ve las
matemticas como un simple juego con
frmulas. De hecho, a menudo se destac
la
significacin de las declaraciones
(informales) matemticas y la profundidad
del
contenido conceptual expresado en ellos.
10
3.3 disputas personales
La crisis se desarrollaba no slo a nivel
intelectual, sino tambin a nivel personal.
Tal
vez se debera contar esta historia como
una tragedia, en el que las personalidades
de
las principales figuras y los acontecimientos
sucesivos hicieron el resultado final
bastante ineludible.
Hilbert y Brouwer eran muy personalidades
Erent di ff, aunque ambos eran muy
inteligentes y voluntariosos. visin del
mundo de Brouwer era idealista y tenda al
solipsismo. Tena un temperamento
artstico y una vida privada excntrica.
Despreciaba el mundo moderno, en busca
de la vida interior de s mismo como la
nica salida (al menos en principio, aunque
no siempre en la prctica). l prefiere
trabajar de forma aislada, aunque tena
buenos amigos en la comunidad
matemtica,
especialmente en el grupo internacional de
toplogos que se reunieron en torno a l.
Hilbert era tpicamente modernista en sus
puntos de vista y actitudes; lleno de
optimismo y el racionalismo, que estaba
dispuesto a llevar a su universidad, su pas,
y procedimiento
la comunidad internacional en un mundo
nuevo. Era absolutamente el trabajo
comunitario, y se sinti feliz de unirse a
esquemas de Klein para el desarrollo
institucional y el poder.
Como consecuencia de la Primera Guerra
Mundial, los alemanes a principios de
1920 no se les permiti asistir a los
Congresos Internacionales de
Matemticos.
Cuando la oportunidad nalmente fi surgi
en el ao 1928, Hilbert estaba deseoso de
apoderarse de ella, pero Brouwer estaba
furioso debido a las restricciones que an
se
impusieron a la delegacin de Alemania y
envi una carta circular con el fin de
convencer a otros matemticos. Sus
puntos de vista fueron ampliamente
conocido y
llev a un conflicto entre los dos hombres.
En otro nivel, Hilbert haba hecho
concesiones importantes a
10. Esto es muy explcita, por ejemplo, en
las conferencias de 1919 a 1920
editado por Rowe (1992), y tambin en el
documento de 1930 que lleva exactamente
el mismo ttulo (vase Gesammelte
Abhandlungen, Volumen 3).
sus oponentes en la dcada de 1920, con
la esperanza de que tendra xito en su
proyecto del hallazgo de una prueba de
consistencia. Brouwer hizo hincapi en
estas
concesiones, acusndolo de no reconocer la
autora, y exigi nuevas concesiones. 11
Hilbert
debe haberse sentido insultado y tal vez
incluso amenazado por un hombre a quien
consideraba como tal vez el ms grande
matemtico de la generacin ms joven.
El colmo lleg con un episodio en 1928.
Brouwer desde 1915 haba sido miembro
del consejo de redaccin de
Mathematical Annalen, la ms prestigiosa
revista de matemticas en el momento, de
los cuales Hilbert haba sido el principal
editor desde 1902. enfermo con anemia
perniciosa, y al parecer pensando que
estaba cerca del final, Hilbert tema por el
futuro de su diario y decidi que era
imprescindible para eliminar Brouwer de la
junta
editorial. Cuando escribi a otros miembros
de la junta que explican su esquema, que
ya estaba llevando a cabo, Einstein
respondi diciendo que su propuesta era
poco
prudente y que quera tener nada que ver
con ella. Otros miembros, sin embargo, no
deseaban alterar el viejo y admirado
Hilbert. Por ltimo, se adopt un
dudosa, donde toda la junta se disolvi y se
crea de nuevo. Brouwer fue muy
perturbado por esta accin, y como
resultado de ello la revista perdi Einstein
y
Carath'eorody, que previamente haba sido
editores principales.
Despus de eso, Brouwer dej de publicar
desde hace algunos aos, dejando un
poco de libro planes de la ONU fi nalizado.
Con su desaparicin de la escena, y con la
desaparicin gradual de las turbulencias
polticas anteriores, los sentimientos de
crisis comenzaron a desvanecerse (ver
Hesseling 2003). Hilbert no intervino
mucho
en los debates posteriores y desarrollos
fundamentales.
4 Godel y las secuelas
No fue slo el Annalen guerra que gan
Hilbert: la comunidad matemtica en su
conjunto continu trabajando en el estilo
de la matemtica moderna. Sin embargo,
su
programa Do ss Ered un golpe profundo
con la publicacin de G
famoso artculo de 1931 en el Odel f
Monatshefte ur
Mathematik und Physik. Un desarrollo
extremadamente ingeniosa de los mtodos
de la
metamathematical aritmetizacin de
Gdel-metamatemticas permiti
comprobar que
los sistemas como la teora axiomtica de
conjuntos o la aritmtica Dedekind-Peano
son incompletos. Es decir, existen
proposiciones PAG formulada
estrictamente en el
idioma del sistema de este tipo que ni PAG
ni PAG es formalmente demostrable en
el sistema. (Ver GRAMO Odel de
teoremas Para una discusin adicional).
11. Vase su 're fl exiones sobre
intuicionista formalismo' de 1928 (en
Mancosu 1998).
Este teorema ya present un problema
profundo para el esfuerzo de
Hilbert, ya que
demuestra que la prueba formal no puede
incluso capturar la verdad aritmtica. Pero
haba ms. Una mirada cercana a los
argumentos de Godel dej claro que esta
prueba
fi primera metamatemtico podra ser
formalizado en s, lo que llev a segundo
teorema de Gdel, esto es imposible
establecer la cohesin de los sistemas
mencionados anteriormente por ninguna
prueba de que puede ser codi ed fi dentro
ellos.
aritmetizacin de metamatemticas de
Gdel hace posible la construccin de una
oracin, en el lenguaje de la aritmtica
formal, que expresa la consistencia de este
mismo sistema formal. Y esta frase resulta
ser uno de los que son imposible de
demostrar. 12 Para expresarlo
contrapositively, un fi nitary prueba formal
(codi fi poder
en el sistema de la aritmtica formal) de la
imposibilidad de demostrar que 1 = 0 se
podra transformar en una contradiccin
del sistema! Por lo tanto, si el sistema es
de
hecho consistente (como la mayora de los
matemticos estn convencidos de que lo
es), no hay tal fi prueba nitary.
De acuerdo con lo Godel llama en el
momento la conjetura de von Neumann
(es
decir, que si hay una prueba nitary fi de la
consistencia, entonces se puede formalizar
y fi cado codi dentro de la aritmtica
elemental), el segundo teorema implica el
fracaso
del programa de Hilbert (ver Mancosu
(1999, p. 38) y, para la recepcin, Dawson
(1997, pp. 68 ff)). Se debe enfatizar que
los resultados negativos de Gdel son
nitistic
puramente constructivista e incluso fi,
vlido para todas las partes en el debate
fundamental. Eran di fi culto de digerir,
pero al final se llevaron a un
restablecimiento
de las condiciones bsicas para los estudios
fundamentales.
La lgica matemtica y estudios
fundamentales continuaron desarrollando
brillantemente con teora de la prueba de
estilo Gentzen, con el surgimiento de la
teora de modelos, etc., todos los cuales
tenan sus races en los estudios
fundamentales del primer tercio del siglo
XX. Aunque el Zermelo-Fraenkel axiomas
do
ce FFI para dar una base rigurosa para la
mayor parte de las matemticas de hoy en
da, y tienen un bastante convincente
intuitiva justificacin en trminos de la
concepcin iterativo de conjuntos, 13 hay
una sensacin general de que los estudios
fundamentales, en lugar de lograr su
ambicioso objetivo, se vieron atrados
hacia
12. Para ms detalles, vase, por ejemplo,
Smullyan (2001),
van Heijenoort (1967), y las buenas
introducciones a la lgica matemtica. Los
dos teoremas fueron probados con
cuidado en Hilbert y Bernays (1934-1939).
Malas exposiciones e interpretaciones
errneas de los resultados de Gdel
abundan.
13. La idea bsica es la de ver el universo
de teora de conjuntos como PRODUCIRSE
UCT de iteracin a la siguiente operacin:
se parte de un dominio bsico V 0 (
posiblemente finito o incluso igual a ) y
todas las formas posibles conjuntos de
elementos en el dominio; esto da un nuevo
dominio V 1,
y uno itera la formacin de conjuntos de V
0 V 1, y as sucesivamente (en el infinito
y ms all!). Esto produce un universo
de extremo abierto de teora de conjuntos,
con maestra descrito por Zermelo (1930).
En la concepcin iterativa, vase,
por ejemplo, los ltimos papeles en
Bernacerraf y Putnam (1983).
el torbellino de la actividad matemtica, y
ahora estn disfrutando de pleno derecho
de
voto en el Senado matemtica . 14
Sin embargo, esta impresin es algo super
fi cial. teora de la prueba se ha
desarrollado, lo que lleva a reducciones
notables de las teoras clsicas a los
sistemas
que se pueden considerar como
constructivas. Un ejemplo notable es que el
anlisis
puede ser formalizado en extensiones
conservadoras de la aritmtica: es decir, en
los
sistemas que se extienden el lenguaje de la
aritmtica, mientras incluyendo todos los
teoremas de la aritmtica, pero que son
conservadores en el sentido de que no
tienen nuevas consecuencias en el lenguaje
de la aritmtica. Algunas partes de
anlisis incluso se pueden desarrollar en las
extensiones conservadoras de la
aritmtica recursiva primitiva (ver
Feferman 1998). Esto plantea preguntas
sobre las
bases filosficas sobre las que se puede
fundamenta la admisibilidad de las teoras
constructivas pertinentes. Sin embargo,
para estos sistemas, la cuestin es mucho
menos sencilla de lo que era para las
matemticas fi nitary de Hilbert; parece
justo
decir que hay un consenso general, todava
no se ha alcanzado.
Cualquiera que sea su origen y justificacin
pueden ser, la matemtica es una
actividad humana. Este tpico se
desprende del desarrollo posterior de
nuestra
historia. La comunidad matemtica se neg
a abandonar las ideas clsicos y los
mtodos; la constructivista revolucin estadsticas importa cuando se trata de los
fue abortado. A pesar de su fracaso, el
formalismo se estableci en la prctica
como la ideologa declarado de los
matemticos del siglo XX. Algunos han
sealado que el formalismo era menos una
fe
verdadera que un refugio domingo para
aquellos que pasaron sus das de la semana
de trabajo en los objetos matemticos
como algo muy real. El platonismo de das
de
trabajo solamente fue abandonado, como
una Bourbaki miembro dijo, cuando una
respuesta confeccionada era necesario
para cuestiones filosficas no deseados
sobre
el conocimiento matemtico.
Hay que sealar que el formalismo
adaptado muy bien a las necesidades de
una
comunidad auto-consciente, autnomo de
investigadores matemticos. Se les
concedi plena libertad para elegir sus
temas y el empleo de mtodos modernos
para
explorarlas. Sin embargo, para volver
mentes matemticas reflectantes que ha
sido
durante mucho tiempo claro que no es la
respuesta. cuestiones epistemolgicas
sobre
el conocimiento matemtico no han sido
eliminados del mundo; filsofos,
historiadores, cientficos cognitivos, y otros
siguen buscando formas ms adecuadas
de la comprensin de su contenido y
desarrollo. Ni que decir tiene, esto no pone
en
peligro la autonoma de los investigadores
matemticos, si la autonoma es ser una
preocupacin, tal vez deberamos
preocuparnos en lugar de las presiones que
se
ejercen sobre nosotros por el mercado y
otras potencias.
Ambos (semi) constructivismo y
matemticas modernas han seguido
desarrollando.
Por un lado, se puede
14. Para utilizar las palabras de Gian-Carlo
Rota en un ensayo de 1973.
Princeton compaero de Matemticas
Prueba 13
hablar de la obra de Harvey Friedman,
entre otros; por el otro, est la
impresionante
expansin de la teora de categoras. El
contraste entre las matemticas modernas
y
constructivista, simplemente se ha
consolidado, aunque de una manera muy
desequilibrada: alrededor del 99% de los
practicantes matemticos son (pero las
mtodos correctos para las matemticas?)
En 1905, al comentar moderna. en el
debate francs, Hadamard escribieron que
hay
dos concepciones de las matemticas, dos
mentalidades, en la evidencia. Se ha
llegado a reconocer que hay un valor en
ambos enfoques: se complementan entre s
y
pueden coexistir en paz. En particular, el
inters por correo ff ectantes mtodos,
algoritmos y matemtica computacional ha
crecido notablemente en los ltimos
decenios, y todos ellos estn ms cerca de
la tradicin constructivista.
El debate fundamental dej un rico legado
de ideas y resultados, perspectivas y
desarrollos clave, incluyendo la formulacin
de teoras axiomtica de conjuntos y la
subida del intuicionismo. Uno de los ms
importantes de estos desarrollos fue la
aparicin de la lgica matemtica moderna
como un refinamiento de la axiomtica fi,
lo
que llev a las teoras de la recursividad y
la computabilidad en torno a 1936 (vase
la
seccin de ?? algoritmos). En el proceso,
nuestra comprensin de las caractersticas,
posibilidades y limitaciones de los sistemas
formales fue muy clari fi cado.
Uno de los temas ms calientes durante
todo el debate, y probablemente su
principal fuente, fue la pregunta de cmo
entender el continuo. El lector puede
recordar el contraste entre el
entendimiento de la teora de conjuntos de
los nmeros
reales y el enfoque de Brouwer, que
rechaz la idea de que la continuidad est
edificada de puntos. Que esto es una pueden establecer y problemas se pueden
pregunta laberntica se estableci an ms resolver con la certeza y la claridad para el
por que se celebra la matemtica. Pero cuando
resultados en hiptesis del continuo de se trata de trazar los comienzos desnudas,
Cantor (CH), que postula que la las cuestiones filosficas no pueden
cardinalidad evitarse. El lector de estas pginas puede
del conjunto de los nmeros reales es 1, haber
la segunda trans cardinal infinito, o sentido esto en varios lugares,
equivalentemente que cada infinito especialmente en la discusin del
subconjunto de R debe biject con intuicionismo, sino
cualquiera norte o tambin en las ideas bsicas detrs de
con R s mismo. Godel demostr en 1939 programa de Hilbert, y por supuesto en el
que CH es consistente con la teora de problema de la relacin entre las
conjuntos axiomtico, pero Paul J. Cohen matemticas formales y su contraparte
demostr en 1963 que es independiente de informal, un
sus axiomas (es decir, Cohen demostr que problema que es puesto de relieve por g
la negacin de la CH es consistente con teoremas de Odel.
el conjunto axiomtico teora-ver la Doy gracias a Mark van Aten, Jeremy Gray,
independencia de la hiptesis del Paolo Mancosu, Jos'e F. Ruiz, Wilfried
continuo). El Sieg, y los editores por sus tiles
problema es an con vida, con unos pocos comentarios sobre una versin anterior de
matemticos proponer enfoques este
alternativos para el continuo y otros documento.
tratando de encontrar nuevas y Otras lecturas
convincentes Es imposible enumerar aqu todos los
principios de teora de conjuntos que se artculos pertinentes de Bernays, Brouwer,
conforman con la pregunta de Cantor (ver Cantor, Dedekind, Godel, Hilbert,
Woodin 2001). Kronecker, von Neumann, Poincar'e,
El debate fundamental tambin ha Russell, Weyl,
contribuido de manera de fi nitiva a aclarar Zermelo, etc. El lector puede fcilmente fi
el nd ellos en el libros de consulta de Van
peculiar estilo y la metodologa de las Heijenoort (1967), Heinzmann (1986),
matemticas modernas, especialmente el Ewald (1996), y Mancosu (1998). van Aten,
llamado platonismo o carcter M.
existencial de la matemtica moderna (ver 2003. En Brouwer. Belmont, CA:
el Wadsworth.
documento de 1935 clsico de Bernays en Benacerraf, P., y H. Putnam (eds). 1983.
Benacerraf y Putnam filosofa de la
(1983)), mediante el cual se quiere decir Matemticas: Lecturas seleccionadas.
(en este caso al menos) un rasgo Prensa de la Universidad de Cambridge.
metodolgico ms que cualquier van Dalen, D. 1990. La guerra de las ranas
implicacin supuestos de existencia y los ratones, o
metafsico. Las la crisis de la Mathematical Annalen.
matemticas modernas investiga matemtica Intelligencer 12 (4): 17-31.
estructuras considerando sus elementos . 1999/2005. Mystic, gemetra, y
como dado intuicionista: La vida de LEJ Brouwer.
independientemente de las capacidades Volumen
humanas (o mecnicas) de e ff reflexivo I: La revolucin Naciente; Volumen II: La
definicin y la construccin. Esto puede esperanza y la desilusin. Prensa de la
parecer sorprendente, pero quizs este Universidad de Oxford. Dawson Jr., JW
rasgo 1997. Los dilemas lgicos: La vida y
puede ser explicada por las caractersticas Obra de Kurt G Odel. Wellesley, MA: AK
ms generales de pensamiento cient fi co Peters.
y el papel desempeado por las estructuras Ewald, W. (ed.). 1996. De Kant a Hilbert:
matemticas en la modelizacin de Una Fuente
fenmenos cientficos. Libro en los Fundamentos de la
Al final, el debate dej en claro que las Matemtica, dos volmenes. Prensa de la
matemticas y sus mtodos modernos Universidad de Oxford.
todava estn rodeados de problemas 14 Princeton compaero de Matemticas
filosficos importantes. Cuando una Prueba
cantidad Feferman, S. 1998. A la luz de la lgica.
considerable de conocimientos Universidad de Oxford
matemticos puede darse por sentado, Prensa.
teoremas se
Ferreir'os, J. 1999. El laberinto del Weyl, H. 1918. Das Kontinuum. Leipzig:
pensamiento: Una historia de Veit.
Teora de conjuntos y su papel en las . 1944. David Hilbert y su trabajo
matemticas modernas. Basilea: matemtico. Boletn de la Sociedad
Birkhuser. Americana de Matemticas 50: 39-79.
Gilain, C. 1991. Sur l'histoire du Whitehead, NR, y B. Russell. 1910-1913.
th'eor`eme fondamental de Principia
l'alg`ebre: th'eorie des'equations et calcul Mathematica. Prensa de la Universidad de
int'egral. Archivo de Historia de las Cambridge. (Segunda edicin 1925-1927.
Ciencias Exactas 42: 91-136. van Reimpresin 1978.)
Heijenoort, J. (ed.). 1967. A partir de Frege Woodin, WH 2001. La hiptesis del
aG continuo, I, II.
Odel: Un Los avisos de la American Mathematical
Libro de Consulta en la lgica matemtica. Society 48: 567-
Harvard University Press. (Reimpreso 76, 681-90.
2002) Heinzmann, G. (ed.). 1986. Zach, R. 2003. La prctica de fi nitism:
Poincar'e, Russell, Zermelo et clculo psilon
Peano. Pars: Vrin. Hesseling, DE 2003. Las pruebas y consistencia en el programa
Gnomos en la niebla: La recepcin de de Hilbert. Synthese
El intuicionismo de Brouwer en la dcada 137: 211-59.__
de 1920. Basilea: Birkhuser. Heyting, A.
1956. Intuicionismo: Una introduccin.
Amsterpresa:
North-Holland. (Tercera edicin revisada,
1971.) Hilbert, D. y P. Bernays.
1934-1939. Grundlagen der
Matemticas, dos volmenes. Saltador.
Mancosu, P. (ed.). 1998. A partir de Hilbert
a
Brouwer: La
Debate sobre los Fundamentos de la
Matemtica en la dcada de 1920.
Prensa de la Universidad de Oxford.
. 1999. Entre Viena y Berln: la inmediata
recepcin de los teoremas de incompletitud
de Gdel. Historia y Filosofa de la
Lgica 20: 33-45.
Mancosu, P., R. Zach, y C. Badesa.
Prximo. los
desarrollo de la lgica matemtica de
Russell a Tarski: 1900-1935. En La historia
de
la lgica moderna ( ed.
L. Haaparanta). Prensa de la Universidad
de Oxford.
Mehrtens, H. 1990. Moderne-Sprache-
Matemticas.
Frankfurt: Suhrkamp. Moore, GH 1982.
Axioma de Zermelo de eleccin. Saltador.
. 1998. La lgica, a principios del siglo XX.
En Routledge Encyclopedia of
Philosophy ( ed. E. Craig). Londres:
Routledge. Rowe, D. 1992. Natur und
Mathematisches Erkennen.
Basilea: Birkhuser.
Sieg, programas W. 1999. de Hilbert:
1917-1922. el Boletn
de Lgica Simblica 5: 1-44. Smullyan, R.
2001. Teoremas de incompletitud de
Gdel.
Prensa de la Universidad de Oxford. Tait,
WW 1981. finitismo. Diario de Filosofa 78:
524-
46.