Captulo VII

VIDA Y OBRA DE POINCAR

Por
MAURICIO PENAGOS
NELSON GONZALEZ

SEMINARIO DE FILOSOFA DE LA MATEMTICA

DRA. MARY FALK DE LOSADA

UNIVERSIDAD ANTONIO NARIO

Noviembre 04 de 2017
 BREVE BIOGRAFIA DE POINCAR
Naci en Nancy, Francia, el 29 de Abril de 1854.
Es reconocido como el ltimo polymath, que pudo realizar
contribuciones importantes a mltiples reas de las matemticas y las
ciencias.
Henri fue un estudiante precoz, que se destac de inmediato por
encima de su clase.
Ingres al Lyce en NaNncy en 1862.
A sus 13 aos, su profesor le dijo a su madre Henri se convertir en
matemtico dira que un gran matemtico.
Ingres a la cole Polytechnique en 1873 y luego de graduarse en
1875 ingres a la cole des Mines.
Henri recibi su doctorado en matemticas siendo estudiante de
Charles Hermite en 1879 de la Universidad de Paris. Su tesis fue acerca
de ecuaciones diferenciales.
 BREVE BIOGRAFIA DE POINCAR
En 1880 envi un artculo resolviendo un problema en la teora de
ecuaciones diferenciales a la competencia por el gran premio de
matemticas de la Academia de las Ciencias de Paris.
En 1889 gan el premio del Rey de Suecia por la solucin de una pregunta
propuesta por Weierstrass acerca de la estabilidad del sistema solar (El
problema de los 3-cuerpos). Aunque tuvo que corregir un error descubierto
a ltima hora. Es interesante que este error se considera en la actualidad
como el punto de partida para la Teora del Caos.
Poincar tambin es famoso por su conjetura en 1904 concerniente a la
topologa de esferas tridimensionales, la cual fue uno de los problemas ms
importantes por resolver en matemticas hasta que el Ruso Grigori Perelman
lo demostr casi cien aos despus.
En 1906 fue elegido presidente de la Academia de las Ciencias.
Muri a los 58 aos el 17 de Julio de 1912.
 POINCAR CONTESTA AL LOGICISMO
En la fundamentacin de las matemticas, el logicismo se aparta
de las cuestiones psicolgicas (intuitivas) que conciernen la
relacin entre el matemtico y su tema:
Frege: la ideas y los cambios en las ideas que toman lugar en el
transcurso del pensamiento matemtico son irrelevantes a la
fundamentacin de la aritmtica
Debe distinguirse entre las condiciones mentales o fsicas bajo las
cuales una persona comprende, aprecia o cree una proposicin
y la base racional ltima de la proposicin.
La familiaridad constituye un peligro, ya que un paso inferencial
con el cual estamos familiarizados puede parecer autoeviente sin
que estemos conscientes de los pasos subordinados que contiene:
se podra pensar que el paso es intuitivo cuando en realidad est
compuesto por pasos menores, cada uno de los cuales es
puramente lgico
 Es posible Fundamentar las matemticas de otra manera?
De dnde provienen las definiciones que hace Russell de
nmero entero, numero racional, etc. Y de las operaciones de
adicin y multiplicacin en los conjuntos respectivos?
Henri Poincar, desde un punto de vista psicologista afirma que:
Se han manipulado los entes lgicos para definir nmeros que se
comportan de manera anloga a los nmeros ya conocidos
histricamente y que forman la base de las aplicaciones de la
matemtica.
Poincar presenta una nueva propuesta para la fundamentacin
de las matemticas diferente de la logicista. Fundamentar debe
representar el camino de lo oscuro hacia lo patente, de lo poco
conocido a lo familiar.
 LA INTERVENCIN DE LA INTUICIN
Poincar: Congreso Internacional de Matemtica Pars. 1900:
Los filsofos hacen una objecin adicional: lo que se gana en rigor se
pierde en objetividad, se elevan hacia su ideal lgico cortando los
lazos que ligan con la realidad. Su ciencia es impecable, pero no
puede continuar sindolo sino encerrndose en una torre de marfil y
perdiendo todo contacto con el mundo exterior
Al querer demostrar que una propiedad pertenece a un objeto cuya
nocin es a primera vista indefinible porque es intuitiva, optan por
ofrecer demostraciones aproximadas o dar definiciones precisas,
para establecer tal propiedad de manera irreprochable.
Y luego dicen los filsofos: todava falta mostrar que el objeto
corresponde a esta definicin es el mismo que la intuicin me permiti
conocer. Usted no ha hecho ms que desplazar la dificultad.
 La dificultad se ha dividido. La proposicin que se quera
