Lógica Matemática. También llamada lógica simbólica, iniciada con las ideas de
Leibniz, es una rama de la lógica desarrollada a partir del siglo XIX especialmente
en Inglaterra con los trabajos de Frege, Boole, Russell y Whitehead, dirigida
construir cálculos lógicos rigurosamente formalizados, que permitieron aplicar
a los problemas lógicos los procedimientos matemáticos.
No hay comentarios:
Publicar un comentario
Nota: solo los miembros de este blog pueden publicar comentarios.