Documentos de Académico
Documentos de Profesional
Documentos de Cultura
71 MATEMÁTICAS
Temario 1993
tema 71
matemáticas
2. El logicismo
3. El intuicionismo
4. El formalismo
3
tema 71
matemáticas
INTRODUCCIÓN
La actividad que más ha preocupado a los matemáticos del siglo XX ha sido, sin duda, la
investigación sobre los fundamentos de la matemática.
La aparición de las geometrías no euclídeas, el descubrimiento dentro del análisis de curvas
monstruosas que llenaban un cuadrado, o curvas continuas no derivables en ningún pun-
to, y, sobre todo, las paradojas surgidas en el seno de la teoría de conjuntos, hicieron que
muchas miradas comenzaran a preocuparse por la fundamentación y la consistencia de la
matemática.
Fueron tres las principales corrientes filosóficas que tomaron cuerpo para encontrar una
fundamentación de la matemática que la librara de estos «defectos». Así surgieron el logi-
cismo, el intuicionismo y el formalismo.
5
tema 71
matemáticas
XX Paradoja de Cantor
La primera paradoja que apareció fue la paradoja de Cantor (1899). Cantor con-
sidera el conjunto de todos los conjuntos, y lo denomina M. Aplicando ahora el
teorema de Cantor, que asegura que para cualquier conjunto dado A, el cardinal
de las partes de A (conjunto formado por todos los subconjuntos de A), es es-
trictamente mayor que el cardinal de A, o sea |P (A)| >|A|, podemos afirmar que
|P(M)| > |M|. Pero como P(M) es un conjunto, es evidente que estará incluido en
M, P(M) ⊂ M, y entonces |P(M)| ≤ |M|. Y aquí está la paradoja, ya que hemos
llegado a que |P(M)| > |M| y también que |P(M)| ≤ |M|.
XX Paradoja de Russell
La más célebre de todas las paradojas se debe a Bertrand Russell, que en 1905
propuso lo siguiente: sea W el conjunto formado por todos los conjuntos C que no
se pertenecen a sí mismos.
W = {C : C ∉ C}
Para aclarar un poco esta construcción, observemos que el conjunto de los caba-
llos pertenece a W, ya que un conjunto no es un caballo. Y tratemos de averiguar
si W pertenece o no a W:
Si W ∉ W, entonces por la definición de W, se concluye que W debe ser un
elemento de W, o sea W ∈ W.
Si W ∈ W, entonces W no cumple la condición para poder pertenecer a W y
así, W ∉ W.
Por tanto, en todo caso se cumple simultáneamente que W ∈ W y que W ∉ W.
6
tema 71
matemáticas
barbero de cierta aldea que afeita a todas y sólo a aquellas personas de la aldea que
no se afeitan a sí mismas. Y la paradoja surge al averiguar si el barbero se afeita
a sí mismo o no.
XX Paradoja de Richard
XX Paradoja de Grelling
7
tema 71
matemáticas
8
tema 71
matemáticas
Estas paradojas y otras enunciadas durante esos años, no fueron tenidas en cuenta
por algunos matemáticos por estar relacionadas con la teoría de conjuntos, rama
de las matemáticas considerada periférica. Otros, se dieron cuenta de su importan-
cia e intentaron poner un poco de orden en la confusión, distinguiendo entre pa-
radojas semánticas y paradojas lógicas. Russell no hizo ninguna distinción, pero
sí enunció que si para definir una colección de objetos hay que utilizar la propia
colección, entonces la definición carecía de sentido. Poincaré recogió la idea lla-
mando a estas definiciones impredicativas.
Un ejemplo es la ley del tercio excluso de lógica: toda proposición debe ser ver-
dadera o falsa, pero la misma ley es una proposición, luego puede ser verdadera
o falsa. Las definiciones impredicativas fueron consideradas ilegítimas por la ma-
yoría de los matemáticos, aunque se dieron cuenta de que anteriormente habían
sido muy utilizadas.
Como conclusión de lo anterior podemos decir que parecía haberse encontrado la
causa de las paradojas enunciadas, pero no sabía cómo reelaborar las matemáticas
para que no existieran y, lo que es más grave, cómo podían asegurar que no iban
a aparecer nuevas contradicciones. Veamos como tres corrientes diferentes inten-
taron dar solución al problema.
9
tema 71
matemáticas
2 El logicismo
La tesis logicista afirma que la matemática es una rama de la lógica. Las nociones
matemáticas han de ser definidas en términos de las nociones lógicas, y de igual
manera, los teoremas de la matemática deben ser demostrados como teoremas de
la lógica.
Ya Leibniz, en 1666, definió la lógica como la ciencia que contiene las ideas y
principios que se encuentran en la base de todas las demás ciencias.
Fue el matemático alemán Gottlob Frege (1848-1925) el que encabezó la escuela
logicista y en 1884 publicó su célebre obra «Los fundamentos de la Aritmética»
en la que construye toda la aritmética en términos puramente lógicos. Por diversas
razones, la obra de Frege no fue valorada hasta que Russell la descubrió. Una de
las razones fue que el simbolismo empleado por Frege era bastante oscuro y com-
plicado para los matemáticos.
He aquí cómo Frege introduce los números naturales refiriéndose a conceptos
exclusivamente lógicos:
0 es el número correspondiente al concepto «no idéntico a sí mismo».
1 es el número correspondiente al concepto «idéntico a 0».
2 es el número correspondiente al concepto «idéntico a 0 ó a 1»
3 es el número correspondiente al concepto «idéntico a 0 ó a 1 ó a 2».
También se debe a Frege la conocida definición de número cardinal de un conjun-
to dado como la clase de todos los conjuntos que son semejantes al conjunto dado
(donde «semejantes» significa que los elementos de los dos conjuntos pueden
ponerse en correspondencia biunívoca).
Pero cuando Frege estaba a punto de publicar una nueva obra, recibió una carta de
Russell en la que le informaba de la aparición de las paradojas de la teoría de con-
juntos, y Frege escribió «difícilmente puede ocurrirle a un científico algo menos
deseable que ver tambalearse los fundamentos de su obra recién terminada. Me he
visto en esta situación al recibir una carta de Mr. Bertrand Russell».
Independientemente de Frege, fueron Russell y Whitehead los fundadores del
logicismo. Russell, en su obra Los principios de la matemática, escribe: «toda
matemática pura trata exclusivamente de conceptos definibles en términos de un
número muy reducido de conceptos fundamentalmente lógicos, y que todas sus
proposiciones pueden deducirse de un número muy reducido de principios lógi-
cos».
Pero la obra clásica del logicismo es Principia Mathematica, escrita conjunta-
mente por Russell y Whitehead. En esta obra se parte del desarrollo de la lógi-
ca estableciendo un sistema axiomático, del que se irán deduciendo los diversos
teoremas. Los Principia comienzan con una lista de conceptos indefinidos como
proposición elemental, función proposicional, afirmación de la verdad de una pro-
posición elemental, negación de una proposición, y la disyunción de dos propo-
siciones.
10
tema 71
matemáticas
11
tema 71
matemáticas
Ésta era, pues, la gran meta de la escuela logicista: fundamentar toda la matemáti-
ca en la lógica. Pero este planteamiento tuvo numerosas críticas. Entre ellas se en-
cuentra el rechazo al «axioma de reducibilidad» introducido de manera arbitraria
por los autores, pero que daba muy buenos resultados. Este axioma permitía for-
mar definiciones predicativas que sin él serían impredicativas; pero es un axioma
difícilmente justificable. Otra crítica muy fuerte se refiere a que si la matemática
es una ciencia lógico-deductiva puramente formal, cuyos resultados sólo siguen
las leyes del pensamiento, ¿cómo es posible, entonces, que la matemática sirva
para representar multitud de aspectos de la naturaleza, como la mecánica, el elec-
tromagnetismo, la dinámica, etc.?
12
tema 71
matemáticas
3 El intuicionismo
Para el intuicionista, la matemática es la construcción de entidades en la pura
intuición, y no la promesa de semejante construcción o la encuesta acerca de si
ésta es posible o no. El logicista (y el formalista, como ya veremos) aceptan como
válidos enunciados del tipo «existe un número con determinadas propiedades»,
pese a que no se conozca método alguno para construirlo. Tales enunciados -puros
teoremas de existencia- no los admite el intuicionista.
El primer matemático de la escuela intuicionista fue Leopold Kronecker (1823-
1891), el enemigo número uno de Cantor. Kronecker argumentó vigorosamente
que las definiciones fundamentales de Weierstrass y Cantor eran sólo palabras, y
la teoría de los transfinitos, puro misticismo. Añadía que si los objetos matemáti-
cos que manejaban no se podían construir, entonces el contenido de los teoremas
era vacío.
Kronecker aceptaba que los números naturales eran claros a la intuición, y según
él, los creó Dios, mientras que los restantes números son obra del hombre. Para
poder trabajar con los racionales, Kronecker se las ingenió para definir éstos en
términos de números enteros; su ideal era que todo teorema del análisis se pudiera
interpretar como relaciones entre números enteros exclusivamente.
Otra objeción que ponen los intuicionistas a diversas partes de la matemática es
que no daban reglas o criterios constructivos para determinar en un número finito
de pasos los objetos que manejaban.
En su época, Kronecker no tuvo muchos seguidores, pero al aparecer las para-
dojas, sus ideas se revalorizaron. El siguiente intuicionista fue Henri Poincaré
(1854-1912) que rechazaba los conceptos que no se pueden definir con un número
finito de palabras. Así pues, un conjunto construido con ayuda del axioma de elec-
ción no estaba realmente definido para Poincaré.
El axioma de elección, de especial importancia en la teoría de conjuntos, dice así:
sea X una colección cualquiera de conjuntos {A, B,...}, ninguno de los cuales
es vacío. Existe entonces un conjunto Z formado precisamente por un elemento
tomado de cada uno de los conjuntos A, B, etc., de que consta la colección X.
Las objeciones a este axioma surgen al tomar X como una colección de infinitos
conjuntos.
Pero al matemático que supo aglutinar todas estas ideas fue el holandés Brouwer
(1881-1966), que está considerado como el padre del intuicionismo moderno. Par-
tiendo del número entero, Brouwer construye una definición de continuidad y de
la noción de conjunto que le permiten interpretar ciertas partes del análisis clásico
y de las teorías de Cantor. La exigencia de constructibilidad le lleva a rechazar
toda consideración de un infinito actual, y a admitir el infinito potencial.
Brouwer concibe el pensamiento matemático como un proceso constructivo limi-
tado por la obligación de reconocer con sumo cuidado qué tesis son aceptables a
la intuición y cuáles no. Y este proceso es la única fundamentación posible para
la matemática. Es, por tanto, en la intuición, y no en la lógica ni en la experiencia,
donde hay que basarse para desarrollar la matemática.
13
tema 71
matemáticas
En el campo de la lógica, Brouwer ataca la ley del tercio excluso para conjuntos
infinitos. La ley del tercio excluso afirma que toda proposición con significado es
verdadera o falsa. Brouwer encontró un contraejemplo al encontrar un número
real que no es ni positivo, ni negativo, ni nulo.
Para presentar este número, se parte de π, y se utiliza después su desarrollo de-
cimal. El número buscado lo denominaremos π . A continuación desarrollamos π
^
hasta encontrar una tanda de 100 ceros seguidos en su desarrollo (obsérvese que
no sabemos siquiera si esta tanda aparecerá o no). Supongamos que esta lista de
100 ceros seguidos comienza en el n-ésimo dígito, definiremos π del modo si-
^
mismo número.
Calculemos ahora el número P = π – π, y nos preguntamos si P es positivo, ne-
^
14
tema 71
matemáticas
4 El formalismo
La tercera de las escuelas filosóficas que se preocuparon de fundamentar la mate-
mática fue la escuela formalista. El fundador del formalismo fue David Hilbert
(1862-1943), que comenzó a trabajar en esta línea en 1904. Sus motivaciones pri-
meras eran las de establecer una base para el sistema numérico sin utilizar la teoría
de conjuntos, y a continuación demostrar de una vez por todas la consistencia de
la aritmética.
Hilbert era platónico en el sentido de que considera el ente matemático como
existente en sí, independientemente de los procedimientos mediante los cuales se
conoce. Por el contrario, los logicistas y los intuicionistas son empiristas, en refe-
rencia a que consideran el ente matemático como el producto de una actividad.
Para los formalistas la lógica es una herramienta, un lenguaje para estudiar la
matemática.
El concepto clave que sostiene a la escuela formalista es el de sistema formal. Así
pues, la matemática se convierte en una colección de sistemas formales, constru-
yendo cada uno su propia lógica a la vez que su matemática, y cada uno de ellos
cuenta con sus propios conceptos, sus propios axiomas, sus reglas deductivas, sus
teoremas, etc. La tarea de la matemática es, ahora, desarrollar cada uno de estos
sistemas formales.
XX Sistema formal
15
tema 71
matemáticas
16
tema 71
matemáticas
17
tema 71
matemáticas
18
tema 71
matemáticas
BIBLIOGRAFÍA
DAVIS, P. y HERSH, R.: Experiencia Matemática. Ed. Labor. Barcelona, 1988.
DOU, A.: Fundamentos de la matemática. Ed. Labor. Barcelona, 1974.
HOFSTADTER, D.: Gödel, Escher, Bach. Tusquets Editores. Barcelona, 1989.
KLEENE, S.: Introducción a la metamatemática. Ed. Tecnos. Madrid, 1974.
KLINE, M.: El pensamiento matemático de la Antigüedad a nuestros días, III. Alianza Editorial.
Madrid, 1992.
19
tema 71
matemáticas
RESUMEN
1.
1 Las paradojas de la teoría de conjuntos
Después del descubrimiento de las geometrías no euclídeas, ningún otro hecho ha influido
tan poderosamente en el desarrollo de los fundamentos de la matemática como la apari-
ción de las paradojas. Algunas de ellas son:
Paradoja de Cantor
Paradoja de Russell
Paradoja del Barbero
Paradoja de Richard
Paradoja de Grelling
Paradoja del mentiroso
Paradoja del Quijote
Dilema del cocodrilo
Se distinguen:
Paradojas semánticas.
Paradojas lógicas.
Russell enunció que si para definir una colección de objetos hay que utilizar la propia
colección, entonces la definición carecía de sentido. Poincaré recogió la idea llamando a
estas definiciones impredicativas.
2.
2 El logicismo
Las nociones matemáticas han de ser definidas en términos de las nociones lógicas y los
teoremas deben ser demostrados como teoremas de la lógica.
Leibniz: la lógica como la ciencia que contiene las ideas y principios que se encuentran
en la base de todas las demás ciencias.
Frege: construye toda la aritmética en términos puramente lógicos.
Russell y Whitehead: parten del desarrollo de la lógica estableciendo un sistema axio-
mático, del que se irán deduciendo los diversos teoremas. Conceptos indefinidos:
−− Proposición
−− Función proposicional
−− Negación de una proposición
−− Disyunción
Otra relación entre proposiciones que tiene especial importancia es la implicación, es decir,
la verdad de la primera proposición impone la verdad de la segunda proposición. Además
trabajan con dos principios de inferencia, que son el de sustitución y el modus ponens.
La gran meta de la escuela logicista era fundamentar toda la matemática en la lógica. Pero
tuvo numerosas críticas
21
tema 71
matemáticas
3.
3 El intuicionismo
La matemática es la construcción de entidades en la pura intuición, y no la promesa de
semejante construcción o la encuesta acerca de si ésta es posible o no.
Leopold Kronecker: su ideal era que todo teorema del análisis se pudiera interpretar
como relaciones entre números enteros exclusivamente.
Henri Poincaré: rechazaba los conceptos que no se pueden definir con un número finito
de palabras. Así pues, un conjunto construido con ayuda del axioma de elección no
estaba realmente definido.
Brouwer: partiendo del número entero, construye una definición de continuidad y de la
noción de conjunto, concibe el pensamiento matemático como un proceso constructivo
limitado por la obligación de reconocer con sumo cuidado qué tesis son aceptables a la
intuición y cuáles no.
4.
4 El formalismo
El fundador del formalismo fue David Hilbert quien quería establecer una base para el
sistema numérico sin utilizar la teoría de conjuntos. El concepto clave es el de sistema
formal. Así pues, la matemática se convierte en una colección de sistemas formales, cons-
truyendo cada uno su propia lógica a la vez que su matemática, y cada uno de ellos cuenta
con sus propios conceptos, sus propios axiomas, sus reglas deductivas, sus teoremas, etc.
La tarea de la matemática es, ahora, desarrollar cada uno de estos sistemas formales.
Sistemas formales: es un conjunto de teoremas engendrado mediante reglas precisas y
objetivas. Algunas de estas reglas dan leyes de construcción: qué agregaciones de signos
poseen sentido; y otras leyes de deducción: qué agregaciones de signos se consideran
válidas.
Un sistema formal se compone de dos partes:
Una parte morfológica: describe los elementos del sistema.
Una parte axiomática: define la clase de los teoremas.
5.
5 El teorema de incompletitud de Gödel
Gödel asegura que dentro de un sistema formulado de manera lógica existen afirmaciones
bien definidas que no pueden ser demostradas ni refutadas a partir de los axiomas. Demos-
tró que era imposible demostrar, utilizando los métodos a los que se refería Hilbert, que
los axiomas de la aritmética no conducirán a contradicción.
22
tema 71
matemáticas
6.
6 Algunos desarrollos recientes
Ninguna de las soluciones propuestas a la fundamentación de la matemática (teoría de
conjuntos, logicismo, intuicionismo o formalismo) han logrado su objetivo. El problema
sigue abierto, y los matemáticos se esfuerzan por encontrar al fin una fundamentación
rigurosa de la matemática.
Gentzen consiguió demostrar la consistencia de la aritmética y de algunas partes del
análisis utilizando la inducción transfinita.
Un grupo de matemáticos franceses, conocidos como Bourbaki, puso de moda el es-
tudio en la escuela primaria de los grupos, anillos y cuerpos, y el empleo de éstos para
introducir los distintos tipos de números.
Actualmente hay una inclinación a una mezcla de las tres corrientes.
23