Bografias

¿Que tan lógica es la lógica matemática?

La lógica matemática hace parte de la lógica y al tiempo de las matemáticas, esta consiste en el estudio matemático de la lógica y en la aplicación de esteestudio a otras áreas numéricas. La lógica matemática tiene mucho que ver con las ciencias informáticas y lógica del pensamiento “filosóficas”.
La logica matemática estudia los sistemas formales enrelación con el modo en el que codifican nociones intuitivas de objetos matemáticos como conjuntos, números, demostraciones y computación.
La lógica matemática suele dividirse 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 los fundamentos de lasmatemáticas. 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.1
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.

Sé lo que quieres decir, hay casos que seplantean que no parecen tan lógicos, respuestas que a con cierto punto de vista resultan no tan lógicas, por ejemplo: infinito positivo + 1 = Infinito positivo; infinito negativo - 1 = infinitonegativo; y así podría seguir y seguir indefinidamente y decir, bueno esto no es tan lógico pues podría pensarse que infinitivo positivo + 1 > infinito positivo, pero resulta que no, que son iguales,entonces no es tan lógica la lógica matemática, cierto? ja ja ja, bueno en fin, pienso que para los seres humanos no puede existir una lógica perfecta o sin fallas, ya ves que los científicos actualmentetienen montones de teorías que pretenden probar matemáticamente pero al final no pueden probar todo, como por ejemplo el tamaño del universo, el infinitesimal tamaño de los componentes del quark, y...