miércoles, 2 de septiembre de 2009

HISTORIA DE LA LÓGICA MATEMÁTICA

Comentario de la lectura:

Lo que entendí de la historia es que el nombre de lógica matemática fue dado por Giuseppe Peano, Geoge Boole y Augustus De Morgan presentaron un sistema matemático para modelar operaciones lógicas a mediados del siglo XIX. También fue llamada lógica simbólica.

El estudio matemático de la lógica se aplica en el estudio de de otras aéreas de las matemáticas una de ellas ciencias de la computación y lógica de la filosofía también se divide en cuatro subcampos que son: teoría de modelos, teoría de la demostración, teoría de conjuntos y teoría de la recursión.

Fuente: Agazzi evandro (1986). Lógica simbólica. Editorial Her
der .