Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Toms Ibarluca
Lo que es una explicacin completamente incorrecta del fenmeno de indecidibilidad. (Es curioso notar que el ttulo del recuadro reza sin embargo Indecibilidad. Quizs el traductor posiblemente inuido por la mencin de Wittgenstein en la pgina
anterior advirti misteriosamente que, cambiando proposiciones indecidibles por proposiciones indecibles, la frase poda cobrar algn sentido aunque fuera uno metafsico). Vale la pena
aclarar que para establecer la existencia de enunciados indecidibles hay que comparar el conjunto de los enunciados formulables
con el conjunto de los que son adems demostrables o refutables;
las funciones computables no pueden equipararse a ninguno de
estos conjuntos, y por lo dems la cuestin no se dirime con argumentos de cardinalidad. Por otro lado, puesto que el recuadro
alude a los trabajos de Turing, Church y otros sobre computabilidad, hay que pensar que el autor debe haber querido referirse a
la indecidibilidad en tanto propiedad de los sistemas axiomticos,
que es un concepto distinto; pero esta otra cuestin la imposibilidad de decidir algortimicamente cundo un enunciado es un
teorema tampoco se sigue del argumento dado.
Las secciones ms complicadas y quizs oscuras se hallan
concentradas en el captulo 4, aunque no exclusivamente. A veces
127
Toms Ibarluca
Estas observaciones no deben entenderse como contrarrestando los varios aspectos positivos antes mencionados. A ellos podemos agregar el amplio material historiogrco contenido en el
libro. Pero sobre todo hay que insistir en lo atractivo y lo estimulante de esta historia de mentes, ideas y problemas, y en lo grato de
encontrar quien la cuente.
Toms Ibarluca
Departmento de Matemticas, Facultad de Ciencias Exactas y Naturales,
Universidad de Buenos Aires, Ciudad Universitaria, Pabelln I, C1428EGA,
Buenos Aires, Argentina.
Correo electrnico: t.ibarlucia@gmail.com
129