La lógica matemática es un subcampo de la lógica y las matemáticas, que conciste en el estudio matemático de la lógica y en la aplicacion de este estudio a otras áreas de las matemáticas.
La lógica matemática tiene una estrecha conexion con la "ciencia de la computación" y la lógica filosófica.
La logica matematica no es la "logica de la matematica" sino la "matematica de la logica", ya que incluye aquellas partes de la logica que pueden ser modeladas y estudiadas matematicamente.
Suscribirse a:
Enviar comentarios (Atom)
No hay comentarios:
Publicar un comentario