Mat.

Juan Jimnez Krassel

Qu es el conocimiento matemtico?
Se mueve entre dos posiciones, por un lado, su naturaleza histrica y por otra, los objetos matemticos actuales. Pudiera pensarse que el conocimiento matemtico actual se ocupa de estructuras y sus propiedades, lo que implica poner el acento principal en cuestiones lgicas. Dichas estructuras pueden apreciarse por su belleza y abstraccin, como ocurre con otros productos de la creatividad humana, pero tambin por el servicio que brindan a las dems ciencias, por sus posibilidades de aplicacin.

Cmo se adquiere dicho conocimiento?

Directa. Mediante la intuicin, un conocimiento creativo y subjetivo: Razonamiento emprico. Reflexiva. Mediante la lgica, un conocimiento analtico y reflexivo: Razonamiento deductivo.

Razonamiento emprico
El razonamiento emprico puede describirse como la formulacin de las conclusiones que se basan en la experiencia y en la observacin. El razonamiento emprico contiene a menudo manipulaciones pesadas con casos especiales, observacin de coincidencias y el empleo frecuente de la analoga, la experiencia a una buena suposicin, la experimentacin considerable y los destellos de intuicin.*

*Estudio de las Geometras: Howard Eves

Razonamiento deductivo

Platn filsofo griego en su obra La Repblica describe la contraposicin entre la realidad y el conocimiento e incluye pasajes en los que establece que la matemtica (y todo razonamiento lgico) necesita apoyarse en presupuestos previos y en lo que llama el conocimiento discursivo descendente, de lo que se presupone a lo que se deduce.

Naturaleza emprica

El clculo inicia por determinar el rea de la base: 44 = 16. Se encuentra el rea de la tapa: 22 = 4. Despus se computa el producto del lado de la base por el lado de la tapa: 42 = 8. Estos nmeros se suman y se obtiene 28. Ahora se toma un tercio de la altura, es decir, 2. Finalmente se toman el producto de un tercio de la altura y 28 y el escriba anota: Miren que da 56.

Naturaleza deductiva
La primera obra conocida de naturaleza deductiva son los Elementos de Euclides.

Para establecer la verdad de proposiciones. Para comunicar verdades matemticas. Para construir tcnicas para resolver cierto tipo de problemas. Sistematizacin de resultados. Descubrimiento

La intuicin es un elemento importante al demostrar una proposicin. Formular conjeturas, elaborar generalizaciones, plantear hiptesis. La intuicin puede llevarnos a resultados poco confiables, por tanto, es imprescindible demostrar lo que la intuicin nos proporciona.

El razonamiento inductivo se basa en la elaboracin de conjeturas e hiptesis que, a partir de un conjunto de observaciones, conducen a la generalizacin de propiedades. Probar una propiedad requiere de la deduccin que la independiza de la experiencia y la torna universal.

El razonamiento deductivo. A partir de un sistema axiomtico, se elaboran cadenas de argumentos que permiten establecer la validez de proposiciones matemticas. El principio bsico consiste en determinar el valor de verdad de proposiciones del tipo Si A entonces B

Antes de los griegos.

Las matemticas conocidas eran tratados sobre formulas y procedimientos que permitan resolver problemas, sin necesidad de una demostracin.

La matemtica griega.
Es el primer ejemplo de sistematizacin de las matemticas conocidas, as como del uso del razonamiento deductivo en las demostraciones matemticas.

Dada una proposicin de la forma Si A entonces B, llamamos a A hiptesis y a B conclusin. As, la idea de demostrar una proposicin del tipo anterior, consiste en suponer que A es verdadero, y al construir una cadena de argumentos, obtener que B es verdadero.

Una manera de hacerlo es pensar de adelante para atrs. Es decir, pensemos que B es verdadero y en las posibles formas equivalentes (en trminos de verdad) de la proposicin B, de forma que resulte ms simple obtener la conclusin. Otra manera es la de ir de atrs para adelante, suponiendo que A es verdadero, obtener proposiciones equivalentes a A encaminadas a probar que B es verdadero.

Demostrar que:

Si n es un entero par, entonces el cuadrado de n tambin es par. Si n es un entero para el cul 3n2 2n8 0 entonces 2n 2 3n 2

Otro mtodo para demostrar proposiciones matemticas es utilizando la equivalencia lgica de la proposicin si A entonces B con la de si no B entonces no A, conocido como contrapositiva, y aplicando los mtodos anteriores. Demuestre que si c es un entero impar, entonces la solucin de n 2 n c 0 es impar.

Otro mtodo para demostrar proposiciones es el de reduccin al absurdo. En este mtodo se trata de suponer que A es verdadero y que no B tambin es verdadero, de donde se obtiene una contradiccin. Demuestre que raz cuadrada de 2 es un nmero no racional.

El mtodo de induccin matemtica consiste en probar que una propiedad es verdadera para el conjunto de los nmeros naturales, haciendo uso de lo siguiente: Si A es un subconjunto de los nmeros naturales que cumple: 1) el 1 pertenece al conjunto A y 2) si k esta en A entonces k+1 tambin esta en A, entonces A es el conjunto de los nmeros naturales.