demostrar consiste ahora de dos verdades diferentes: la
primera, una verdad matemtica que ahora est
rigurosamente establecida. La segunda, una verdad
experimental.
Solamente la experiencia nos puede ensear que algn objeto
real y concreto corresponde o no a la definicin abstracta.
Esta segunda verdad no est demostrada matemticamente,
pero ella no es ms susceptible de una tal demostracin de lo
que lo son las leyes empricas de las ciencias fsicas y naturales.
No seria razonable exigir ms.
la lgica no basta
la ciencia de la demostracin no es la ciencia entera
la intuicin debe conservar su papel como complemento,
(como contrapeso o como contraposicin de la lgica)
 Si bien se ha logrado construir los sistemas numricos con base
en la lgica pura, la nica garanta que se tiene de que los
sistemas construidos correspondan a los nmeros conocidos es
la intuicin. Se construyen los sistemas numricos con base en
la lgica pura, pero slo la intuicin liga estas construcciones
con los nmeros intuitivamente conocidos por medio de la
experiencia.
En cuanto a La Formalizacin de un sistema, En su libro Ciencia y
mtodo Poincar lanza una nueva crtica al formalismo y al
logicismo.
Si hubiesen tenido xito (en reducir la aritmtica a un sistema
puramente formal como la geometra de Hilbert), estaran los
kantianos definitivamente condenados al silencio?. Puede ser que
no, porque reduciendo el pensamiento matemtico a una forma
hueca, se lo mutila. Admitamos que se haya establecido que
todos los teoremas pueden deducirse por procedimientos
analticos, por simples combinaciones lgicas de un nmero finito
de axiomas y que estos no sean ms que convenciones. El filsofo
conservara el derecho de buscar los orgenes de estas
convenciones y de investigar por qu han sido preferidas a las
convenciones contrarias.
 Poincar hace observacin al programa logicista en analoga
con el juego de ajedrez:
Los pasos de los cuales consta una demostracin no son una
combinacin al azar de las propiedades o transformaciones que el
matemtico tiene a su disposicin. Sera igual afirmar que el juego
de ajedrez se reduce a las reglas de movimiento de las distintas
fichas. Al contrario dice Poincar, tal como el juego de ajedrez se
basa en una estrategia que escoge y ordena las fichas a mover, as
hay un plan en cada demostracin. Este plan proviene de la
intuicin.
Se puede observar la obra de la intuicin en la construccin de
Russell de los sistemas numricos. Es la intuicin la que determina
la definicin de cada sistema y de las operacin aritmticas en
l definidas, con el fin de que los nmeros as construidos tengan
la estructura y propiedades deseadas.
 LA INDUCCIN MATEMTICA
En Ciencia y Mtodo, Poincar critica a los programas logicista y
formalista, sobre la caracterizacin del principio de induccin
matemtica. Para l, el P.I.M. es una intuicin profunda sin la cual
no se puede llevar a cabo ninguna investigacin a cerca de la
consistencia de un sistema matemtico
Acusa a ambas escuelas de cometer petitio principii en su
tratamiento de la induccin. Para el formalismo la induccin
matemtica (induccin completa) constituye un axioma; para los
logicistas constituye simplemente la definicin de nmero entero.
Para Poincar, en las matemticas existir significa estar exento
de contradiccin, por lo que exige a ambas escuelas la
demostracin del principio de induccin matemtica (sea como
postulado, sea como definicin)
 En cuanto a los logicistas, la principal tesis de Poincar era que
