Qu es una demostracin matemtica?

Todo el mundo sabe qu es una demostracin matemtica. Una demostracin de un teorema matemtico es una sucesin de pasos que conducen a la conclusin deseada. Las reglas que dichas sucesiones de pasos deben seguir fueron hechas explcitas cuando fue formalizada la lgica al principio de este siglo, no han cambiado desde entonces. !stas reglas pueden ser usadas para refutar una demostracin putati"a localizando errores lgicos# sin embargo, no pueden ser usadas para encontrar una demostracin que no se tenga de una con$etura matemtica. La expresin %demostracin correcta% es redundante. La demostracin matemtica no admite grados. Una sucesin de pasos en un argumento es o bien una demostracin o bien pura basura. Los argumentos heursticos son de uso com&n en la prctica de la matemtica. 'in embargo, los argumentos heursticos no son "istos como parte de la lgica formal. !l rol de los argumentos heursticos a sido reconocido pocas "eces en la filosofa de la matemtica, a pesar del papel crucial que los argumentos heursticos $uegan en el descubrimiento matemtico. La nocin matemtica de demostracin es marcadamente distinta de las nociones de demostracin en otras reas, como las cortes de le es, la con"ersacin diaria la fsica. Las demostraciones dadas por fsicos s admiten grados( de dos pruebas dadas de la misma afirmacin fsica, una se puede $uzgar ms correcta que otra. )bra cualquier libro de fsica, hallar ocurrencia com&n de grados de correctitud de demostraciones, detalle molesto para los matemticos. *or e$emplo, el clebre argumento de *eierls para la mecnica estadstica no tena sentido matemtico estricto cuando fue propuesto por primera "ez por 'ir +udolph *eierls, sigui siendo matemticamente carente de sentido a&n al pasar por una larga sucesin de demostraciones en el sentido aceptado por los fsicos. ,ada demostracin sucesi"a fue considerada como %ms correcta% que la anterior, hasta que una demostracin %final% fue hallada# la &nica que un matemtico acepta. !l mtodo axiomtico por medio del cual escribimos la matemtica es el &nico que garantiza la "erdad de una afirmacin matemtica. 'in embargo, una discusin del mtodo axiomtico no nos dice mucho acerca de la demostracin matemtica. -uestro propsito es esclarecer algunos de los rasgos distinti"os del pensamiento matemtico que estn ocultos ba$o la mecnica aparente de la demostracin matemtica. )legaremos, usando muchos e$emplos, que la descripcin de demostracin matemtica que usualmente damos es "erdadera, pero no es realista. .uchos rasgos del pensamiento matemtico son de$ados de lado por la nocin formal de demostracin. !stos rasgos han sido conocidos por un largo tiempo, pero han sido discutidos pocas "eces. -uestro ideal de realismo es tomado de la fenomenologa de !dmund /usserl. /ace tiempo, /usserl dio algunas de las reglas a seguir en una descripcin realista. 0ale la pena recordar algunas de estas reglas. Una descripcin realista debe de"elar rasgos ocultos. Los matemticos no predican lo que practican. 'e rehusan a aceptar formalmente lo que hacen en su traba$o diario.

Los fenmenos laterales que normalmente se mantienen relegados deben ser tratados con su debida importancia. !l "ocabulario de oficio de los matemticos inclu e palabras como %entendimiento%, %profundidad%, %tipos de demostracin%, %grados de claridad% muchos otros. Una discusin rigurosa de los roles de esos trminos debera ser parte de la filosofa de la demostracin matemtica. !l realismo fenomenolgico pide que no se fabriquen excusas que puedan conducir a desechar cualquier rasgo de la matemtica ponindole el rtulo de psicolgico, sociolgico o sub$eti"o. Todas las hiptesis normati"as deben ser erradicadas. ,on excesi"a frecuencia, supuestas descripciones de demostraciones matemticas son defensas escondidas de lo que el autor cree que una demostracin matemtica debera ser. Una actitud estrictamente descripti"a se impone, a pesar de sus dificultades peligros. *uede conducir a descubrimientos desagradables( por e$emplo, uno podra llegar a darse cuenta que no ha rasgos comunes compartidos por todas las demostraciones matemticas. 1 bien, uno podra ser lle"ado a admitir que las contradicciones son parte de la realidad de la matemtica, a la par con la "erdad.