EL INTUICIONISMO

Seminario de Filosofa de las Matemticas

Miguel lvarez L.
2013
Torre de Babel. M. C. Escher


Algunos antecedentes filosficos...
Immanuel Kant:
Lo esencial y caracterstico del conocimiento
matemtico puro con respecto a todos los otros
conocimientos a priori, es que, en absoluto, no
debe proceder de los conceptos, sino siempre
mediante la construccin de stos.
Arthur Schopenhauer:
Conforme a todo esto, espero que no quede ninguna duda
de que la evidencia de las matemticas, convertida en
modelo y smbolo de toda evidencia, no se basa
esencialmente en demostraciones sino en la intuicin
inmediata que aqu, como en todo, constituye el
fundamento ltimo y la fuente de toda verdad.


Luitzen Egbertus Jan Bertus Brouwer
1881 1996
Matemtico y filsofo holands.
Fundador del intuicionismo y principal
exponente del mismo.
Escribi varios artculos y dio
numerosas charlas exponiendo sus ideas
acerca de la matemtica y de la labor
del matemtico.
Como filsofo se vio profundamente
influido por el pensamiento de
Schopenhauer, lo que tuvo
repercusiones en todos los aspectos de
su vida.


Dos postulados del pensamiento intuicionista:
La matemtica es una actividad de la mente esencialmente
no lingstica, que se origina en la percepcin del
movimiento del tiempo.
This perception of a move of time may be
described as the falling apart of a life
moment into two distinct things, one of
which gives way to the other, but is retained
by memory. If the twoity thus born is
divested of all quality, it passes into the
empty form of the common substratum of
all twoities. And it is this common
substratum, this empty form, which is the
basic intuition of mathematics
Brouwer.
Natalia Goncharova, El Ciclista 1913.


Dos postulados del pensamiento intuicionista:
Slo hay dos maneras de construir una entidad matemtica:
o definindola como igual a otras ya construidas, u
obtenindola de ellas mediante la aplicacin de
procedimientos (potencialmente) infinitos ms o menos
libres.
Admitting two ways of creating new mathematical
entities: firstly in the shape of more or less freely
proceeding infinite sequences of mathematical entities
previously acquired ; secondly in the shape of
mathematical species, i.e. properties supposable for
mathematical entities previously acquired, satisfying
the condition that if they hold for a certain
mathematical entity, they also hold for all
mathematical entities which have been defined to be
equal to it
Brouwer.
Paul lee, Bauhaus 19!3.


El Intuicionismo como antimetafsica
Los intuicionistas rechazan la pregunta por la
esencia de los nmeros.
La pregunta correcta no es:
Existe el nmero k?
Sino esta otra:
Puedo construir en mi mente el nmero k?
La matemtica entendida en este sentido no nos proporciona verdad
alguna acerca del mundo exterior, sino que slo se ocupa de construcciones
mentales (Heyting).
Giaco"o Balla, Nu"eri #nna"orati
19!$.


Diferencias ms importantes (con la
Matemtica formalista):
1. Rechazo de los axiomas de existencia
2. Rechazo del tertium non datur y todas las
inferencias basadas en l.
3. Rechazo de la regla de eliminacin de la
doble negacin y la demostracin por absurdo en
uno de sus sentidos.
4. Rechazo de la nocin de infinito actual.
5. Reduccin de la lgica a la matemtica (y no
al contrario).
6. Rechazo del mtodo axiomtico y la teora de
la demostracin.
MC Escher. %rriba & %ba'o.
19().


Rechazo de los Axiomas de Existencia
AXIOMA DE EXISTENCIA:
Existe algn nmero que es tal-y-tal
FORMALISMO: Cmo se verifica?
* Los existenciales se verifican slo
decticamente.
* Pero no se puede hacer eso con un
nmero, puesto que no estn en
ninguna parte...
* Luego, quedan dos opciones:
1) O lo acepto como Axioma, o
2) Lo demuestro indirectamente (por
reduccin al absurdo)


Rechazo de los Axiomas de Existencia
Un ejemplo:
Considrese el Axioma del Supremo:
Todo subconjunto no vaco y acotado superiormente de R tiene un
supremo
Axiomas de los Racionales Axioma del Supremo
Axiomas de los Racionales + Axioma del Supremo = Axiomas de los Reales
FORMALISMO / LOGICISMO:
Por lo tanto, lo aceptamos como
Axioma y seguimos adelante.