el PIM es especficamente matemtico, es decir, irreductible a
la lgica. La estrategia de los logicistas para probarlo desde la
lgica sola equivala a definir el conjunto de los nmeros
naturales como la interseccin de todos los conjuntos
recurrentes (es decir, que contienen al 0 y al sucesor de cada
uno de sus miembros), de lo cual el PIM resulta un corolario.
A juicio de Poincar, el uso de axiomas como definiciones
requiere la prueba de consistencia del sistema axiomtico en
cuestin, lo que, a su vez, requiere del PIM. Las objeciones
entonces eran a) que se utilizara el PIM para justificar el uso de
PIM, o bien b) que si fuese legtimo aplicar el PIM a los nmeros
en cuanto definidos por los axiomas, no estara justificado su
empleo en el metalenguaje pues cmo sabremos que el
nmero de nuestros razonamientos es un nmero natural?
Poincar enfatiza su posicin argumentando:
Estos principios podran ser considerados como definiciones
disfrazadas? Es necesario probar que no implican contradiccin.
Es preciso establecer que por lejos que se prosiga la serie de
deducciones no se estar expuesto a contradecirse Podemos
verificar que las operaciones de la nueva lgica aplicadas a
premisas exentas de contradiccin no pueden dar mas que
resultados exentos de contradiccin.
Si entonces despus de N operaciones, no hemos vuelto a
encontrar contradiccin, es que tampoco volveremos a
encontrarla despus de la (N+1)-sima operacin. Es por lo tanto
imposible que haya un momento es que comience la
contradiccin lo que demuestra que no la volveremos a
encontrar ms. Tenemos derecho de razonar as? No, porque
eso sera hacer induccin completa, no la conocemos an.
 No tenemos entonces derecho a mirar estos axiomas como
definiciones disfrazadas; no nos queda mas que un recurso, es
preciso admitir por cada uno de ellos un nuevo acto de
intuicin.
De esta manera cada una de las nueve nociones indefinibles y
de las veinte proposiciones indemostrables que forman el
fundamento de la nueva lgica, de la lgica en el sentido
amplio, suponen un acto nuevo e independiente de nuestra
intuicin. por qu no decirlo?, un verdadero juicio sinttico a
priori. Sobre este punto todo el mundo parece estar de
acuerdo; pero el seor Russell pretende y es lo que me parece
dudoso, es que despus de estos llamados a la intuicin no se
harn ms; no habr que hacer otros y podrn constituirse las
matemticas enteras sin hacer intervenir ningn elemento
nuevo.
Segn Poincar, su razonamiento invalida la posicin
logicista de Russell como la formalista de Hilbert.
En respuesta a esto, Hilbert, colocar a la induccin
entre las nociones que forman parte de la
metamatemtica y que son aceptadas sin necesidad de
justificacin.
Russell nunca trat el problema de la consistencia de su
sistema convencido de que la existencia implica la
consistencia (y no viceversa); dado que como la lgica
encierra verdad y la matemtica construida sobre la
base de la lgica hereda esta caracterstica, haciendo
innecesaria una demostracin de inconsistencia.
 OTRAS OBJECIONES A LA OBRA LOGICISTA
Poincar acusa a Russell de reducir lo finito a lo infinito.
Muchos matemticos han seguido el camino de Cantor y se han
propuesto una serie de preguntas sobre los distintos cardinales transfinitos. Se
han familiarizado tanto con estos nmeros que han llegado al punto de
hacer que la teora de nmeros finitos dependa de la de los nmeros
cardinales transfinitos de Cantor.
Si queremos ensear la aritmtica de una manera lgica, deben
establecerse las propiedades generales de los nmeros cardinales
transfinitos, y luego distinguir entre ellos la clase (bastante
pequea) de los nmeros cardinales ordinarios. Slo as quizs se
podr demostrar todas las proposiciones de la aritmtica de los
nmeros naturales y el lgebra, utilizando nicamente la lgica.
 Poincar cree identificar petitio principii en todos los tratados
que intenta definir "nmero" con base en la lgica:
En Ciencia y Mtodo, afirma que Russell emplea
proposiciones como: "Sean p y q dos proposiciones" al iniciar el
estudio de la lgica, cuando luego utiliza esta misma lgica
como base para definir nmero y, en consecuencia, la
palabra dos aparece desde el comienzo de la lgica.
Afirma que Hilbert tambin reconoci esta dificultad as que
hizo un desarrollo paralelo de la aritmtica y la lgica,
(contrario a Russell quien afirmaba que la lgica es anterior a
la aritmtica y que las verdades aritmticas son analticas
derivadas de la lgica).
 Afirma Poincar: es imposible dar una definicin sin enunciar una frase y difcil
