ESCUELA SUPERIOR POLITECNICA DE MANABI ESPAM MFL.

Tema:

ORIGEN DE LA LGICA MATEMTICA

INFORMATICA

La lgica y su historia Tradicionalmente se ha dicho que la lgica se ocupa del estudio del razonamiento. Un matemtico competente distingue sin dificultad una demostracin correcta de una incorrecta, o mejor dicho, una demostracin de otra cosa que aparenta serlo pero que no lo es.

Aqu se viene la pregunta hasta que punto tiene inters y hasta que punto es una perdida de tiempo.

En efecto el calculo infinitesimal que trazaron con tanta imaginacin tuvo que ser precisado a momento que se manejaban medidas mas abstractas y generales.

A finales del siglo XIX, Georg Cantor cre y desarroll la parte ms general y ms abstracta de la matemtica moderna: la teora de conjuntos.

El lector puede pensar que esto es una tontera y que basta no preocuparse de estas cosas para librarnos de tales problemas, sin embargo sucede que contradicciones similares surgen continuamente en la teora pero afectando a conjuntos no tan artificiales y rebuscados como pueda parecer el conjunto R, sino a otros que aparecen de forma natural al trabajar en la materia. La primera muestra de la importancia de la lgica fue un estrepitoso fracaso. Frege haba creado (tras mucho tiempo de cuidadosa reflexin) un sistema que pretenda regular todo el razonamiento matemtico, de manera que cualquier resultado que un matemtico pudiera demostrar, debera poder demostrarse siguiendo las reglas que con tanto detalle haba descrito. Russell observ que la paradoja antes citada poda probarse en el sistema de Frege y que, a consecuencia de esto, cualquier afirmacin, fuera la que fuera, poda ser demostrada segn estas reglas, que se volvan, por tanto, completamente intiles.