Tu no sabes programar!

[[Delphius]]

Empezado por roman

Bueno, existe la lógica matemática que, más que derivar de ésta es una rama más y en cierto sentido sirve para fundamentar las matemáticas, o sea que sería alrevés. Y por otro lado, existe la lógica clásica -que es a la que se referiría Casimiro y la que usamos todos para pensar- que es independiente de las matemáticas.

LineComment Saludos

Este...

Empezado por Wikipedia

La lógica tradicionalmente se consideró una rama de la filosofía. Pero desde finales del siglo XIX, su formalización simbólica ha demostrado una íntima relación con las matemáticas, y dio lugar a la lógica matemática. En el siglo XX la lógica ha pasado a ser principalmente la lógica simbólica, un cálculo definido por símbolos y reglas de inferencia, lo que ha permitido su aplicación a la informática.

El párrafo dice que desde XIX se le dió carácter matemático. Luego es que con ambas, se formó la lógica matemática.

Saludos,