Rechazo de los Axiomas de Existencia
AXIOMA DE EXISTENCIA:
Existe algn nmero que es tal-y-tal
INTUICIONISMO: No tiene sentido! Ms bien:
Puedo construir un nmero que es tal-y-tal
Esta afirmacin no puede ser aceptada sin
ms, porque...
...Si la acepto, es porque puedo construir tal
nmero. Bien, dnde est la construccin?


Rechazo de los Axiomas de Existencia
El formalista/logicista acepta el Axioma del Supremo y sigue su trabajo...
Pero eso es TRAMPA para el Intuicionista.
El primer gran logro de un intuicionista es la
CONSTRUCCIN DE LOS NMEROS REALES
MC Escher, relativit&


Rechazo del tertium non datur y todas sus consecuencias
deductivas
FORMALISMO/LOGICISMO:
Un nmero existe o no existe
Un nmero tiene una propiedad o no la tiene
Un cierto conjunto contiene a un elemento, o no lo contiene
Una cierta propiedad general se cumple, o no se cumple (en arreglo a las
convenciones clsicas de la lgica aristotlica)
Por lo tanto, aplica el tertium non
datur y todas sus consecuencias
deductivas.


Rechazo del tertium non datur y todas sus consecuencias
deductivas
INTUICIONISMO:
Puedo construir este nmero, o no puedo construirlo
PERO
Tal vez todava no he podido hacerlo, o
puede que sea imposible construirlo
Por lo tanto, no es cierto que un
nmero slo pueda ser o no ser
construido; luego, en particular,
razonamientos como el Modus
Tollendo Ponens no son vlidos
para el intuicionista.


Rechazo del tertium non datur y todas sus consecuencias
deductivas
Considrese el desarrollo decimal de Pi.
Si en algn momento aparece la secuencia 0123456789, entonces k=1.
Si no aparece la secuencia 0123456789, entonces k=0.
Sea P:
2k/1 < 1 o bien 1/2k < 1
Formalista: la afirmacin P es verdadera, porque si k=1, entonces
1/2k < 1; y si k=0, entonces 2k/1 < 1.
Intuicionista: la afirmacin P no es verdadera ni falsa; porque no sabemos
cul de los dos trminos de la disyuncin es verdadero; porque no tenemos
una construccin del nmero k.
N*T%+ %l "enos en los ,ri"eros doscientos "illones de deci"ales de Pi, la cadena $1!3(-.)/9 no
ocurre ni una sola ve0.


Rechazo de la eliminacin de la Doble Negacin y
revisin de la reductio ad absurdum
Eliminacin de la Doble negacin: Negar la negacin de A es igual a afirmar
A. Formalmente:
~ ~ A A
Pero la validez de este postulado se sigue directamente del tertium non
datur. Si l no aplica para el intuicionista, este tampoco.
Negacin (en sentido intuicionista): Si una construccin lleva a un
resultado contradictorio (por ejemplo, que 1=0) entonces dicha
construccin es imposible.
Pero mostrar que sea contradictorio suponer la contradictoriedad de
una construccin, no es lo mismo que llevarla a cabo; luego no es
cierto que:
~ ~ A A


Sin embargo, aunque el intuicionismo no acepte la eliminacin de la Doble
Negacin, s admite su introduccin:
A ~ ~ A
Porque si puedo construir un objeto matemtico, sera contradictorio
suponer que es contradictorio construirlo.
Por lo tanto, el intuicionista acepta slo las reducciones al absurdo que
tienen esta forma:
Construyo A
Llego a contradiccin
Niego A (la declaro contradictoria)
[ (A F) ~ A ]
Rechazo de la eliminacin de la Doble Negacin y
revisin de la reductio ad absurdum


Rechazo del infinito actual
Infinitud es una palabra relativa a procesos de trmino indefinido:

Puedo contar hasta el infinito (infinitamente)

Puedo extender una lnea hasta el infinito (infinitamente)

En teora de conjuntos y algunas ramas de geometra, infinito actual es
una nocin de cantidad:

Los nmeros naturales son infinitos

Los puntos en una recta son infinitos.

El intuicionismo slo acepta la nocin de infinito en su primera acepcin,
conocida como infinito potencial, ya que la segunda supone considerar
objetos que no pueden construirse.


