Publicado el 21 de Febrero, 2008, 9:11
Sigo leyendo a Mario Bunge, su libro "Intuición y Razón". Bunge describe una de las tesis principales del intuicionismo matemático. Ya había escrito Intuición sensible en matemáticas Leemos a Bunge, enunciando una primer tesis del intuicionismo matemático:
Es una gran tesis. En mi postura, la lógica, como la geometría, puede tomar varias formas, y habrá que ver cuál corresponde con la realidad, y cuáles de las formas son fructíferas para nuestro pensamiento. Es interesante notar que en esta tesis, se mencionan los conjuntos infinitos. Kronecker, al que se considera uno de los "pre-fundadores" del intuicionismo matemático, fue uno de los matemáticos que renegó del infinito, incluso de los infinitos números naturales, tomando sólo como base firme a la sucesión de naturales, sin aceptar nunca tomar al conjunto "completo" de una sola vez. Comenta Bunge sobre esta tesis:
Bien, una cosa es la lógica relacionada con el lenguaje, y otra con la realidad. Creo que el lenguaje humano ha sido creado de forma que no puede reflejar sin vaguedades y ambigüedades lo que queremos transmitir. Así que la búsqueda de nuevos lenguajes, aún pictóricos, o de la lógica formal, son bienvenidos. El tema de las "nuevas lógicas" ha sido bastante tratado en el siglo XX, y Bunge enumera algunos protagonistas de ese movimiento. No entiendo a qué se refiere con "los mecanismos inferenciales reales". Puede que se refiera a cómo funciona nuestra mente realmente, y no a "cómo funciona" la realidad. Recordemos la geometría: nuestra mente "funciona" como euclidiana, pero bien puede ser que la realidad no "funcione" de esa manera. Nos leemos! Angel "Java" Lopez |