[escepticos] Sondeo elecciones
Pepe Arlandis
pepe.arlandis en gmail.com
Lun Dic 16 20:15:55 WET 2013
El 16 de diciembre de 2013, 17:15, German Perez-Gandaras <
singladura44 en gmail.com> escribió:
> Es de aquí que viene lo de la prueba extraordinaria para
> la afirmación extraordinaria.
>
Es que en realidad, no se trata del valor semántico de la afirmación al
presentar la prueba sino de la dificultad, elegancia o cualquier otro
calificativo por el que dicha prueba es extraordinaria, en el sentido de
admirar el trabajo realizado para darla.
Por ejemplo: Hay una demosración del Teorema de Pitágoras, en la que se
presentan dos cuadrados, dentro de cada uno de los cuales hay cuatro
triángulos rectángulos iguales, dibujados de forma dististinta en cada
cuadrado, y en el texto solo aparece la palabra ¡mira! y es una
demostración completamente correcta que se entiende con unos conocimientos
elementales de Geometria. Es una demostración tan bella, que solo puedo
decir que es extraordinaria. Tenemos pues una prueba extraordinaria para
una afirmación ordinaria.
Afirmación extraordinaria, en su momento, ahora es ordinaria, El Teorema de
Gödel, y su demostración es tan extraordinaria que por ejemplo el libro
"Introducción a la metamatemática" de S.C.Kleene de casi 500 páginas es un
manual de metamatemática cuya única aplicación práctica es ir aplicando los
conocimientos que se aprenden para poder hacer la demostración del teorema
de Gödel y si no quieres llamarla extraordinaria deberás utilizar un
sinónimo.
Hace años un compañero de promoción me dijo: "Creo que he encontrado una
buena ordenación del conjunto de los reales" le contesté "La de virguerías
que debes haber hecho para demostrar esa buena ordenación" la demostración
tenía un salto lógico que daba por evidente que no era tan evidente,
directamente no era cierta.
Tenemos pues:
a) Una afirmación ordinaria con una prueba extraordinaria.
b) Una prueba extaordinaria con una afirmación extraordinaria, o viceversa.
c) Una afirmación extraordinaria sin prueba extraordinaria y sin prueba.
Hay un montón de anécdotas, de descubrimientos científicos cuya consecución
ya sea por la dificultad o por la elegancia del método cuyas pruebas si no
quieres llamarlas extraordinarias las puedes llamar geniales, pero para mi
en este caso genial y extraordinario están muy relacionadas, es
extraordinaria porque es genial.
No solo se habla sobre el valor epistemológico de la Ciencia, tambien hay
otros valores de la misma, si hablamos de a nivel verdadero-falso todas las
demostraciones matemáticas son iguales, pero aparte de la verdad-falsedad
hay muchos matices para hablar acerca de las Matemáticas y en esos matices
la palabra extraordinario, tiene sentido.
salud
pdta: Perdonad el rollo, pero no lo he podido o sabido acortar más
Más información sobre la lista de distribución Escepticos