Diferencia entre revisiones de «Lógica matemática»
Contenido eliminado Contenido añadido
Sin resumen de edición |
m Revertidos los cambios de 190.166.137.151 a la última edición de AVBOT |
||
Línea 11:
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.
== Historia
''
Previamente ya se hicieron algunos intentos de tratar las operaciones lógicas formales de una manera simbólica por parte de algunos filósofos matemáticos como [[Leibniz]] y [[Johann Heinrich Lambert|Lambert]], pero su labor permaneció desconocida y aislada.
|