Pruebas y Refutaciones

Imre Lakatos

Daniel Stiven Bermudez Rojas

Cod. 20141167048

Fidel Mosquera Mosquera

Universidad Distrital Francisco José De Caldas

Facultad De Ciencias Y Educación
Proyecto Curricular de Matemáticas
Ciencia y Sociedad
Bogotá DC. 2014
 Pruebas y Refutaciones
(Imre Lakatos)

Visión sintáctica:

Pruebas y refutaciones de Imre Lakatos es un libro sobre la filosofía de la ciencia

de las matemáticas el cual tiene como finalidad “atacar” al formalismo “El último
eslabón de una larga cadena de filosofías dogmáticas de las matemáticas”1

Pruebas y refutaciones es un libro sobre historia de las matemáticas. Una historia

exclusivamente interna que pretende una reconstrucción racional del proceso de
conjeturas, pruebas y refutaciones que a lo largo del siglo XIX discute la validez de
lo inicial conjetura ingenua de Euler sobre la relación entre vértices, caras y aristas
de un poliedro, lo que nos permite asistir al cruce de ideas que está en los
orígenes de la Topología. Pero la historia de Lakatos no es una narración ni un
análisis estructural sino una obra de teatro, representada en este caso por un
profesor y sus alumnos (una clase más bien aventajada, como reconoce el propio
Lakatos) que son quienes escenifican en un tiempo limitado la discusión.

Para Lakatos, las matemáticas “no se desarrollan mediante un monótono aumento

del número de teoremas indubitablemente establecidos, sino mediante la
incesante mejora de las conjeturas, gracias a la especulación y a la crítica,
siguiendo la lógica de pruebas y refutaciones”2, y como ejemplo de la validez de
su planteamiento escenifica el desarrollo de la conjetura de Euler.

Es cierto que en la historia real las cosas no suceden linealmente, como en el

teatro de Lakatos, pero ello no es un dato en contra. Lo que interesa es que “la
incesante mejora de las conjeturas, la especulación y la crítica” ocurrieron y
ocurren realmente.

En su libro Lakatos plantea:

1
Imre Lakatos, Pruebas y refutaciones. Cambridge: Alianza Editorial S.A. 1976 pág. 19
2
Ibid. pág. 21
  La ciencia se distingue de las demás ramas del conocimiento porque las
teorías pueden ser "refutadas" al establecer unos "contraejemplos locales y
globales”

 Lakatos consideraba que la ciencia era incapaz de alcanzar la "verdad", ya

que cada nueva teoría era capaz de explicar más cosas que la anterior, y
sobre todo, a predecir hechos nuevos que nadie antes ni siquiera se había
planteado.

 Critica la forma tradicional de enseñanza de la matemática, es decir:

enunciar una larga lista de axiomas y lemas, enunciar un teorema, y
concluir con una “brillante” demostración del teorema, cuando en realidad el
orden debería ser inverso.

Lo que Lakatos trato de establecer es que ningún teorema de la “matemática

informal” y que no se debe pensar que un teorema es verdadero solo por que aun
no se haya encontrado un contraejemplo. Una vez que se encuentra un
contraejemplo, el teorema se debe ajustar, posiblemente modificando el dominio
de su validez.

El consideraba que la comunidad matemática ejerce una dialéctica para decidir las
pruebas matemáticas que son validas y aquellas que no lo son. Es por ello que
estaba en desacuerdo con la concepción “formalista”.

Como manera de introducción es necesario definir algunos conceptos.

Prueba: Para mí era equivalente a demostración. Es cierto que esta segunda

palabra es más contundente pero la expresión «queda probado el teorema» se
emplea habitualmente en el sentido de que ya no quedan dudas sobre su validez.
Para Lakatos, “prueba” es “un experimento mental que sugiere una
descomposición de la conjetura inicial en subconjeturas o lemas, incorporándola
así a un cuerpo de conocimiento tal vez muy lejano”.

Contraejemplos locales: Atacan a la prueba, no a la conjetura.