enunciar una frase sin poner un nombre de un nmero, o al menos la palabra
varios o al menos un nombre en plural. Entonces la pendiente es resbaladiza y a
cada instante se corre el peligro de caer en la peticin del principio.
Russell acept totalmente la validez de estos comentarios y
procedi a intentar remover las dificultades por medio de la Teora
de los Tipos Lgicos.
Frege haba advertido: puede haber una apariencia de
circularidad, pero esta apariencia se desvanece cuando se
distingue entre los usos de expresiones numricas que pueden
remplazarse por artificios puramente cuantificadores y el uso llano
de expresiones que se basan en la definicin que se est haciendo.
Las anteriores no involucran nmero y, por ende, no incurren en
petitio principii.
 EL PRINCIPIO DEL CIRCULO VICIOSO
- LA DEFINICIN IMPREDICATIVA
Nelson es la persona ms amable del curso. Supongamos que
esta es la definicin de Nelson. Como Nelson es un miembro del
grupo entonces la definicin es impredicativa, porque define
un individuo en trminos de un conjunto al cual pertenece.
En 1906 Poincar discute por primera vez el problema del
circulo vicioso cuando escribe sobre la paradoja de Richard.
Russell acept estas crticas y trat de remover las dificultades
por medio de la Teora de los Tipos Lgicos.
Poincar se sita en un punto intermedio entre el intuicionismo
de Brouwer y el formalismo de Hilbert., sin estar dispuesto como
Brouwer a sacrificar grandes porciones de la matemtica
clsica. Poincar identifica fallas fundamentales en los
planteamientos logicistas y formalista que permiten la aparicin
de las antinomias.
 La raz del problema es la existencia de definiciones
impredicativas (crculo vicioso) en la matemtica logicista y
formalista y pretende erradicar tales definiciones para eliminar las
antinomias.
Los matemticos han realizado grandes esfuerzos atendiendo las
crticas de Poincar pero han fracasado, pues no se ha logrado
suprimir todas las definiciones impredicativas, como por ejemplo
la de mnima cota superior, que se define en trminos de una
clase (la de las cotas superiores) a la cual pertenece:
Definicin: Dado un conjunto de nmeros racionales, no vaco y
acotado superiormente, el nmero se llama la mnima cota
superior de siempre que:
i. es una cota superior de
ii. Si es cualquier cota superior de , entonces .
 7.2.1 PUNTOS DE PARTIDA Y CRITERIOS DE EXISTENCIA
Caractersticas Intuicionismo Formalismo Logicismo

Fundamentacin La aritmtica de los La aritmtica de los nmeros La lgica pura y la posibilidad

de la matemtica nmeros naturales. naturales. de hacer la transicin de esta
con la Teora de Nmeros a la
Aritmtica.
Criterio de La intuicin. La ausencia de contradiccin. Haber sido construido con base
existencia Haber sido construido La aritmtica de los nmeros a la lgica pura.
por la mente humana. naturales se presenta como un
sistema axiomtico formal.

Carcter Constructivista Constructivista Constructivista

Consistencia Prima la palabra Prima la palabra Demostrar Prima la palabra Definir

Calcular Se fundamenta en la demostracin
No hay razn para de la consistencia de los axiomas
dudar de la de los nmeros naturales, que
consistencia. constituyen la base sobre la cual se
demuestra la consistencia de los
dems sistemas axiomticos
No necesita, puesto que la
lgica tiene estatus de verdad,
luego la matemtica,
construida con base en la
lgica tambin es verdadera.
 INTUICIONISMO
