La lógica matemática es una parte de la lógica y las matemáticas, que consiste en el estudio matemático de la lógica y en la aplicación de este estudio en otras áreas de las matemáticas. La lógica matemática guarda estrechas conexiones con las ciencias de la computación y la lógica filosófica.
Esta estudia los sistemas formales en relación con el modo en que codifican conceptos intuitivos de objetos matemáticos, tales como: conjuntos, números, demostraciones y computación.
La lógica matemática fue también llamada lógica simbólica. 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.
Suscribirse a:
Enviar comentarios (Atom)
No hay comentarios:
Publicar un comentario