Gödel
Un genial investigador llamado Kurt Gödel logró demostrar en 1932 la imposibilidad de unas matemáticas desprovistas de contradicción. Con ello desmontó de una vez por todas una convicción hondamente arraigada en los matemáticos, quienes desde entonces se ven obligados a aceptar que les resulta imposible zafarse de la inconsecuencia.
"Perspectivas de guerra civil", Hans Magnus Enzensberger
"Perspectivas de guerra civil", Hans Magnus Enzensberger
1 Comments:
Aquí es fa imprescindible un comentari: això és estrictament fals.
El que va demostrar Gödel és (en un llenguatge planer i simplificant) que no és possible tenir unes matemàtiques alhora completes i lliures de contradicció, i completes vol dir que podem decidir si és certa qualsevol afirmació matemàtica. (És a dir, que donada una afirmació qualsevol, és possible deduïr dels axiomes o bé aquesta afirmació o la seva contrària.)
Els matemàtics han renunciat a la completesa, no a la no-contradicció!
(Tinc un petit dubte: l'error no deu pas ser degut a la traducció? Aquest bon senyor és autor d'un llibre de divulgació matemàtica...)
Publica un comentari a l'entrada
<< Home