Rechazo del infinito actual
Definicin conjuntista de infinito actual:
Un conjunto es infinito si puede ponerse en correspondencia uno-a-uno
con alguno de sus subconjuntos propios
En Castellano:
En un conjunto infinito no es cierto que el todo es mayor que cualquiera
de sus partes
ESTA NOCIN ATENTA CONTRA NUESTA PRIMERA Y MS ESENCIAL
INTUICIN DEL ESPACIO: QUE EL TODO ES MAYOR QUE CUALQUIERA
DE SUS PARTES.
Para Brouwer y otros intuicionistas (como
Kronecker) la teora de conjuntos no es una
rama de la matemtica.


Rechazo del infinito actual
Punto a favor de los intuicionistas:
El infinito actual ha permitido demostrar algunos teoremas extraos,
por decir lo menos:

Que existen infinitos ms grandes que otros infinitos (Cantor)

Que los trminos de una sucesin convergente simple pueden

reordenarse para que el lmite de ella sea cualquier nmero que
queramos, finito o infinito (Riemann).

Que una esfera puede desensamblarse en ocho partes, y estas luego

pueden ser reensambladas para formar dos esferas, cada una de igual
volumen que la original (Banach-Tarski).
Brouwer slo acepta el infinito actual de los nmeros reales si se llega a
una construccin estricta de l.


El Intuicionismo y la Lgica
LOGICISMO:
La Matemtica forma parte de la Lgica
Axioma lgico:
(P = Q) [ (Q = R) (P = R) ]
Afirmacin matemtica:
8/2 = 4
4 = 2 2
Especificacin:
(8/2 = 4) [ (4 = 2 2) (8/2 = 2 2) ]
Modus Ponens (dos veces):
8/2 = 2 2


El Intuicionismo y la Lgica
INTUICIONISMO:
La Lgica forma parte de la Matemtica
Construccin matemtica:
8/2 = 4
4 = 2 2
Constatacin directa (por naturaleza de la igualdad):
8/2 = 2 2
Generalizacin del procedimiento (teorema lgico de la matemtica):
Si P = Q y Q = R, entonces P = R


El Intuicionismo y la Lgica
Arend Heyting (1898 1980), discpulo de
Brouwer. Trabaj en el desarrollo de una lgica
formal intuicionista (pese a que su maestro le
deca que era una tarea inservible).
Fue adems uno de los ms eminentes
intuicionistas y un asiduo defensor de las ideas
originales de Brouwer.
EN CONCRETO, en la semntica de Heyting:

Las conectivas no son interdefinibles

(P v ~P) no es una tautologa

(~~A A) tampoco.

(P Q) no es equivalente a (~P v Q)

~(Ex)A(x) (x)~A(x) tampoco es tautologa.

Rechazo de la Teora de la deduccin y la axiomatizacin
Brouwer:
Los nmeros naturales son objetos primitivos de la intuicin.
Un nio puede aprender a usarlos sin mucho esfuerzo.
Las construcciones son autoevidentes.
Rechazo del formalismo:
Las matemticas no son un mero juego de ajedrez.
Las matemticas deben fundarse en la intuicin pura para poder
defender su validez universal.
No hay forma de hallar ni formular los axiomas.
Rechazo del logicismo:
Si las matemticas se fundan en la lgica, sobre qu se funda la lgica?


Legado del Intuicionismo
En matemticas:

Contraejemplos brouwerianos
En lgica:

La semntica intuicionista de Heyting

El sistema de deduccin natural y el clculo de

secuentes de Gerhard Gentzen.

Las Lgicas positiva y minimal de Ingebrigt

Johansson
MC Escher, C&cle
MC Escher, 1tars


Ultraintuicionismo
El matemtico y poeta ruso Alexander Esenin-
Volpin es el principal exponente de una
corriente llamada Ultraintuicionismo
(ultrafinitismo, actualismo o finitismo estricto)
que cuenta en la actualidad a numerosos
matemticos y filsofos entre sus filas.
Ultraintuicionismo:

Rechazo de los infinitos tanto actuales como

potenciales.

Sostienen que las matemticas deben

construirse, pero que cada una de tales
construcciones debe ser pragmticamente
posible.


Bibliografa:
Stanford Encyclopedia of philosophy:

Brouwer

Intuitionism in the Philosophy of mathematics

Intuitionistic logic
Libros:

Introduccin al Intuicionismo Arend Heyting

The Blackwell guide to Philosophical logic ed Lou Goble

Filosofa de las Matemticas Barker

Riddles in mathematics E. P. Northrop

Wikipedia:

Intuitionism

Intuitionistic logic

Ultrafinitism

Alexander Esenin-Volpin

Gerhard Gentzen

Arend Heyting