Contraejemplos globales: Atacan directamente a la conjetura pero no a la prueba.
Curiosamente son más fáciles de solventar que los locales. Los contraejemplos no
pueden ser locales y globales a la vez.

Deducción euclídea: Se sabe de antemano lo que se va a demostrar. No produce

conocimiento nuevo. Es una forma de presentación de resultados, no un método
de creación.

Juicio Crítico

Es interesante ver que Lakatos muestra que plantear un teorema no es algo que
salga de la nada, ya que es un proceso que conlleva tiempo y dedicación para
satisfacer las necesidades de la ciencia en la que se desarrolla, además es algo
que siempre va estar bajo el juicio crítico de otros científicos, que trataran de
derrumbar el teorema solo con el fin de mejorar la conjetura inicial para
transformarla en un genuino teorema.

Cambia la forma de ver las matemáticas, todo gracias a que para mostrar el
desarrollo de estas se basa en la historia.

Es cierto que en la historia real las cosas no suceden linealmente, como en el

teatro de Lakatos, pero ello no es un dato en contra. Lo que interesa es que “la
incesante mejora de las conjeturas, la especulación y la crítica”3 ocurrieron y
ocurren realmente.

Llega a hablar de “la absoluta necesidad impuesta sobre todo matemático que se
preocupe por la integridad intelectual”4 de presentar sus razonamientos en forma
axiomática. Y se ve reflejado en varias demostraciones de Euclides en las cuales
afirma que una línea es igual a otra, que un cuadro “y” tiene la misma superficie
que un triangulo “x”

3
Imre Lakatos, Pruebas y refutaciones. Cambridge: Alianza Editorial S.A. 1976 pág. 52
4
Ibid. Pág. 17
Este libro presenta una concepción progresista y refrescante de las matemáticas
es sostenida por un autor como Lakatos muy conservador en su valoración de las
relaciones entre ciencia y sociedad. Para él, “la ciencia, como tal, no tiene ninguna
responsabilidad social”5. Una defensa tan radical de la autonomía de la ciencia es
probablemente coherente con el internalismo de pruebas y refutaciones, pero en
este momento no es bueno establecer una relación determinista.

Conclusión:

Para concluir todo lo dicho anteriormente, el desarrollo de las matemáticas se

puede entender mejor desde el punto de vista histórico, ya que podemos ver que
toda ciencia se basa en pruebas y errores lo que conllevan al final de su proceso a
la verdad de la ciencia.

Pruebas y Refutaciones no es un texto fácil. Lakatos es un escritor duro, matiza

hasta el extremo, y los temas sobre los que escribe no son precisamente triviales.
El libro deja huella, provoca y fuerza el pensamiento de quien lo lee y es muy difícil
de abarcar en su totalidad. A pesar de ser un texto de historia y filosofía internas
de las matemáticas, resulta interdisciplinar (conceptual, metodológica y
culturalmente) en su interinidad.

Estamos ante una obra refinada y exquisita. El primer acercamiento produce una
sensación de plenitud cultural, de entusiasmo ante la poderosa demostración del
amplio bagaje intelectual del autor.

5
Imre Lakatos, Pruebas y refutaciones. Cambridge: Alianza Editorial S.A. 1976 pág. 63
Bibliografía

Imre Lakatos, Pruebas y refutaciones. Cambridge: Alianza Editorial S.A. 1976

Cibergrafia

http://www.buenastareas.com/ensayos/Imre-Lakatos/4349876.html

http://divulgamat2.ehu.es/divulgamat15/index.php?option=com_content&view=artic
le&id=9172:pruebas-y-refutaciones-la-la-del-descubrimiento-
matemco&catid=53:libros-de-divulgaciatemca&directory=67

http://pageegap.blogspot.com/2008/01/pruebas-y-refutaciones-imre-lakatos.html

http://centrodeartigos.com/articulos-noticias-consejos/article_131505.html

http://revistasuma.es/IMG/pdf/30/125-130.pdf