La lógica matemática es una parte de la logica y la matematica, que consiste en el estudio matemático de la lógica, y en la aplicación de dicho estudio a otras áreas de la matemática y de las ciencias. La lógica matemática tiene estrechas conexiones con las ciencias de la computación y la logica filosofica.
La lógica matemática estudia los sisitemas formales en relación con el modo en el que codifican o definen nociones intuitivas de objetos matemáticos como conjuntos, numeros, demostraciones y algorismos, utilizando un lenguaje formal.
La lógica matemática suele dividirse en cuatro subcampos:teia de modelos, teoria de la demostración, teoría de conjuntos y teoría de la recusion. La investigación en lógica matemática ha jugado un papel fundamental en el estudio de los fundamentos de las matematicas. Actualmente se usan indiferentemente como sinónimos las expresiones: lógica simbólica (o logística), lógica matemática, lógica teorética y lógica formal.
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.
Es la capacidad para utilizar los numeros de manera efectiva y de razonar adecuadamente empleando el pensamiento logico
son mas racionales a la hora de responder o solucionar un problema
.jpg)
No hay comentarios.:
Publicar un comentario