Diferencia entre revisiones de «Lógica matemática»

Contenido eliminado Contenido añadido
Sin resumen de edición
Diegusjaimes (discusión · contribs.)
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 del loco ==
 
''del loco Lógica Matemática'' fue el nombre dado por [[Giuseppe Peano]] para esta disciplina. En esencia, es la lógica de [[Aristóteles]], pero desde el punto de vista de una nueva notación, más abstracta, tomada del [[álgebra]].
 
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.