Nocin de concepto de
Nmero
7.2.2. ORDINALIDAD Y CARDINALIDAD
Enfatiza el aspecto ordinal
(Orden)
Elementos kantianos: el
tiempo como intuicin
fundamental previa del
conocimiento. Preserva un
elemento psicolgico en su
teora del concepto de
nmero.
Conocer
Identificar
Diferenciar
Notar la evolucin del
tiempo en los anteriores.
Kronecker: Dios hizo los
nmeros, lo dems es obra
del hombre
FORMALISMO LOGICISMO
Nocin de concepto de Nmero
Nocin de concepto de Proviene de la nocin de cantidad de
Nmero objetos coleccin.
Prima el aspecto cardinal (cantidad) sobre el
Introduccin de los axiomas aspecto de orden.
de orden, es decir reglas de Los nmeros tienen existencia matemtica,
transformacin de formatos porque se ha construido a partir de la lgica
que contienen el smbolo pura: se inicia con la lgica simblica
< axiomatizada (clculo de proposiciones). Se
deriva luego la Teora de Conjuntos (clases); se
utilizan conceptos definidos a partir de la lgica
como relacin, relacin de equivalencia,
correspondencia 1 a 1 para llegar a una
particin de las clases segn la cantidad de los
elementos que contienen. Un nmero es una
clase de clases.
Representan ocurrencias y relaciones en el
mundo exterior y concreto: el nmero 5, como
concepto no es arbitrario, si no que el concepto
debe coincidir con el conjunto de dedos que
tengo en la mano.
 INTUICIONISMO
Mantiene una postura
antagnica con el logicismo.
Kronecker y Brouwer: para su
existencia, los entes matemticos
7.2.3. TRATAMIENTO DEL INFINITO
requieren de haber sido
calculados por la mente
humana. Ninguna coleccin
actualmente infinita puede
generarse con esta restriccin.
Poincar: Russell ha reducido lo
finito a lo infinito; esto es contrario
a la intuicin. Los conceptos
complejos se construyen a partir
de los conceptos ms
elementales.
El inadecuado manejo del infinito
actual origin las paradojas
antiguas (Zenn de Elea) al igual
que las antinomias de la teora
de conjuntos.
FORMALISMO
Se nutre de la teora de Cantor
de conjuntos y nmeros infinitos,
a los cuales llama ideales, es de nmero cardinal la clase
decir que carecen de la
realidad concomitante en el
contexto intuitivo.
(Hilbert distingue dos tipos de
proposiciones: las reales y las
ideales. Las primeras son finitistas
y corresponden a un contenido,
por ejemplo, una ecuacin. Las
proposiciones ideales u objetos
ideales de la teora, son frmulas
que no expresan asertos finitistas,
que no significan nada por s
mismos y son gobernados por
reglas).
LOGICISMO
El logicismo de Russell es de
corte infinitista. Su definicin
de todas las clases que son
semejantes a una clase
dada. Un nmero es
cualquier cosa que sea el
nmero de alguna clase.
Se propone una aritmtica
para los nmeros infinitos.
Es tal su intoxicacin con el
infinito que construyen los
sistemas numricos
(cardinales, enteros,
racionales, reales, etc.) de
tal manera que se define
un nmero finito en
trminos de una clase
infinita.
 INTUICIONISMO FORMALISMO
Para demostrar la consistencia
absoluta de la aritmtica de los
nmeros naturales, desarrolla la
metamatemtica, una teora
finitaria de las demostraciones.
Esto muestra un notorio
7.2.4. La INTUICIN
acercamiento con la escuela
Intuicionista.
La incorporacin por parte de
Hilbert de los axiomas de Peano
para la axiomatizacin formal de
la matemtica no permite
caracterizar completamente a los
nmeros naturales, sino a una
progresin cualquiera. Para
completar las caractersticas se
introducen elementos de la
intuicin.
LOGICISMO
Henri Poincar: La seleccin
de definiciones logicistas pone
en evidencia la intervencin de
la intuicin, la presencia de un
plan, que selecciona
precisamente aquellas
definiciones que reproducen la
matemtica conocida.
La matemtica puede
construirse con base en la
Lgica, pero no es cierto que la
esencia de la matemtica es la
lgica
 INTUICIONISMO FORMALISMO
