Mucho antes de los primeros registros escritos, hay dibujos que indican algún conocimiento de matemáticas elementales y de la medida del tiempo basada en las estrellas. Por ejemplo, los paleontólogos han descubierto rocas de ocre en una caverna de Sudáfrica de aproximadamente 70.000 años de antigüedad, que están adornados con hendiduras en forma de patrones geométricos.2 También se descubrieron artefactos prehistóricos en África y Francia, datados entre el 35.000 y el 20.000 a. C.,3 que sugieren intentos iniciales de cuantificar el tiempo
Los Fundamentos de la matemática son el estudio de conceptos matemáticos básicos (como números, figuras geométricas, conjuntos, funciones...) y como forman jerarquías de estructuras y conceptos más complejos, especialmente las estructuras fundamentalmente importantes que forman el lenguaje de la matemática (fórmulas, teorías y susmodelos, dando un significado a las fórmulas, definiciones, pruebas, algoritmos...) también llamados conceptos metamatemáticos, con un ojo en los aspectos filosóficos y la unidad de la matemática. La búsqueda por los fundamentos de la matemática es una pregunta central de la filosofía de las matemáticas; la naturaleza abstracta de los objetos matemáticos presenta desafíos filosóficos especiales.
TOMADO DE: http://es.wikipedia.org/wiki/Fundamentos_de_la_matem%C3%A1tica
La disciplina de la lógica matemática recibió este nombre gracias a Giuseppe Peano, quien reformó y complementó la lógica tradicional Aristotélica, obteniendo un instrumento apropiado para investigar sobre los fundamentos de la matemática. El tradicional desarrollo de la lógica enfatizaba su centro de interés en la forma de argumentar, mientras que la actual lógica matemática lo centra en un estudio combinatorio de los contenidos.
tomado de:http://logicamatematica1.wordpress.com/2010/08/07/historia-de-la-logica-matematica/
En un nivel elemental, la lógica proporciona reglas y técnicas para determinar si es o no válido un argumento dado dentro de un determinado sistema formal. En un nivel avanzado, la lógica matemática se ocupa de la posibilidad de axiomatizar las teorías matemáticas, de clasificar su capacidad expresiva, y desarrollar métodos computacionales útiles en sistemas formales. La teoría de la demostración y la matemática inversa son dos de los razonamientos más recientes de la lógica matemática abstracta. Debe señalarse que la lógica matemática se ocupa de sistemas formales que pueden no ser equivalentes en todos sus aspectos, por lo que la lógica matemática no es método de descubrir verdades del mundo físico real, sino sólo una fuente posible de modelos lógicos aplicables a teorías científicas, muy especialmente a la matemática convencional.
La lógica matemática no se encarga por otra parte del concepto de razonamiento humano general o del proceso creativo de construcción de demostraciones matemáticas mediante argumentos rigurosos pero hechas usando lenguaje informal con algunos signos o diagramas, sino sólo de demostraciones y razonamientos que pueden ser completamente formalizados en todos sus aspectos.
TOMADO DE: http://es.wikipedia.org/wiki/L%C3%B3gica_matem%C3%A1tica
TOMADO DE: http://es.wikipedia.org/wiki/L%C3%B3gica_matem%C3%A1tica
No hay comentarios:
Publicar un comentario