historia

Lógica matemática
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 a otras áreas de lasmatemáticas. La lógica matemática tiene estrechas conexiones con las ciencias de la computación y la lógica filosófica.
La lógica matemática estudia los sistemas formales en relación con el modo en el quecodifican nociones intuitivas de objetos matemáticos como conjuntos, números, demostraciones ycomputación.
La lógica matemática suele dividirse en cuatro subcampos: teoría de modelos, teoría de lademostració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 los fundamentos de las matemáticas. Actualmente se usanindiferentemente como sinónimos las expresiones: lógica simbólica (o logística), lógica matemática, lógica teorética y lógica formal.1
Que es matemáticas?
Las matemáticas ola matemática1 (del lat. mathematĭca, y este del gr. μαθηματικά, derivado de μάθημα, conocimiento) es una ciencia formal que, partiendo de axiomas y siguiendo el razonamiento lógico, estudia las propiedades y relaciones entreentes abstractos (números, figuras geométricas,símbolos). Las matemáticas se emplean para estudiar relaciones cuantitativas, estructuras, relaciones geométricas y las magnitudes variables.Losmatemáticos buscan patrones,2 3 formulan nuevas conjeturas e intentan alcanzar la verdad matemática mediante rigurosas deducciones. Éstas les permiten establecer los axiomas y las definiciones apropiados para dichofin.4 Algunas definiciones clásicas restringen las matemáticas al razonamiento sobre cantidades,1 aunque sólo una parte de las matemáticas actuales usan números, predominando el análisis lógico deconstrucciones abstractas no cuantitativas.
Que es lógica?
La lógica es una ciencia formal que estudia los principios de la demostración e inferencia válida. La palabra deriva del griego...