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

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.

 

 

''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]].