lógica matematica
La lógica matemática, también llamada lógica simbólica, lógica teorética, lógica formal, o logística,1 es parte tanto de la lógica como de la matemática, y 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 con la lógica filosófica.
La lógica matemática estudia los sistemas formales en relación con el modo en el que codifican o definen nociones intuitivas de objetos matemáticos como conjuntos, números, demostraciones, y algoritmos, utilizando un lenguaje formal.
La lógica matemática se suele dividir en cuatro subcampos: teoría de modelos, teoría de la demostración, teoría de conjuntos y teoría de la recursión. La investigación en lógica matemática ha jugado un papel fundamental en el estudio de las matemáticas.
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.
La lógica matemática comprende dos áreas de investigación distintas: la primera es la aplicación de las técnicas de la lógica formal a las matemáticas y el razonamiento matemático y la segunda, en la otra dirección, la aplicación de técnicas matemáticas a la representación y el análisis de la lógica formal.
La lógica matemática, también llamada lógica simbólica, lógica teorética, lógica formal, o logística,1 es parte tanto de la lógica como de la matemática, y 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 con la lógica filosófica.
La lógica matemática estudia los sistemas formales en relación con el modo en el que codifican o definen nociones intuitivas de objetos matemáticos como conjuntos, números, demostraciones, y algoritmos, utilizando un lenguaje formal.
La lógica matemática se suele dividir en cuatro subcampos: teoría de modelos, teoría de la demostración, teoría de conjuntos y teoría de la recursión. La investigación en lógica matemática ha jugado un papel fundamental en el estudio de las matemáticas.
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.
La lógica matemática comprende dos áreas de investigación distintas: la primera es la aplicación de las técnicas de la lógica formal a las matemáticas y el razonamiento matemático y la segunda, en la otra dirección, la aplicación de técnicas matemáticas a la representación y el análisis de la lógica formal.
No hay comentarios.:
Publicar un comentario