RELATIVIZACIN DE LA LGICA
Teje nociones evolutivas Hilbert opera con base en
de matemticas y la lgica formalizada y
lgica en la tela y utiliza una versin finitista
textura de su visn de la misma lgica en la
7. 2.5. LA LGICA
filosfica metamatemtica, sin
embargo, la formalizacin
abre paso al uso de reglas
de transformacin
apropiadas a cada
sistema formal y por tanto
a la adopcin de una
lgica apropiada para
cada sistema.
LOGICISMO
En ocasiones se
asumieron axiomas
extralgicos (como el de
reduccin, el de eleccin
y el de infinitud) con lo
cual se suplantan los
axiomas de la lgica
pura, lo cual da lugar a la
posibilidad de construir
sistemas lgicos alternos,
con o sin cualquiera de
estos axiomas.
 INTUICIONISMO FORMALISMO LOGICISMO

7.2.6. RELACIN ENTRE LA LGICA Y

La lgica se La lgica se La matemtica se
deriva de la desarrolla deriva de la
matemtica y paralelamente con lgica y por ser
debe adecuarse la matemtica. esta una verdad,
LA MATEMTICA

a esta La esencia de la se constituye en

matemtica es la un absoluto.
axiomatizacin y Russell: La lgica
requiere de la es la niez de la
lgica formal para matemtica y la
tal fin, pero estas no matemtica la
constituyen fases madurez de la
sucesivas de un lgica.
mismo proceso
constructivo.
 INTUICIONISMO FORMALISMO LOGICISMO

7.2.7. APLICACIONES DE LA MATEMTICA Existe concordancia El realismo que trata de

natural entre la garantizar para los conceptos
matemtica pura y matemticos permite una
aplicada, pues relacin dinmica entre la
reconoce que tanto matemtica pura y sus
la matemtica como aplicaciones.
la ciencia son Russell manifiesta su inters en
construcciones que los smbolos matemticos
humana correspondan al significado
que se les atribuye en la vida
cotidiana. Esta escuela
responde a la preocupacin
inicial de Gauss por ampliar el
campo de aplicacin de la
matemtica.
 BIBLIOGRAFA
Falk, M (2012). Corrientes del Pensamiento matemtico del siglo XX. Primera
parte: Fundamentacin. 1. ed. Bogot: Universidad Antonio Nario, Fondo
Editorial.
Snapper, E. (1979). The Three Crises in Mathematics: Logicism, intuitionism
and Formalism. Mathematics Magazine, 52 (4), 207-216. Recuperado de:
https://www.maa.org/sites/default/files/pdf/upload_library/22/Allendoerfer/
1980/0025570x.di021111.02p0048m.pdf Octubre 16 de 2017
Castro Ch., I. y Prez A. J. (2007). Un paseo Finito por lo Infinito: El infinito en
matemticas. 1. ed. Bogot: Editorial Pontificia Universidad Javeriana.
Rosello, Joan (2012). From foundations to Philosophy of Mathematics: an
Historical account of their development in the XX century and beyond.
Newcastle, UK. Cambridge Scholars Publishing
Poincar, H. Ciencia e Hiptesis. Introduccin de Javier Lorenzo. Coleccin
Austral. 2a edicin, 2002. Editorial Espasa Calpe S.A. Madrid
Poincar, H. Filosofa de la Ciencia. Seleccin e Introduccin de Eli De
Gortari. UNAM, Mxico 1964. Direccin General de Publicaciones.
 SEMINARIO DE FILOSOFA DE LA MATEMTICA
PROFESORA: DRA. MARY FALK DE LOSADA
EXPOSITORES: MAURICIO PENAGOS - NELSON GONZALEZ
Captulo VII: DE POINCAR A GODEL Y TURING
Preguntas para analizar:
1. Explique cmo justifica Poincar la intervencin ineludible de la
intuicin en la construccin de los nmeros naturales. Cmo Poincar
critica las posturas Logicista de Russell y Formalista de Hilbert al respecto?

2. Poincar utiliza una analoga del juego de ajedrez para criticar un

aspecto fundamental del Logicismo. Cul es este aspecto? Explique

3. Cmo refiere su crtica Poincar a las escuelas Logicista y Formalista

respecto a la caracterizacin del Principio de Induccin Matemtica?

4. Qu es la definicin Impredicativa? Mencione al menos dos ejemplos

de este tipo de paradojas. Cmo trat de resolver Russell este tipo de
definiciones?
5. Cul era la postura de Poincar respecto del infinito? Actual o
Potencial?