Diferencia entre revisiones de «Lógica matemática»
Contenido eliminado Contenido añadido
Sin resumen de edición |
m Revertidos los cambios de 190.80.207.190 a la última edición de Diegusjaimes |
||
Línea 1:
{{otros usos|Lógica (desambiguación)}}
La lógica matemática es un subcampo de la [[lógica]] y las [[matemáticas]]. Consiste en el estudio matemático de la lógica y en la aplicación de este estudio a otras áreas de las matemáticas. La lógica matemática guarda estrechas conexiones con la [[ciencias de la computación]] y la lógica filosófica.
Línea 11:
La lógica matemática no es la "lógica de las matemáticas" sino la "matemática de la lógica". Incluye aquellas partes de la lógica que pueden ser modeladas y estudiadas matemáticamente.
== Historia
''Lógica Matemática'' fue el nombre dado por [[Giuseppe Peano]] para esta disciplina. En esencia, es la lógica de [[Aristóteles]], pero desde el punto de vista de una nueva notación, más abstracta, tomada del [[álgebra]].
| |||