Scribd
Cargar
37 vistas1 página

Mapa Mental1

La lógica matemática surgió en el siglo XIX de la mano de George Boole y Augustus De Morgan, quienes desarrollaron sistemas matemáticos para modelar operaciones lógicas. La lógica matemática estudia conceptos y reglas de deducción en matemáticas de manera rigurosa, definiendo axiomas y reglas deductivas. Se divide principalmente en teoría de modelos, teoría de la demostración, teoría de conjuntos y teoría de la computabilidad.

Cargado por

Alex López
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd
37 vistas1 página

Mapa Mental1

La lógica matemática surgió en el siglo XIX de la mano de George Boole y Augustus De Morgan, quienes desarrollaron sistemas matemáticos para modelar operaciones lógicas. La lógica matemática estudia conceptos y reglas de deducción en matemáticas de manera rigurosa, definiendo axiomas y reglas deductivas. Se divide principalmente en teoría de modelos, teoría de la demostración, teoría de conjuntos y teoría de la computabilidad.

Cargado por

Alex López
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd

Un poco de historia HISTORIA DE LA LÓGICA Siglo XIX

Durante el periodo de 600 AC hasta MATEMÁTICA Y SU SURGIMIENTO George Boole y Augustus De Morgan, fueron los
primeros que presentaron un sistema matemático
300 AC, en Grecia se desarrollaron los
para modelar operaciones lógicas. George Boole
principios formales de las matemáticas.
A este periodo se le conoce como
¿Qué es la lógica matemática? (1815-1864) aplicó el cálculo matemático a la lógica,
fundando el álgebra de la lógica. Augustus De
periodo clásico. Morgan (1806-1871) en el estudio de la lógica
Aristóteles presenta el razonamiento incluye la formulación de las leyes de Morgan.
deductivo y sistematizado y Euclides es Es aquella que se cuestiona con mayor
el personaje que mayor influencia tuvo rigor los conceptos y las reglas de la
en las matemáticas, al establecer el deducción utilizados en la matemática,
método axiomático. En ''Elementos'', convirtiendo a la lógica en una
Euclides organiza pruebas deductivas metamatemática. Otro punto de vista
dentro de una presentación sistemática, Esta permite eliminar la arbitrariedad
rigurosa y bien organizada de en la elección de los axiomas y define La lógica matemática también estudia las definiciones de nociones
conocimiento matemático. exhaustivamente las reglas de la y objetos matemáticos básicos como conjuntos, números,
demostraciones y algoritmos. La teoría de la demostración y la
deducción. matemática inversa son algunos de los razonamientos más

recientes de la lógica matemática abstracta. Debe señalarse que

Se divide 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 un método para descubrir verdades del mundo
Teoría de modelos, teoría de la físico real, sino solo una fuente posible de modelos lógicos
demostración, teoría de conjuntos y aplicables a teorías científicas, muy especialmente a la

Integrantes: teoría de la computabilidad.


matemática convencional.

-Alexander Lopez
-Santiago Marin
-Josimar Miranda
-Keilor Luna

También podría gustarte