Ensayo

Arnau Mas Teor a del Conocimiento IB

En matem aticas se utiliza el concepto de demostraci on rigurosa, que conduce a conocer algo con absoluta certeza. Considera la medida en que puede alcanzarse la certeza en la matem aticas y en, al menos, un area de conocimiento m as. Podemos asertar que, una vez demostrado, un lema posee verdad absoluta? Ser a esta verdad absoluta inmutable al paso del tiempo? Existen los objetos matem aticos en la realidad? Son las demostraciones fruto u nicamente de la raz on? O, por el contrario, podemos llegar a ella mediante otras formas de conocimiento? Estas y otras preguntas empezaron a surgir en el momento en el que se puso en duda el estado de superioridad que ten an las matem aticas respecto a otras ciencias. Grandes matem aticos y l osofos han empleado sus esfuerzos para intentar esclarecer sobre que cimientos descansa la gran construcci on de la matem atica. El presente ensayo tratar a de analizar la naturaleza de la verdad matem atica, si es que existe esta, y de c omo esta verdad puede plasmarse en la realidad. Hagamos una asunci on: una demostraci on matem atica correcta nos conduce a una verdad irrefutable. Para poder armar o refutar esto, primero tenemos que entender un matiza importante. Las demostraciones se llevan a cabo siempre mediante los llamados axiomas, principios indiscutibles. La demostraci on ser a el camino hacia nuestro objetivo, y los axiomas equivaldr an a los movimientos que uno puede realizar. Puesto as , parece que, si los axiomas no son contradictorios y la demostraci on no viola ninguno de ellos, tendr amos que haber llegado a una verdad. Luego, la verdad es fundamentalmente el producto de los axiomas. En realidad, tratar la verdad matem atica de esta manera nos conduce a ver las matem aticas como una suerte de para so encerrado y aislado, en el que ser as aceptado si aceptas las normas de este. Pero, qui en decide estas reglas? Las determina el matem atico libremente? O, por lo contrario, las extrae de la percepci on? Si consideramos los or genes de las matem aticas, nos damos cuenta que, los axiomas u ltimos son producto de nuestra percepci on; conceptos como la parte, el todo, la suma o el producto son generalizaciones de procesos de nuestra vida cotidiana. Conceptos matem aticos m as complejos, como por ejemplo el c alculo innitesimal, tienen su ra z en la soluci on de un problema de la vida real, la explicaci on del movimiento, en este caso. Parecer a l ogico, pues, constatar que hay una cierta componente de percepci on a la hora de desarrollar las matem aticas. Impide esto llegar a la verdad? La respuesta es, depende de lo que entendamos por verdad. Si nos referimos al para so encerrado, entonces la respuesta es que no. Los axiomas, a un haber sido originados en la realidad, ser an coherentes entre s , lo que nos conducir a a una verdad por coherencia. Ahora bien, si queremos plasmar esta 1

verdad en la realidad, la elecci on de los axiomas debe ser a un m as minuciosa, por tal de ajustarse a la realidad. Poco a poco, nos hemos adentrado en el dominio de la f sica. Esta disciplina se encarga de describir la realidad en la m as m nima expresi on. Predomina en ella el uso de las matem aticas. Resulta el uso de las matem aticas en la f sica en un sistema coherente o en un sistema correspondiente? Parece indispensable que esta verdad sea correspondiente, pues el objetivo de la f sica es describir la realidad. Pero no han faltado cr ticas para los f sicos te oricos por tratar de abstraerse demasiado de la realidad. Antes de discutir m as, tomemos en cuenta la siguiente armaci on de Galileo: La losof a est a escrita en ese grand simo libro [de la naturaleza] que continuamente est a abierto a los ojos (me reero al universo), pero no se puede entender si antes no se aprende a entender la lengua, y conocer los caracteres en los que est a escrito. Este libro est a escrito en lengua matem atica. [2] Galileo Galilei Se desprende de ella la idea de que las matem aticas est an intr nsecas en la f sica y en la naturaleza por extensi on. El uso de las matem aticas para Galileo no es una representaci on de la realidad, sino la realidad en s misma. Llegados a este punto, entendemos que la verdad en matem aticas no la alberga la demostraci on, sino los axiomas. Luego, la verdad de nuestro lema ser a uno u otra en funci on de la elecci on de los axiomas. Ser a esencial, pues, escoger un conjunto de postulados que no se contradigan entre s , y que sean elementales. Para la f sica, debemos hacer una elecci on de axiomas no s olo coherente, sino tambi en correspondiente a la realidad. Podremos alg un d a llegar a los axiomas u ltimos? Mi respuesta es que no, ya que, por muy intr nsecas que est en las matem aticas en la realidad, las limitaciones experimentales tambi en lo est an en nosotros. La verdad en matem aticas ser a pues una ilusi on, una fantas a que se quebrantar a al salir del para so encerrado.

Referencias
[1] Horsten, Leon, Philosophy of Mathematics , The Stanford Encyclopedia of Philosophy (Summer 2012 Edition), Edward N. Zalta (ed.), http://plato.stanford.edu/archives/sum2012/entries/philosophy-mathematics/. [2] Galilei, Galileo, El Ensayador , trad. de Stillman Drake.