Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Pruebas y Refutaciones - Imre Lakatos PDF
Pruebas y Refutaciones - Imre Lakatos PDF
naturaleza
del
descubrimiento
matemtico o de la creatividad.
Imre Lakatos se esfuerza en
desterrar la imagen clsica del
desarrollo matemtico como una
constante acumulacin de verdades
establecidas.
En
su
lugar,
demuestra que la matemtica crece
a travs del proceso, mucho ms
rico y dramtico, de la mejora
sucesiva de hiptesis creativas a
travs
de
los
intentos
de
probarlas y las sucesivas crticas
a dichos intentos: es la lgica de
pruebas y refutaciones.
Imre Lakatos
Pruebas y
refutaciones
La lgica del descubrimiento
matemtico
ePub r1.0
Titivillus 21.06.15
PREFACIO DE LOS
EDITORES
necesario.
En general, no hemos tenido a bien
modificar el contenido del material de
Lakatos, incluso por lo que respecta a
aquellas de sus partes que expresan
posiciones que estamos seguros que
Lakatos habra modificado. Por tanto,
nos hemos limitado a sealar (en notas
sealadas mediante un asterisco)
algunas de aquellas cosas sobre las que
hubiramos llamado la atencin de
Lakatos, tratando de persuadirle para
que las cambiara, en la creencia de que,
en la prctica, Lakatos hubiera accedido
a esos cambios al publicar ahora el
material. (Como es natural, su posicin
intelectual
haba
cambiado
AGRADECIMIENTOS
resurgimiento de la heurstica
matemtica debido a Plya y de
la filosofa crtica de Popper.
Al preparar este libro, los editores
recibieron la ayuda de John Bell, Mike
Hallett, Mosh Machover y Jerry
Ravetz, todos los cuales leyeron
amablemente diversas redacciones del
captulo 2 y de los apndices,
formulando tiles crticas.
Quisiramos tambin agradecer el
trabajo de Sandra D. Mitchell y
especialmente el de Gregorv Currie,
quien critic minuciosamente nuestra
reelaboracin del material de Lakatos.
J. W.
E. Z.
INTRODUCCIN DEL
AUTOR
desarrollo
dinmico
de
la
metamatemtica.
El contenido de la metamatemtica
es una abstraccin de las matemticas en
la que las teoras matemticas son
sustituidas por sistemas formales,
pruebas mediante ciertas secuencias de
frmulas bien-formadas y definiciones
mediante expedientes abreviatorios
que resultan tericamente eliminables,
aunque
tipogrficamente
convenientes[1]. Fue Hilbert quien ide
esta abstraccin, a fin de disponer de
una tcnica poderosa para abordar
algunos de los problemas de la
metodologa de las matemticas. Al
mismo tiempo, hay problemas que caen
as
como a la lgica del
descubrimiento o a la lgica de la
situacin[5] de Popper. La reciente
expropiacin del trmino metodologa
de las matemticas para utilizarlo
como sinnimo de metamatemtica
posee sin duda un cariz formalista, que
indica que, en la filosofa formalista de
las matemticas, no hay lugar para la
metodologa en cuanto lgica del
descubrimiento[6]. Segn los formalistas,
las matemticas se identifican con las
matemticas formalizadas. Ms, qu
podemos descubrir en una teora
formalizada? Dos tipos de cosas.
Primero, podemos descubrir la solucin
a problemas que una mquina de Turing
convenientemente
programada
resolvera en un tiempo finito (como,
por ejemplo: una pretendida prueba, es
o no una prueba?) Ningn matemtico
tiene ningn inters en seguir el tedioso
mtodo mecnico prescrito por
semejantes procedimientos de decisin.
Segundo, podemos descubrir la solucin
de problemas (del tipo: es o no un
teorema determinada frmula de una
teora no-decidible?), en los que nos
podemos dejar guiar tan slo por el
mtodo de intuicin indisciplinada y
buena suerte.
Ahora bien, esta fra alternativa
entre el racionalismo de una mquina y
el irracionalismo de la ciega adivinanza
2. Una Prueba
MAESTRO: En nuestra ltima leccin
hemos llegado a una conjetura relativa a
los poliedros; a saber, que para todo
poliedro V - A + C = 2, donde V es el
nmero de vrtices, A el nmero de
aristas y C el nmero de caras. La
hemos contrastado de diversas maneras,
pero an no la hemos probado. Ha
hallado alguien una prueba?
ALUMNO SIGMA: Por lo que a m
respecta, he de admitir que an no he
Fig. 1.
(a)
Fig. 2.
Fig. 3.
(b)
nuestra conjetura[13].
ALUMNO DELTA: En ese caso,
debera usted llamarla teorema, puesto
que ya no hay en ella nada conjetural[14].
ALUMNO ALFA: Me extraa. Veo
que este experimento puede realizarse
con un cubo o un tetraedro, mas cmo
voy a saber que tambin se puede
realizar con cualquier poliedro? Por
ejemplo, est usted seguro, Seor, de
que cualquier poliedro se puede estirar
ponindolo plano sobre el encerado,
tras haberle quitado una cara? Tengo
mis dudas acerca de su primer paso.
ALUMNO BETA: Est usted seguro
de que al triangular el mapa se
obtendr siempre una nueva cara por
tercer paso .
MAESTRO: Por
estoy seguro.
ALFA: En ese
que al principio!
conjetura tenemos
supuesto que no
caso estamos peor
En lugar de una
ahora tres como
3
4
10
5
6
2
8
Fig. 4.
MAESTRO: Bueno, podra salvar la
cara diciendo que por un tringulo
fronterizo entenda uno cuya eliminacin
proposiciones-plausibles o incluso
trivialmente verdaderas usualmente
resultan pronto refutadas; las conjeturas
sofisticadas e implausibles, maduradas
en la crtica, podran dar en el blanco de
la verdad.
OMEGA: Y qu ocurre si incluso
sus conjeturas sofisticadas resultan
falsadas y ahora ya no puede usted
sustituirlas por otras sin falsar? O si no
consigue mejorar an ms el argumento
mediante
parches
locales?
Ha
conseguido
usted
superar
un
contraejemplo local, que no global,
sustituyendo el lema refutado, pero qu
pasa si no tiene usted xito la prxima
vez?
MAESTRO:
Buena
pregunta;
tomaremos nota de ella para maana.
Fig. 5.
(a)
Fig. 6
(b)
0.
Fig. 9.
sus
plagas
no-eulerianas,
sin
confundirnos a todos denominndolas
poliedros. Sin embargo, pierdo
gradualmente inters por sus monstruos.
Vuelvo disgustado la cabeza ante sus
lamentables poliedros, para los que
no vale el bello teorema de Euler[29]. Yo
busco el orden y la armona en las
matemticas, mientras que usted slo
propaga anarqua y caos[30]. Nuestras
posturas son irreconciliables.
ALFA: Usted s que es un verdadero
conservador pasado de moda! Abomina
usted de la maldad de los anarquistas
por echar a perder su orden y
armona, y resuelve usted las
dificultades
con
recomendaciones
verbales.
MAESTRO: Oigamos la ltima
definicin de rescate.
ALFA: Querr usted decir el ltimo
truco lingstico, la ltima contraccin
del concepto de poliedro! Delta
disuelve los problemas reales en lugar
de resolverlos.
DELTA: No soy yo quien contrae los
conceptos, sino usted quien los expande.
Por ejemplo, ese marco de cuadro no es
en absoluto un poliedro genuino.
ALFA: Por qu?
DELTA: Tome usted un punto
arbitrario en el tnel, en el espacio
limitado por el marco. Pase un plano por
dicho punto y hallar que dicho plano
trompicones.
MAESTRO: Pienso que deberamos
negarnos a aceptar la estrategia de Delta
para enfrentarse a contraejemplos
globales, si bien hemos de felicitarle
por lo hbilmente que lo hace. Podemos
etiquetar adecuadamente su mtodo
como el mtodo de exclusin de
monstruos. Con este mtodo se puede
eliminar cualquier contraejemplo de la
conjetura original, mediante una hbil
aunque siempre ad hoc redefinicin de
poliedro, de sus trminos definitorios o
de los trminos definitorios de sus
trminos definitorios. De algn modo,
deberamos tratar con ms respeto los
contraejemplos,
sin
exorcizarlos
he de confesar algo.
MAESTRO: Adelante.
(ALFA entra de nuevo.)
BETA: Encuentro feos algunos
aspectos de los argumentos de Delta,
aunque he llegado a convencerme de que
existen en ellos un meollo razonable. Me
parece ahora que ninguna conjetura es
generalmente vlida, sino tan slo
vlida en un dominio restringido que
excluye las excepciones. Estoy en contra
de tildar de monstruos o casos
patolgicos a esas excepciones. Ello
equivaldra a la decisin metodolgica
de no considerarlas como ejemplos
interesantes por derecho propio,
merecedoras de una investigacin
matemticas:
1. Las que siempre son verdaderas
y para las que no hay ni restricciones ni
excepciones; por ejemplo, la suma de
los ngulos de todos los tringulos
planos es siempre igual a dos ngulos
rectos.
2. Las que descansan en algn
principio falso, por lo que no pueden ser
admitidas de ningn modo.
3. Las que, aunque se articulan
sobre principios verdaderos, con todo
admiten restricciones o excepciones en
algunos casos
EPSILON: Qu?
SIGMA: No habra que confundir
los teoremas falsos con los teoremas
MAESTRO:
Olvidmonos
del
cilindro por el momento. Podemos
ofrecer algunas crticas an sin el
cilindro. En esta nueva versin
modificada del mtodo de exclusin de
excepciones, que Beta ha ingeniado de
un modo tan vivo en respuesta a mi
crtica, el rechazo pieza a pieza ha sido
sustituido por una retirada estratgica a
un dominio que se espera sea el bastin
de la conjetura. Est usted jugando a lo
seguro, pero acaso est usted tan seguro
como pretende? An no posee ninguna
garanta de que no haya excepciones en
el interior de su bastin. Adems, existe
el peligro opuesto. No podra usted
haber hecho una retirada demasiado
Fig. 12.
(b)
(c)
(a)
Fig. 13.
MAESTRO:
Mis
felicitaciones.
Ciertamente, he de restringir an ms
nuestra conjetura
BETA: Ya s lo que va a hacer usted.
Va a decir usted que Los poliedros
simples con caras triangulares son
eulerianos. Dar por supuesta la
triangulacin y, una vez ms, convertir
el lema en una condicin.
MAESTRO: No, Seor, se equivoca
(a)
(b)
(c)
Jonquires, (b)
inexpertos.
Matthiessen,
(c)
ojos
Maestro: Explquese.
RO: El cubo con cresta es un
poliedro que consta de dos cubos
soldados uno con otro. Est usted de
acuerdo?
MAESTRO:
No
tengo
ningn
inconveniente.
RO: Pues bien, usted ha interpretado
mal la soldadura. Esa soldadura
consta de aristas que conectan los
vrtices del cuadrado de abajo del cubo
pequeo a los vrtices correspondientes
del cuadrado superior del cubo grande.
As pues, no existe en absoluto una
cara anular.
BETA: La cara anular est ah! Las
aristas bisecantes de que usted habla no
estn ah!
RO: Lo que pasa es que permanecen
ocultas a sus ojos inexpertos[57].
BETA: Supone usted que vamos a
tomar en serio su argumento? Lo que yo
veo es supersticin, mientras que sus
aristas ocultas son la realidad?
RO: Mire este cristal de sal. Dira
usted que se trata de un cubo?
BETA: Ciertamente.
RO: Un cubo tiene 12 aristas, no es
eso?
BETA: S, las tiene.
RO: Sin embargo, en este cubo no
ltima
formulacin:
Todos
los
poliedros son eulerianos, si (a) son
simples, (b) poseen cada una de sus
caras simplemente conexas y (c) son
tales que los tringulos del entramado
plano triangular, resultantes del estirado
y triangulacin, se pueden numerar de
modo que, al eliminarlos en el orden
correcto, V - A + C no se altere hasta
llegar al ltimo tringulo[58]. Me
pregunto por qu no ha propuesto usted
esto desde el principio. Si tomase usted
realmente en serio su mtodo, habra
convertido inmediatamente todos los
lemas en condiciones. Por qu esta
ingeniera fragmentada?[59]
ALFA: Un conservador convertido
en revolucionario! Su sugerencia me
resulta ms bien utpica, pues no hay
exactamente tres lemas, por qu no
aadir, junto con muchas otras,
condiciones como (4) si 1 + 1 = 2 y
(5) si todos los tringulos tienen tres
vrtices y tres aristas, puesto que
usamos ciertamente estos lemas?
Propongo
que
convirtamos
en
condiciones slo aquellos lemas para
los que se ha hallado un contraejemplo.
GAMMA: Me parece demasiado
accidental como para aceptarlo a guisa
de regla metodolgica. Incorporemos
todos aquellos lemas contra los que
podemos esperar contraejemplos; es
decir, aquellos que no son obvia e
indudablemente verdaderos.
DELTA: Bien, hay alguien a quien
nuestro lema tercero le parezca obvio?
Convirtmoslo en una tercera condicin.
GAMMA: Qu pasa si las
operaciones expresadas por los lemas
de nuestra prueba no son todas ellas
independientes? Si algunas de las
operaciones se pueden llevar a cabo,
puede ocurrir que el resto haya de ser
necesariamente realizable. Por mi
parte, sospecho que si un poliedro es
simple, entonces existe siempre un
orden de eliminacin de tringulos en
el entramado plano resultante, tal que
V - A + C no se altere. Si existe,
entonces la incorporacin del primer
Kapa
[aparte]:
Es
posible
rejuvenecer las teoras maduras. El
descubrimiento siempre supera la
justificacin.
SIGMA:
Esta
clasificacin
corresponde a la ma. Mi primer tipo de
proposiciones estaba formado por el
tipo maduro; el tercero, por el tipo en
desarrollo
GAMMA [le interrumpe]: El
teorema es falso! He hallado un
contraejemplo.
contraejemplo global: V - A + C = 1.
Acaso no pertenece al segundo tipo
inocuo? Apuesto algo a que no satisface
al menos uno de los lemas.
GAMMA: Comprobmoslo. No cabe
duda de que satisface el primer lema: si
quitamos la cara de abajo; resulta fcil
estirar el resto sobre el encerado.
ALFA: Pero si resulta que quita usted
la cubierta lateral, el tinglado se
descompone en dos piezas.
GAMMA: Y qu? El primer lema
exiga que el poliedro fuese simple,
es decir, que tras eliminar una cara, se
pudiese estirar sobre un plano. El
cilindro satisface el requisito, aun
cuando se empiece eliminando la
triangulado, V - A + C no fuese 1.
GAMMA: Por qu no insisti usted
en enunciarlo explcitamente?
ALFA: Porque considerbamos que
estaba enunciado implcitamente.
GAMMA: Por Lo que a usted
respecta, eso no es as, ya que propuso
que simple equivaliese a hinchable
en un baln[68]. El cilindro se puede
hinchar hasta que forme un baln, por lo
que, de acuerdo con su interpretacin, se
ajusta al primer lema.
ALFA: Bueno Pero ha de estar
usted de acuerdo con que no satisface el
segundo lema, segn el cual toda cara
secada
por
una
diagonal
se
descompone en dos portes. Cmo
ridiculizaba
usted
las
clusulas
ocultas que surgan de la definicin
de Delta despus de cada refutacin.
Ahora, es usted quien aporta clusulas
ocultas a los lemas, tras cada
refutacin; es usted quien cambia de
terreno y trata de ocultarlo para salvar
la cara. No le da vergenza?
KAPA: Nada me divierte ms que ver
al dogmtico como gato panza arriba.
Tras revestirse con los ropajes del
escptico militante para demoler un tipo
menor de dogmatismo. Alfa se pone
histrico cuando, a su vez, es l quien se
ve acorralado por el mismo tipo de
argumentos escpticos. Ahora se dedica
a juguetear, intentando combatir el
enemigos!
LAMBDA: Exacto. Si una conjetura
parece muy plausible o incluso
autoevidente, debera probarse: puede
que se descubra que descansa en lemas
muy sofisticados y dudosos. La
refutacin de los lemas puede conducir a
alguna refutacin inesperada de la
conjetura original.
SIGMA: A refutaciones generadas
por la prueba!
GAMMA: Entonces, la virtud de una
prueba lgica no es que fuerce la
creencia, sino que sugiere dudas[76].
LAMBDA: Pero, djenme volver
sobre la segunda posibilidad, cuando
no hallamos contraejemplos locales de
verdad trivial.
Todo ello muestra que no se puede
poner la prueba y las refutaciones en
compartimientos separados. Por eso, yo
propondra rebautizar nuestro mtodo
de incorporacin de lemas como el
mtodo de prueba y refutaciones.
Permtaseme enunciar sus aspectos
principales en tres reglas heursticas.
Regla 1. Si dispone usted de
una conjetura, propngase
probarla
y
refutarla.
Inspeccione cuidadosamente la
prueba para preparar una lista
de lemas no triviales (anlisis
de
la
prueba);
halle
contraejemplos tanto de la
conjetura
(contraejemplos
globales) como de los lemas
sospechosos
(contraejemplos
locales).
Regla 2. Si tiene usted un
contraejemplo global, descarte
su conjetura, aada a su
anlisis de la prueba un lema
conveniente que sea refutado
por el contraejemplo y sustituya
la conjetura descartada por
otra mejorada que incorpore
ese lema como condicin[78]. No
permita que una refutacin sea
descartada por monstruosa[79].
Trate de hacer explcitos todos
creativas.
GAMMA: Estoy perdido. Cul es su
postura? Antes era usted el campen de
las refutaciones.
ALFA: Oh, se trata de las
dificultades del crecimiento! La
intuicin madura barre a un lado la
controversia.
GAMMA: Su primera intuicin
madura le llev a su anlisis perfecto
de la prueba. Usted pensaba que su
lpiz era absolutamente agudo.
ALFA: Me olvid de las dificultades
de
la
comunicacin lingstica,
especialmente
con
pedantes
y
escpticos. Pero el meollo de las
matemticas es el experimento mental, la
en el anlisis de la prueba es
inalcanzable. Acaso es alcanzable el
rigor de la prueba? Acaso los
experimentos mentales transparentes
no pueden llevar a resultados
paradjicos y aun contradictorios?
ALFA: El lenguaje es vago, si bien el
pensamiento puede lograr un absoluto
rigor.
LAMBDA: Pero, sin duda en cada
etapa de la evolucin, nuestros padres
tambin pensaban que lo haban
alcanzado. Si ellos se engaaron, no
nos engaamos tambin nosotros?[82]
ALFA: Hoy se alcanza el rigor
absoluto[83].
[Risitas en la clase[84].]
GAMMA: Esa teora de la prueba
transparente es burdo psicologismo!
[85]
convencin,
la
de
Sigma,
el
pragmatismo matemtico. Menuda
eleccin para un racionalista!
GAMMA: As que un racionalista
debera
saborear
las
pruebas
rigurosas de Alfa, la intuicin
inarticulada, los lemas ocultos la
mofa del Principio de In Retransmisin
de la Falsedad y la eliminacin de las
refutaciones? Acaso las matemticas no
tienen que tener ninguna relacin con la
crtica y la lgica?
BETA: Sea lo que sea, ya estoy harto
de
estas
sutilezas
verbales
inconcluyentes. Lo que quiero es hacer
matemticas y no estoy interesado en las
dificultades
filosficas
de
la
matemticas.
La distincin que establecemos entre
prueba y anlisis de la prueba, as
como la distincin correspondiente entre
rigor de la prueba y rigor del anlisis
de la prueba, parece ser crucial. Hacia
1800, el rigor de la prueba
(construccin
o
experimento
transparente)
se
contrapona
al
argumento confuso y a la generalizacin
inductiva. Eso era lo que Euler entenda
por rigida demostratio, y la idea
kantiana de las matemticas infalibles
tambin estaba basada en esta
concepcin
(vase
su
ejemplo
paradigmtico de prueba matemtica en
su [1781], pgs. 716-17). Tambin se
estrellado.
RO: Por qu no admitir que su
gran dodecaedro estrellado es
triangular?
Sus
dificultades
son
imaginarias.
DELTA: Estoy de acuerdo. Pero son
imaginarias por una razn diferente.
Ahora ya me he entregado a los
poliedros estrellados: son fascinantes.
Pero, me temo que sean esencialmente
diferentes de los poliedros ordinarios.
Por tanto, no es posible concebir una
prueba que explique el carcter
euleriano de, digamos, el cubo y del
gran dodecaedro estrellado mediante
una sola idea.
OMEGA: Por qu no? No tiene usted
planetas
movindose
en
parbolas. Mire esta piedra. La
arrojo y se mueve en una
parbola.
SIMPLICIO: Pero esa piedra
no es un planeta! Se trata de dos
fenmenos totalmente diferentes.
SALVIATI: Por supuesto que
esta piedra es un planeta, slo
que lanzada con una mano menos
poderosa que la que arroj la
Luna.
SIMPLICIO:
Tonteras!
Cmo se atreve usted a poner
en pie de igualdad fenmenos
celestes y terrestres? Uno nada
tiene que ver con el otro! Por
de Omega. S, Beta?
(c) Pruebas diferentes suministran
teoremas diferentes
BETA: El punto ms importante que
he sacado en limpio de esta discusin es
que pruebas distintas de la misma
conjetura ingenua llevan a teoremas muy
diferentes. La primitiva conjetura de
Descartes-Eider se mejora con cada
prueba, tornndose en un teorema
diferente. Nuestra prueba original
arrojaba: Todos los poliedros de
Cauchy son eulerianos. Ahora hemos
aprendido algo sobre dos teoremas
completamente distintos: Todos los
gracioso?
PI: No; explicar lo que quiero
decir, aunque lo har en un contexto ms
amplio: deseo discutir sobre formacin
de conceptos en general.
DSETA: Deberamos discutir antes
sobre contenido. Encuentro que la Regla
4 de Omega es muy dbil, incluso en su
interpretacin radical[116].
MAESTRO:
Perfecto,
oigamos
primero el enfoque de Dseta del
problema del contenido y terminemos
nuestro debate con una discusin de la
formacin de conceptos.
Fig. 16.
I
II
III
IV
V
Poliedro
cubo
prisma
triangular
prisma
pentagonal
pirmide
cuadrada
pirmide
triangular
pirmide
C
6
V
8
A
12
10
15
VI
VII
VIII
IX
pentagonal
10
octaedro
torre
cubo
truncado
8
9
6
9
12
16
10
15
refutaciones.
DSETA: No, Beta. Estoy de acuerdo
con Sigma y, por tanto, no comenzar de
nuevo con una conjetura ingenua.
BETA: Entonces, dnde pretende
usted comenzar, si no es con una
generalizacin inductiva de bajo nivel
como conjetura ingenua? O, acaso
posee usted un mtodo alternativo para
comenzar?
(c) Conjeturar deductivamente frente
a conjeturar ingenuamente
DSETA: Comenzar? Por qu
tendramos que comentar? Mi mente no
est en blanco cuando descubro (o
invento) un problema.
MAESTRO: No le tome el pelo a
Beta. El problema es el siguiente:
Existe una relacin entre el nmero
de vrtices, aristas y caras de los
poliedros anloga a la relacin trivial
que hay entre el nmero de vrtices y
aristas de los polgonos, a saber, que V
= A?[122] Cmo reaccionara usted
ante esto?
DSETA: Primero, no tengo una ayuda
a la investigacin del gobierno como
para emprender una extensa observacin
de los poliedros, ni ayudantes de
investigaciones suministrados por el
ejrcito que cuenten el nmero de sus
vrtices, aristas y caras, para compilar
(a)
(b)
Fig. 17.
(c)
DSETA: O, V A + C = 1.
LAMBDA: Sin embargo, eso es falso
para la mayora de los sistemas
poligonales. Tome un cubo
SIGMA: Pero, mi contruccin slo
puede llevar a sistemas poligonales
abiertos, limitados por un circuito de
aristas. Puedo extender fcilmente mi
experimento
mental
a
sistemas
poligonales cerrados sin un lmite
semejante. Tal clausura se puede llevar
a cabo cubriendo un sistema poligonal
abierto en forma de vaso con una
tapadera poligonal: al encajar semejante
tapa poligonal, aumentar C en uno, sin
cambiar V o A
DSETA: O, para un sistema poligonal
(a)
(b)
Fig. 18.
(c)
Fig. 19.
llegar
a
conjeturas
inductivas
ingenuas: cuando nos hallamos frente a
un caos real de hechos, rara vez
conseguiremos encajarlos en una
frmula elegante. Luego, Dseta mostr
que para la lgica de pruebas y
refutaciones no precisamos una
conjetura ingenua, no precisamos en
absoluto un punto de partida
inductivista.
BETA: Objecin! Qu pasa con
esas clebres conjeturas que no han sido
precedidas (ni siquiera seguidas) de
pruebas, tales como la conjetura de los
cuatro colores, segn la cual bastan
cuatro colores para colorear un mapa, o
la conjetura de Goldbach? Slo se debe
contraejemplos.
OMEGA: Est usted ampliando ahora
mi concepto de profundidad, y puede
que est usted acertando. Pero, qu
pasa con la aplicacin prctica de su
nueva regla? Hasta ahora slo nos ha
suministrado
resultados
que
ya
conocamos. Es muy fcil ser un sabio
tras producirse los acontecimientos. Su
conjeturar deductivo no es ms que la
sntesis correspondiente al anlisis
original del maestro. Ahora debera ser
usted honesto y utilizar su mtodo para
hallar una conjetura anteriormente
desconocida, con el prometido aumento
de contenido.
GAMMA:
Se
trata
del
(a)
(b)
Fig. 22.
(a)
(b)
Fig. 23.
= 1; consiguientemente, V
- A + C = 3.
SIGMA:
Tambin explica
su
irracional extravagancia euleriana: el
cubo con dos caras anulares y un tnel
(fig. 16). Se trata de un poliedro
disferoide (n = 2) con
= 2. Por
(6)
8. Formacin de Conceptos
Entonces
llegaron
los
refutacionistas. Con su celo crtico,
ampliaron el concepto de poliedro de
modo que abarcase objetos que eran
ajenos a la interpretacin pretendida. La
conjetura era verdadera en su
interpretacin pretendida, mientras que
era falsa tan slo en una interpretacin
no buscada, introducida de contrabando
por los refutacionistas. Su refutacin
no revelaba ningn error en la conjetura
original, ninguna equivocacin en la
prueba original: revelaba la falsedad de
una nueva conjetura que nadie haba
pensado ni planteado anteriormente.
Pobre
Delta!
Defendi
valientemente la interpretacin original
definiciones
(quiero
decir,
los
pretendidos conceptos y definiciones)
pueden jugarse buenas pasadas unos a
otros! Nunca so que la formacin de
conceptos pudiese ir a la zaga de una
definicin impretendidamente amplia.
PI: Podra. Los excluidores de
monstruos se limitan a mantenerse fieles
al concepto original, mientras que los
ampliadores de conceptos lo ensanchan.
Lo ms curioso de todo es que la
ampliacin de conceptos procede
subrepticiamente: nadie se da cuenta de
ella y, puesto que el sistema
coordinado de cada cual se expande
con el concepto que se ampla son presa
de la ilusin heurstica de que la
el
anulares[154].
GAMMA: Eso es cierto. El hecho de
inflar un poliedro hasta hacerlo un
baln, distorsionando las aristas y caras,
no perturbar en lo ms mnimo la
realizacin de la prueba, siempre y
cuando la distorsin no altere el nmero
de vrtices, aristas y caras.
SIGMA: Ya veo lo que se quiere
decir. El poliedro simple generado
por la prueba no es slo una
contraccin, una especificacin, sino
tambin una generalizacin, una
expansin del poliedro ingenuo[155].
La idea da generalizar el concepto de
poliedro, de modo que incluya
poliedros arrugados, curvilneos, con
trata
de
un
patrn
continuo
generalizador; pero no olvide que
comienza con refutaciones, que su
continuidad consiste en una explicacin
pieza a pieza mediante una teora en
desarrollo
de
las
refutaciones
heursticas de su primera versin.
GAMMA: O bien, el desarrollo
continuo slo indica que las
refutaciones estn varios kilmetros por
delante!
PI: Eso es cierto. Pero, puede
ocurrir que cada refutacin aislada o
cada expansin de conceptos ingenuos
sea inmediatamente seguida por una
expansin de la teora (y de los
conceptos tericos) que explique el
contraejemplo.
La
continuidad,
entonces, da lugar a una excitante
sucesin de refutaciones ampliadoras de
conceptos y teoras cada vez ms
poderosas, de expansin ingenua de
conceptos y ampliacin de conceptos
terica y explicativa.
SIGMA: Dos variaciones histricas
accidentales del mismo tema heurstico!
PI: Bien, realmente no hay mucha
diferencia entre ellas. En ambas, el
poder de la teora reside en su
capacidad
para
explicar
sus
refutaciones en el transcurso de su
desarrollo. Pero hay un segundo patrn
fundamental de conjeturar deductivo
SIGMA: Otra variacin accidental
ms?
PI: S, si usted quiere. Con todo, en
esta variacin, la teora en desarrollo no
slo explica, sino que tambin produce
sus refutaciones.
SIGMA: Qu?
PI: En este caso, el desarrollo
supera (y, ciertamente, elimina) la
extensin ingenua de conceptos. Por
ejemplo, se comienza, digamos, con el
teorema de Cauchy sin un solo
contraejemplo en el horizonte. Entonces,
se pone a prueba el teorema
transformando el poliedro de todas las
maneras posibles: cortndolo en dos,
cortando
esquinas
piramidales,
doblndolo,
distorsionndolo,
conjeturar
deductivo
o
crtica
continua.
(e) Los lmites del aumento de
contenido. Refutaciones tericas frente a
refutaciones ingenuas
PI: Creo que, tarde o temprano, el
desarrollo continuo est abocado a un
callejn sin salida, a un punto de
saturacin de la teora.
GAMMA: Pero, sin duda podr
siempre extender algunos de los
conceptos!
PI: Por supuesto. La extensin de
conceptos ingenua puede proseguir,
pero la terica tiene sus lmites. Las
refutaciones en funcin de una extensin
de conceptos ingenua no son ms que
absoluto.
GAMMA: Realmente, a m no me
preocupa que sea o no as. Si un
contraejemplo se puede explicar
mediante una extensin pobre y trivial
de la prueba, yo lo considerara ya como
una extravagancia. Repito, no veo
ninguna
utilidad
a
generalizar
poliedro para que incluya un poliedro
con cavidades: no se trata de un
poliedro, sino de una clase de poliedros.
Yo me olvidara tambin de las caras
mltiplemente conexas; por qu no
trazar las diagonales que faltan? Por lo
que respecta a la generalizacin que
incluye tetraedros gemelos, yo sacara la
pistola: slo sirve para confeccionar
contraejemplo excitante[169].
ALFA: Puede que est usted en lo
cierto, despus de todo. Pero quin
decide dnde detenerse? La profundidad
es slo una cuestin de gustos.
GAMMA: Por qu no disponer de
crticos matemticos, del mismo modo
que tenemos crticos literarios, para
desarrollar
el
gusto matemtico
mediante la crtica pblica? Incluso tal
vez podamos detener la marea de
pretenciosas trivialidades en los
escritos matemticos[170].
SIGMA: Si nos detenemos en (5) y
convertimos la teora de los poliedros
en una teora de esferas trianguladas con
n asas, cmo podremos, si surge la
esperanza
vana.
Para
cualquier
proposicin,
hay
siempre
una
interpretacin suficientemente estrecha
de sus trminos tal que resulta verdadera
y una interpretacin lo suficientemente
amplia como para hacerla falsa. Cul
sea la interpretacin pretendida y cul la
no pretendida depende, por supuesto, de
las intenciones que tengamos. A la
primera
interpretacin
podemos
denominarla interpretacin dogmtica,
verificacionista o justificacionista, y a
la segunda, escptica, crtica o
refutacionista. Alfa consideraba a la
primera
una
estratagema
[173]
convencionalista
, aunque ahora
vemos que la segunda tambin lo es.
Todos
ustedes
ridiculizaron las
interpretaciones dogmticas que Delta
haca de la conjetura ingenua[174] y, a
continuacin,
la
interpretacin
dogmtica que haca Alfa del
teorema[175]. Sin embargo, la extensin
de conceptos refutar cualquier
enunciado y no dejar ningn enunciado
verdadero.
GAMMA: Un momento; es verdad
que extendimos poliedro y luego lo
despedazamos y lo arrojamos por la
borda: como sealaba Pi, el concepto
ingenuo de poliedro ya no figura en el
teorema.
KAPA: Pero, entonces, iniciar usted
una extensin de un trmino del teorema,
es falso.
GAMMA: Pero estos tetraedros
gemelos no son simples!
KAPA: Por supuesto que s.
Eliminando una cara, puedo extenderlo
en un plano. Lo nico que tengo que
hacer es andar con cuidado al llegar a la
arista crtica, a fin de no rasgar nada al
abrir el segundo tetraedro a lo largo de
esa arista.
GAMMA: Pero eso no es extender!
Usted rasga o divide la arista en dos.
Sin duda usted no puede proyectar un
pundo en dos: extender es una
proyeccin bicontinua uno a uno.
KAPA: Def. 7? Me temo que esta
interpretacin estrecha y dogmtica de
(a)
(b)
Fig. 24.
introducir
una
nueva
definicin
excluidora de monstruos). Con todo, en
cualquiera de esos casos, siempre har
que mis trminos definitorios sean cada
vez ms claros. Por qu no voy a poder
llegar a un punto en que los significados
de los trminos sean tan claros como el
cristal, de modo que slo haya una
interpretacin, como ocurre con 2 + 2 =
4? No hay nada elstico en el
significado de estos trminos y nada hay
de refutable en la verdad de esta
proposicin que brilla por siempre bajo
la luz natural de la razn.
KAPA: Dbil luz!
GAMMA: Extienda, si es que puede.
KAPA: Pero si no es ms que un
mentirosos[180].
KAPA: Imprecaciones: he ah el
ltimo recurso de la razn!
(b) La extensin mitigada de
conceptos puede convertir la verdad
matemtica en verdad lgica
ZETA: Creo que Gamma est en lo
cierto cuando habla de la necesidad de
demarcar la extensin de conceptos
racional de la irracional, puesto que la
extensin de conceptos ha recorrido un
largo camino y ha pasado de ser una
actividad suave y racional a convertirse
en una actividad radical e irracional.
Inicialmente, la crtica se concentra
herramienta
de
desarrollo
para
convertirse en una herramienta de
destruccin. Hemos de hallar cules son
los trminos cuyo significado puede
extenderse, a cambio de destruir los
principios bsicos de racionalidad[182].
KAPA: Podemos extender los
conceptos de su teora de la
racionalidad crtica? O, acaso resultar
manifiestamente verdadera, formulada
en trminos exactos e inextensibles que
no precisan definicin? Acaso su teora
de la crtica termina en una retirada al
compromiso, todo resulta criticable a
excepcin de su teora de la crtica, de
su metateora?[183]
OMEGA [a Epsilon]: No me gusta
II
definicin
matemtica
crea
el
significado matemtico[198]. En ese
caso, definir la nocin de poliedro
equivale a abandonar la vieja nocin
completamente, sustituyndola por un
nuevo concepto. Mas, en ese caso,
cualquier semejanza entre su poliedro
y el poliedro genuino es completamente
accidental y usted no obtendr ningn
conocimiento cierto acerca de los
poliedros genuinos mediante el estudio
de sus poliedros ficticios. El otro
camino es mantenerse fiel a la idea de
que definir es clarificar, de que la
definicin explcita los aspectos
esenciales y de que es una traduccin o
transformacin
que
preserva
el
Fig. 27[203].
II
d
I
c
Fig. 28.
EPSILON:
Al
punto,
Seor.
Permtame una ligera reformulacin del
teorema: Todos los poliedros en los
que los circuitos y los circuitos
limitadores coinciden son eulerianos.
MAESTRO: Prubelo.
EPSILON: Al punto, Seor. Lo
replanteo[207].
BETA: Pero, por qu? Ya ha
traducido usted todos sus trminos un
poco oscuros a trminos perfectamente
conocidos.
EPSILON: Eso es verdad. Pero la
traduccin que voy a dar ahora es muy
distinta. Traducir el conjunto de mis
trminos primitivos a otro conjunto de
trminos primitivos que son an ms
bsicos.
BETA: As, que algunos de sus
trminos perfectamente conocidos son
mejor conocidos que otros!
MAESTRO: Beta, no le ponga pegas
constantemente a Epsilon. Fije su
atencin en lo que hace y no en cmo
interpreta lo que hace. Adelante,
Epsilon.
EPSILON: Si examinamos ms
detenidamente mi ltima formulacin del
teorema, veremos que es un teorema
acerca del nmero de dimensiones de
ciertos
espacios
vectoriales
determinados por la matriz de
incidencia.
BETA: Qu?
EPSILON:
Considere
nuestro
concepto de cadena, digamos una 1cadena. Es esto:
x11 + x22 + + xEE,
donde 1 E son las aristas y x1 xE
son o 0 o 1.
Es fcil ver que las 1-cadenas
forman un espacio vectorial Edimensional sobre el campo de clases
residuales mdulo 2. En general, las kcadenas forman espacios vectoriales Nk dimensionales sobre el campo de clases
residuales mdulo 2. (Donde Nk
representa el nmero de k-politopos.)
AD
1
0
0
1
BD
0
1
0
1
BCD
CD
0
0
1
1
ACD
BC
0
1
1
0
ABD
AC
1
0
1
0
ABC
AB
1
1
0
0
AD
BD
CD
BC
AC
AB
0
1
1
1
0
0
3
BCD
ACD
ABD
ABC
ABCD
1
1
1
1
1
0
1
0
1
0
1
1
0
0
0
1
0
0
0
1
1
1
j-
es un k-
es un k-circuito
indudable certeza[209].
ALFA: Pero, fjese, Epsilon; si
hubisemos aceptado la concepcin
rival de que los vrtices no poseen
frontera, la matriz 0, por ejemplo en el
caso del tetraedro, hubiera sido
0
A
0
B
0
C
0
D
0
Fig. 29.
verdaderas.
Cmo
podran ser
inconsistentes?
MAESTRO: Aprecio sus dudas, pero
yo siempre prefiero un contraejemplo a
cualquier coleccin de dudas.
GAMMA: Me pregunto si mi cilindro
no refutar este nuevo teorema.
EPSILON: Por supuesto que no. En el
cilindro, el conjunto vaco no limita y,
consiguientemente, 0 1.
GAMMA: Ya veo. Est usted en lo
cierto. Este argumento, puesto en sus
trminos
perfectamente
familiares,
claros y distintos, me ha convencido
inmediatamente.
EPSILON: Comprendo su sarcasmo!
En una ocasin anterior puso usted en
conjuntos, y no en absoluto el
significado de sus trminos especficos.
A tales pruebas, las denominar
pruebas formales, puesto que no
dependen en absoluto del significado de
los trminos especficos. Ciertamente, el
grado de formalidad depende de los
trminos no especficos. El carcter
perfectamente conocido de esos
trminos, que denominar trminos
formativos,
resulta
realmente
importante. Fijando su significado,
podemos enunciar qu es lo que se
puede aceptar como contraejemplo y qu
es lo que no. Podemos as regular la
marea de contraejemplos. Si no hay
contraejemplos del teorema, diremos
APNDICE 1
OTRO EJEMPLO DEL
MTODO DE PRUEBAS
Y REFUTACIONES
estadios[220]:
(1) Conjetura primitiva.
(2) Prueba (un experimento mental
o
argumento
aproximado,
que
descompone la conjetura primitiva en
subconjeturas o lemas).
(3)
Surgen
contraejemplos
globales (contraejemplos de la
conjetura primitiva).
(4) Se reexamina la prueba: el
lema culpable, respecto al que el
contraejemplo
global
es
un
contraejemplo
local,
queda
identificado. Puede que este lema
culpable baya permanecido oculto
anteriormente o puede que no baya
sido correctamente identificado. Ahora
Cauchy
lo
hubiese
probado
impecablemente.
Cauchy tiene que haber llegado a la
misma conclusin que Abel, ya que en el
mismo ao, sin abandonar, naturalmente,
su caracterizacin de la continuidad, dio
una prueba de la convergencia de las
series de Fourier[230]. Con todo, debi
de sentirse en uha posicin muy
incmoda. El segundo volumen del
Cours dAnalyse nunca se public. Y, lo
que resulta an ms sospechoso, no sac
ms ediciones del primer volumen,
permitiendo que su alumno Moigno
publicase sus notas de clase, una vez
que la demanda de un libro de texto se
hubiera hecho demasiado grande[231].
y
.
Entonces,
el
los
contraejemplos
por tanto,
3. Mtodo de exclusin de
excepciones de Abel
Tan slo en una nota plantea Abel el
problema, que tengo por el problema
bsico fundamental de su clebre
artculo sobre las series binomiales[236].
Escribe: Me parece que hay algunas
excepciones al teorema de Cauchy, y
pone inmediatamente el ejemplo de la
serie[237]
no percibi al principio la
distincin entre convergencia
simple y convergencia uniforme
y se sinti capaz de demostrar
que toda serie convergente de
funciones continuas tiene como
suma una funcin continua. El
error fue casi inmediatamente
puerto de manifiesto por Abel,
quien demostr a la vez que toda
serie completa [?] es continua en
el interior de su intervalo de
convergencia, por medio del
razonamiento que se ha hecho
clsico
y
que
utiliza
esencialmente, en este caso
particular,
la
idea
de
excepciones[250].
En la edicin 1865 del Larousse, un
autor
(probablemente
Catalan)
caracteriz de un modo ms bien
sarcstico
la
bsqueda
de
contraejemplos de Cauchy. Escriba:
Tan slo ha introducido en la
ciencia doctrinas negativas de
hecho, lo que consigue descubrir
es casi siempre el aspecto
negativo de la verdad; eso es lo
que se preocupa por poner en
evidencia:
si
hubiese
descubierto algo de oro en la
tiza, habra anunciado al mundo
que
la
tiza
no
est
exclusivamente formada por
carbonato de cal.
Parte de una carta que Abel escribi
a Holmbo constituye un elemento de
juicio adicional en favor de este nuevo
talante escrutador de la escuela de
Cauchy:
He comenzado a examinar
las ms importantes reglas que
(en el presente) sancionamos
ordinariamente a este respecto y
a mostrar en que casos no
resultan adecuadas. Esto va
oportunamente
desechadas
como
pruebas no rigurosas, esto es, que no
constituyen pruebas en absoluto[255]. La
argumentacin inductiva era falible y.
por tanto, era entregada a las llamas.
Los argumentos deductivos ocuparon
su lugar, porque se consideraban
infalibles. I lago desaparecer toda
incertidumbre, anunciaba Cauchy[256].
Contra este trasfondo ha de evaluarse la
refutacin riel teorema rigurosamente
probado por Cauchy. Adems, esa
refutacin no era un caso aislado. La
prueba rigurosa que dio Cauchy de la
frmula de Euler fue seguida de igual
manera, como hemos visto, por artculos
expresando
las
conocidsimas
excepciones.
Slo haba dos salidas: o revisar
toda la filosofa infalibilista de las
matemticas subyacentes al mtodo
eucldeo, o bien ocultar de algn modo
el problema. Veamos primero qu
hubiera entraado la revisin del
enfoque
infalibilista.
Ciertamente,
habra que abandonar la idea de que
todas la matemticas se pueden reducir a
trivialidades
indubitablemente
verdaderas, de que hay enunciados
sobre los que nuestra intuicin no puede
equivocarse. Habra que abandonar la
idea de que nuestra intuicin deductiva,
inferencial, es infalible. Tan slo el
reconocimiento de estas dos cosas
Nota
En este apndice no se han discutido
los estadios suplementarios 5, 6 y 7 (cf.
APNDICE 2
EL ENFOQUE
DEDUCTIVISTA FRENTE
AL ENFOQUE
HEURSTICO
1. El enfoque deductivista
La
metodologa
eucldea
ha
desarrollado un cierto estilo necesario
de presentacin. Me referir a l como
al estilo deductivista. Este estilo
intentmoslo.
que
todas
las
curvas
son
rectificables[279]. El sptimo estadio
nos lleva a la integral de Lebesgue y a la
moderna teora de la medida.
Nota histrica
A la historia contada en el texto se
pueden
aadir
algunos
detalles
heursticamente interesantes. Dirichlet
estaba convencido de que los
contraejemplos locales de sus lemas
segundo y tercero no eran globales;
estaba convencido, por ejemplo, de que
todas
las
funciones
continuas,
independientemente del nmero de sus
mximos
y
mnimos,
resultan
degenerados.
BIBLIOGRAFA
View of Mathematics, en A. D.
Aleksandrov, A. N. Kolmogorov y
M.
A.
Lavrentev
(eds.):
Mathematics:
its
Content,
Methods
and
Meaning.
(Traduccin inglesa de S. H.
Gould, K. A. Hirsch y T. Bartha.
Cambridge, Massachusetts: M.I.T.
Press, 1963). [Hay traduccin
castellana de Manuel Lpez
Rodrguez: La Matemtica: su
contenido, mtodo y significado,
Madrid: Alianza Universidad,
1973.]
Ambrose, A. [1959], Proof and the
Theorem Proved, Mind, 68, pgs.
435-445.
Press.
Clairaut. A. G. [1741], Elments de
Gometrie. Pars: Gauthier-Villars.
Copi, I. M. [1949], Modern Logic and
the Synthetic A Priori:, The
Journal of Philosophy, 46, pgs.
243-5.
Copi, I. M. [1950], Gdel and the
Synthetic A Priori: a Rejoinder,
The Journal of Philosophy, 47,
pgs. 633-6.
Crelle, A. L. [1826-7], Lehrbuch der
Elemente der Geometric, vols. 1 y
2, Berln: Reimer.
Curry, H. B. [1951], Outlines of a
Formalist
Philosophy
of
Mathematics. Amsterdam: North
Holland.
Darboux, G. [1874a], Lettre Houel,
12 Janvier. (Citada en F. Rostand:
Souci dExactitude et Scrupules
des
Mathmaticiens.
Pars:
Librairie Philosophique J. Vrin,
1960, pg. 11.)
Darboux, G. [1874b], Lettre Houel,
19 Fvrier. (Citado en F. Rostand:
Souci dExactitude et Scrupules
des
Mathmaticiens.
Pars:
Librairie Philosophique J. Vrin,
1960, pg. 194.)
Darboux, G. [1875], Mmoire sur les
Fonctions Discontinues, Anuales
Scientifiques de Lcole Nrmale
Suprieur, segunda serie, 4, pgs.
57-112.
Darboux, G. [1883], Lettre Houel, 2
Septembre. (Citado en F. Rostand:
Souci dExactitude et Scrupules
des
Mathmaticiens.
Pars:
Librairie Philosophique J. Vrin,
1960, pg. 261.)
Denjoy, A. [1919], LOrientation
Actuelle des Mathmatiques,
Revue du Mois, 20, pgs. 18-28.
Descartes, R. [1628], Rules for the
Direction of the Mind. Traduccin
inglesa en E. S. Haldane y G. R. T.
Ross
(eds.):
Descartes
Philosophical Works, vol. 1,
Cambridge: Cambridge University
Press, 1911. [Hay traduccin
157-69.
Dirichlet, P. L. [1837], ber die
Darstellung Ganz Villkrlicher
Funktionen durch Sinus- und
Cosinusreihen, en H. W. Dove y L.
Moser (eds.): Repertorium der
Physik, 1, pgs. 152-74.
Dirichlet, P. L. [1853], Letter to Gauss,
20 February, 1853, en L.
Kronecker (ed.): Werke, vol. 2,
pgs. 285-7. Berln: Reiner, 1897.
du Bois-Reymond, P. D. G. [1875],
Beweis, das die Coefficienten der
Trigonometrischen
Reihe
die werte
Darstellungsformeln,
Abbandlungen der Kniglichbajerischen
Akademie
der
Wissenschaften,
MathematischPhysikalischen Classe, 12, 2, pgs.
i-xxxiv y 1-102.
du Bois-Reymond, P. D. G. [1879],
Erluterungen
zu
den
Anfangsgrnden
der
Variationenrechnung,
Mathematische Annalen, 15, pgs.
282-315, 564-76.
du Bois-Reymond, P. D. G. [1885],
ber den Begriff der Lnge einer
Curve, Acta Mathematica, 6,
pgs. 167-8.
Dyck, W. [1888], Beitrge zur Analysis
Eulerschen
Lehrsatze
von
Polyedern, Journal fr die Reine
und Angewandte Mathematik, 8,
pgs. 13-20.
Heyting, A. [1939], Les Fondements
des Mathmatiques du Point de Vue
Intuitioniste, en F. Gonseth:
Philosophie Mathmatique, Pars:
Hermann, pgs. 73-5.
Heyting, A. [1956], Intuitionism: An
Introduction. Amsterdam: NorthHolland. [Hay versin castellana
de Vctor Snchez de Zavala:
Intuicionismo, Madrid: Tecnos,
1976.]
Hilbert, D. y Cohn-Vossen, S. [1932],
nscbauliche Geometrie. Berln:
Eulershen
Satzes
von
den
Polyedern,
Archiv
der
Mathematik und Physik, 63, pgs.
100-3.
Husserl,
H.
[1900],
Logische
Untersuchungen, vol. 1. Tubinga:
Niemeyer, 1968. [Hay versin
castellana de Manuel Garca
Morente
y
Jos
Gaos:
Investigaciones Lgicas, Madrid:
Revista de Occidente, 1929.]
Jonquires, E. de [1890a], Note sur un
Point Fondamental de la Thorie
des Polydres, Comptes Rendus
des Sances de lAcadmie des
Sciences, 110, pgs. 110-15.
Jonquires, E. de [1890b], Note sur le
Methodology
of
Scientific
Research Programmes, en I.
Lakatos y A. Musgrave (eds.):
Cristicism and the Growth of
Knowledge,
Cambridge:
Cambridge University Press, pgs.
91-196. [Hay versin castellana de
Francisco Hernn: La falsacin y
la metodologa de los programas de
investigacin cientfica, en I.
Lakatos y A. Musgrave (eds.), La
Crtica y el desarrollo del
Conocimiento (Introduccin de
Javier Muguerza). Barcelona:
Grijalbo, 1975, pgs. 203-344.]
Landau, E. (1930), Grundlagen der
Analysis. Leipzig: Akademische
Verlagsgesellschaft.
Lebesgue, H. [1923], Notice sur le Vie
et les Travaux de Camille Jordan,
Memoires de lAcodmie de
lInstitute de France, 58, pgs. 3466. Reimpreso en H. Lebesgue,
Notices
dHistoire
des
Mathmatiques, Ginebra, pgs. 4065.
Lebesgue, H. [1928], Leons sur
lIntegration et la Recherche des
Fonctions
Primitives.
Pars:
Gauthier-Villars. (Segunda edicin
aumentada de la versin original de
1905.)
Legendre, A.-M. (1809), Elments de
Gometrie. Octava edicin. Pars:
de Mathmatiques, Pures et
Appliques, 3, pgs. 233-7.
Listing, J. B. [1861], Der Census
Rumlicher
Complexe,
Abhandlungen der Kniglichen
Gesellschaft der Wissenschaften
zu Gttingen, 10, pgs. 97-182.
Loeve, M. (1955), Probability Theory.
Nueva York: Van Nostrand.
Matthiessen, L. [1863], ber die
Scheinbaren Einschrnkungen des
Eulerschen Satzes von den
Polyedern,
Zeitschrift
fr
Mathematik und Physik, 8, pgs.
449-50.
Meister, A. L. F. [1771], Generalia de
Genesi Figurarum Planarum et inde
castellana de N. Mguez, El
desarrollo
del
conocimiento
cientfico, Buenos Aires: Paidos.
1967.]
Popper, K. R. [1963b], Science:
Problems,
Aims,
Responsabilities, Federation of
American
Societies
for
Experimental Biology: Federation
Proceedings, 22, pgs. 961-72.
Popper, K. R. [1972], Objective
Knowledge. Oxford Universty
Press. [Hay versin castellana de
Carlos
Solis:
Conocimiento
objetivo, Madrid: Tecnos, 1974.]
Pringsheim, A. [1972], Gundlagen der
Allgemeinen Functionenlehre, en
M. Burkhardt, W. Wutinger y R.
Fricke (eds.): Encyklopdie der
Mathematischen Wissenschaften,
vol. 2. Erste Teil, Erste Halbband,
pgs. 1-53. Leipzig: Teubner.
Quine, W. V. O. [1951], Mathematical
Logic.
Edicin
revisada.
Cambridge,
Massachusetts:
Harvard University Press. [Hay
versin castellana de Jos Hierro
S.-Pescador: Lgica Matemtica,
Madrid: Revista de Occidente,
1972.]
Ramsey, F. P. [1931], The Foundations
of Mathematics and Other Essays.
Editado por R. B. Braithwaite.
Londres: Kegan Paul.
Reihe,
Abhandlungen
der
Kniglichen
Gesellshaft
der
Wissenschaften zu Gtfingen, 13,
pgs. 87-132.
Robinson, R. [1936], Analysis in
Greek Geometry, Mind, 45, pgs.
464-473.
Robinson, R. [1953], Platos Earlier
Dialectic.
Oxford:
Oxford
University Press.
Rudin, W. [1953], Principies of
Mathematical Analysis. Primera
edicin. Nueva York: McGrawHill.
Russell, B. [1901], Recent Work in the
Philosophv ot Mathernatics, The
International
Monthly,
3.
Mathematisch-Physikalischen
Klasse der Kniglich Bayerischen
Akademie der Wissenschaften, 5,
pgs. 381-93.
Sexto Emprico, [c. 190], Against the
Logicians. Texto griego con
traduccin inglesa de R. G. Bury.
Londres: Heinemann, 1933.
Sommerville, D. M. Y. [1929], An
lntroduction to the Geometry of N
Dimensions. Londres: Dover,
1958.
Steiner, J. [1826], Leichter Beweis
eines Stereometrischen Satzes von
Euler, Journal fr die Reine und
Angewandte Mathematik, 1, pgs.
364-7.
fueron
reunidos
y
publicados
pstumamente
en
Pruebas
y
refutaciones (1976). En ellos discute la
formacin de conceptos matemticos
mediante prueba y anlisis. Esta ruptura
radical con los enfoques clsicos de la
filosofa de las matemticas despert
suficiente inters como para que Kitcher
y Aspray consideraran a Lakatos el
iniciador de una nueva tradicin
revolucionaria en el campo (An
Opinionated Introduction, en History
and
Philosophy
of
Modern
Mathematics, 1988). En 1959 Lakatos
obtuvo una plaza permanente en el
Departamento de Filosofa, Lgica y
Mtodo Cientfico de la London School
Notas
[1]
[2]
[3]
[4]
[5]
[6]
[7]
[8]
[9]
[10]
[11]
Euler
contrast
bastante
concienzudamente la conjetura en busca
de consecuencias. La comprob para el
caso de prismas, pirmides y dems.
Podra haber
aadido que la
proposicin de que slo hay cinco
cuerpos regulares es tambin una
consecuencia de la conjetura. Otra
consecuencia probable es la proposicin
hasta ahora corroborada de que cuatro
colores bastan para pintar un mapa.
La fase de conjeturar y contrastar en el
caso de V - A + C = 2 se discute en
Plya ([1954b], vol. 1, las cinco
primeras secciones del tercer captulo,
[12]
[13]
[14]
[15]
[16]
[17]
[18]
[19]
[20]
[21]
Encontramos implcitamente la
Definicin 2 en uno de los artculos de
Jonquires ledo ante la Academia
Francesa, en contra de aquellos que
pretendan refutar el teorema de Euler.
Estos artculos son un tesoro de tcnicas
de exclusin de monstruos. Truena
contra el monstruoso par de cubos
encajados de Lhuilier: Tal sistema no
es realmente un poliedro, sino un par de
poliedros diferentes, independientes el
uno del otro Un poliedro, al menos
desde el punto de vista clsico, merece
tal nombre tan slo si, antes de nada, un
punto puede moverse continuamente por
[22]
[23]
[24]
[25]
[26]
[27]
La pretensin de Gamma, en el
sentido de que puede definir el rea de
los polgonos estrellados, no es un farol.
Algunos de aquellos que defendan el
concepto
amplio
de
polgono
resolvieron el problema proponiendo un
concepto ms amplio de rea de un
polgono. Hay un modo especialmente
obvio de hacerlo en el caso de los
polgonos
estrellados
regulares.
Podemos tomar el rea del polgono
como la suma de las reas de los
tringulos issceles que unen el centro
del crculo inscrito o circunscrito con
los lados. En este caso, naturalmente,
[28]
Tambin
encontramos
el
Contraejemplo 4 en el articulo clsico
de Lhuilier [1812-13a], en la pg. 185;
una vez ms, Gergonne aadi que lo
conoca. Sin embargo, no lo conoca
catorce aos ms tarde Grunert
((1827]), ni tampoco Poinsot cuarenta y
cinco aos despus ([1858], pg. 67).
<<
[29]
[30]
[31]
La Definicin 5 la propuso el
infatigable excluidor de monstruos E. de
Jonquires, a fin de quitarse de encima
el poliedro de Lhuilier con un tnel (el
marco de cuadro): Este complejo
polidrico tampoco es un verdadero
poliedro en el sentido ordinario del
trmino, ya que si tomamos un plano
cualquiera que pase por un punto
arbitrario del interior de uno de los
tneles, de modo que atraviese por
medio del slido, la seccin resultante
estar compuesta por dos polgonos
distintos completamente desconexos
entre s. Eso es algo que puede ocurrir
[32]
[33]
[34]
[35]
<<
[36]
[37]
[38]
[39]
[40]
[41]
[42]
[43]
[44]
[45]
[46]
[47]
[48]
[49]
[50]
[51]
[52]
[53]
[54]
[55]
[56]
[57]
[58]
Este
ltimo
lema
es
innecesariamente fuerte. Para la prueba
hubiese bastado con sustituirlo por el
lema de que para el entramado plano
triangular que resulta del estirado y
triangulacin, V - A + C = 1. Cauchy no
parece haberse dado cuenta de la
diferencia. <<
[59]
[60]
[61]
[62]
[63]
[64]
[65]
La exclusin de monstruos en
defensa del teorema constituye un patrn
importante en matemticas informales:
Qu es lo que est mal en los
ejemplos en los que falla la frmula de
Euler? Qu condiciones geomtricas
que hagan ms preciso el significado de
V, A y C asegurarn la validez de la
frmula de Euler? (Plya [1945], 1,
ejercicio 29). El cilindro se da en el
ejercicio 24, siendo la respuesta:
una arista debera terminar en
esquinas (pg. 225). Plya lo
formula en general: La situacin
frecuente en matemticas es la siguiente:
[66]
[67]
[68]
[69]
[70]
[71]
[72]
cuando
se
reconozca
que
el
conocimiento carece de fundamentos. <<
[73]
[74]
[75]
[76]
[77]
[1963a], passim.)
La analoga entre ideologas polticas y
teoras cientficas es, por tanto, ms
estrecha de lo que normalmente se cree:
las ideologas polticas que pueden
comenzar discutindose (y quiz
aceptndose tan slo bajo presin),
pueden convertirse en conocimiento
bsico incuestionable en una sola
generacin: los crticos se olvidan
(quiz se ejecutan) hasta que una
revolucin vindica sus objeciones. <<
[78]
[79]
[80]
[81]
[82]
[83]
[84]
[85]
[86]
[87]
[88]
[89]
[90]
[91]
[92]
[93]
[94]
[95]
[96]
[97]
[98]
[99]
[100]
[101]
Ibid. <<
[102]
[103]
[104]
[105]
[106]
D. M. Y. Sommerville ([1929],
pgs. 143-4). <<
[107]
[108]
[109]
[110]
[111]
[112]
[113]
[114]
[115]
[116]
[117]
[118]
[119]
[120]
[121]
[122]
[123]
[124]
[125]
[126]
[127]
[128]
[129]
[130]
[131]
[132]
[133]
[134]
[135]
[136]
[137]
[138]
[139]
<<
[140]
[141]
de la construccin; la consideramos
entimemtica debido tan slo a la
retrospeccin: slo ms tarde el
aumento de contenido se convirti en
un smbolo no de la potencia, sino de la
debilidad de una inferencia. Esta lgica
informal antigua era enrgicamente
defendida por Descartes, Kant y
Poincar; todos ellos despreciaban la
lgica formal aristotlica, eliminndola
por estril e irrelevante (alabando al
mismo tiempo la infalibilidad de la frtil
lgica informal). <<
[142]
[143]
[144]
[145]
[146]
[147]
[148]
[149]
[150]
[151]
Un ejemplo interesante de
definicin incluidora de monstruos viene
dado por la definicin de Poinsot de
convexidad, que incluye los poliedros
estrellados en la clase respetable de los
cuerpos convexos regulares [1810]. <<
[152]
[153]
[154]
[155]
En su [1874a], Darboux se
aproxim mucho a esta idea. Ms tarde,
Poincar la formul claramente: las
matemticas son el arte de dar el mismo
nombre a cosas distintas Cuando el
lenguaje est bien elegido, nos asombra
saber que todas las pruebas hechas para
determinado
objeto
se
aplican
inmediatamente a muchos objetos
nuevos; nada hay que cambiar, ni
siquiera las palabras, puesto que los
nombres se han hecho los mismos
([1908], pg. 375). Frchet lo llama un
principio
de
generalizacin
extremadamente til y lo formula como
[156]
[157]
[158]
[159]
[160]
[161]
[162]
[163]
[164]
[165]
[166]
[167]
[168]
Bastantes
matemticos
son
incapaces de distinguir lo trivial de lo
que no lo es. Ello resulta especialmente
molesto cuando la falta de sensibilidad
para lo relevante se une a la ilusin de
que uno puede construir una frmula
perfectamente completa que cubra
todos los casos concebibles (cf. la nota
[138]). Tales matemticos pueden
pasarse aos y aos trabajando en la
generalizacin ltima de una frmula,
para terminar extendindola con unas
pocas correcciones triviales. El
excelente matemtico J. C. Becker
suministra un divertido ejemplo: tras
[169]
[170]
[171]
[172]
[173]
[174]
[175]
[176]
[177]
[178]
[179]
[180]
[181]
[182]
[183]
La expresin de Bartley es
retirada al compromiso [1962].
Investiga el problema de si una defensa
racional del racionalismo crtico es
posible, fundamentalmente con respecto
al conocimiento religioso; pero los
patrones del problema son los mismos
por lo que respecta al conocimiento
matemtico. <<
[184]
[185]
[186]
[187]
[188]
[189]
[190]
[191]
En el anlisis de la prueba no se
impone ninguna limitacin sobre
herramientas.
Podemos
utilizar
cualquier lema, cualquier concepto. Esto
es cierto en cualquier teora informal, en
desarrollo, donde la resolucin de
problemas es una cuestin de lucha
libre. En una teora formalizada, las
herramientas
estn
completamente
prescritas en la sintaxis de la teora. En
el caso ideal (donde hay un
procedimiento
de
decisin)
la
resolucin de problemas es un ritual. <<
[192]
[193]
[194]
[195]
[196]
[197]
Ibid. <<
[198]
[199]
[200]
[201]
[202]
[203]
[204]
[205]
[206]
[207]
[208]
[209]
[210]
[211]
<<
[212]
[213]
[214]
[215]
[216]
[217]
[218]
La importancia metodolgica de
esta diferencia an no se ha elaborado
adecuadamente. Pascal, el gran defensor
de las definiciones abreviadoras y el
gran rival de la teora esencialista de la
definicin de Aristteles, no se percat
de que abandonar el esencialismo era de
hecho un abandono del programa
eucldeo global. En el programa
eucldeo hay que definir tan slo
aquellos trminos que resultan un poco
oscuros. Si eso consiste tan slo en
sustituir un trmino vago por otro
preciso, arbitrariamente elegido, se est
abandonando en la prctica el campo de
[219]
matemticas. La interpretacin de la
historia de las matemticas como una
bsqueda de una teora dominante puede
arrojar nueva luz sobre la historia de
este campo, y tal vez se pueda mostrar
que el descubrimiento gdeliano de
que la aritmtica es la teora dominante
natural de las matemticas ha llevado
directamente a la actual etapa de
investigacin y ha abierto nuevas
perspectivas tanto en la aritmtica como
en la metamatemtica.
La moderna inclusin de la teora de las
probabilidades en la teora de la medida
constituye otro ejemplo de una notable
traduccin eucldea.
[220]
[221]
[222]
[223]
[224]
[225]
1972). <<
[226]
[227]
[228]
[229]
[230]
[231]
[232]
[233]
[234]
[235]
[236]
[237]
[238]
validez.
Esta restriccin cartesiana autoimpuesta
a la serie de potencias absolutamente
clara explica el particular inters de
Abel por el tratamiento riguroso del
desarrollo de Taylor: El teorema de
Taylor, la base de todo el clculo
infinitesimal,
no
est
mejor
fundamentado. Slo he hallado una
demostracin rigurosa, que es la de
Cauchy en su Rsum des leons sur le
calcul
infinitesimal,
donde
ha
demostrado que tendremos
[239]
[240]
[241]
[242]
[243]
[244]
alguno. <<
[245]
[246]
[247]
[248]
[249]
[250]
[251]
[252]
[253]
[254]
[255]
[256]
[257]
[258]
veces
aparece
una
[259]
[260]
[261]
An no se ha constatado
suficientemente que la educacin
matemtica y cientfica actual es un
semillero de autoritarismo, siendo el
peor enemigo del pensamiento crtico e
independiente.
Mientras
que
en
matemticas este autoritarismo sigue el
patrn deductivista que se acaba de
describir, en la ciencia opera mediante
el patrn inductivista.
En la ciencia, existe una larga tradicin
inductivista. Un artculo ideal escrito en
ese estilo comienza con una concienzuda
descripcin del aparato experimental,
seguida de la descripcin del
[262]
[263]
[264]
[265]
Desgraciadamente,
se
trata
de
contraejemplos inventados, ya que de
hecho son ejemplos de lo listos que son
los matemticos al incluir en el teorema
todas las hiptesis. Mas no dice de
dnde vienen esas hiptesis; no dice que
vienen de las ideas de prueba y que el
teorema no surge de la cabeza del
matemtico al modo en que Palas Atenea
sali totalmente armada de la cabeza de
Zeus. Este uso de la palabra
contraejemplo no debiera engaarnos,
hacindonos esperar un estilo falibilista.
Nota de los Editores: Todas las
consideraciones de Lakatos acerca de la
obra de Rudin se basan en la primera
edicin del libro. No todos los pasajes
[266]
[267]
entre
proposiciones)
independientemente
de
que
los
reconozcamos; por tanto, podemos
descubrir (ms bien que inventar)
problemas intelectuales. Pero, Lakatos
lleg a creer que esos problemas no
exigan una solucin ni dictaban su
propia solucin; por el contrario, para
su solucin se precisa del ingenio
humano (que puede tener xito o no
tenerlo). Este punto de vista est
presagiado en la crtica a Marx de la
nota anterior. <<
[268]
[269]
[270]
[271]
[272]
[273]
Desarrollable en series de
Fourier quiere decir desarrollable en
una serie trigonomtrica con los
coeficientes de Fourier. <<
[274]
[275]
[1876].) <<
[276]
La introduccin de un concepto a
partir de la nada es una operacin
mgica a la que se recurre muy a
menudo en la historia escrita al estilo
deductivista! <<
[277]
[278]
[279]
[280]
[281]
[282]
[283]
Ibid. <<
[284]