a lgica matemtica es un subcampo de la lgica y las matemticas.

Consiste en el
estudio matemtico de la lgica y en la aplicacin de este estudio a otras reas de las
matemticas. La lgica matemtica guarda estrechas conexiones con la ciencias de la
computacin y la lgica filosfica.

La lgica matemtica estudia los sistemas formales en relacin con el modo en el que
codifican conceptos intuitivos de objetos matemticos como conjuntos, nmeros,
demostraciones y computacin.

La lgica matemtica suele dividirse en cuatro subcampos: teora de modelos, teora de la
demostracin, teora de conjuntos y teora de la recursin. La investigacin en lgica
matemtica ha jugado un papel fundamental en el estudio de los fundamentos de las
matemticas.

La lgica matemtica fue tambin llamada lgica simblica. El primer trmino todava se
utiliza como sinnimo suyo, pero el segundo se refiere ahora a ciertos aspectos de la teora
de la demostracin.

La lgica matemtica no es la "lgica de las matemticas" sino la "matemtica de la
lgica". Incluye aquellas partes de la lgica que pueden ser modeladas y estudiadas
matemticamente.
Calificar
Comentario


Hadesares respondido hace 6 aos
La lgica matemtica es un subcampo de la lgica y las matemticas. Consiste en el estudio
matemtico de la lgica y en la aplicacin de este estudio a otras reas de las matemticas.
La lgica matemtica guarda estrechas conexiones con la ciencias de la computacin y la
lgica filosfica.

La lgica matemtica estudia los sistemas formales en relacin con el modo en el que
codifican conceptos intuitivos de objetos matemticos como conjuntos, nmeros,
demostraciones y computacin.

La lgica matemtica suele dividirse en cuatro subcampos: teora de modelos, teora de la
demostracin, teora de conjuntos y teora de la recursin. La investigacin en lgica
matemtica ha jugado un papel fundamental en el estudio de los fundamentos de las
matemticas.

La lgica matemtica fue tambin llamada lgica simblica. El primer trmino todava se
utiliza como sinnimo suyo, pero el segundo se refiere ahora a ciertos aspectos de la teora
de la demostracin.

La lgica matemtica no es la "lgica de las matemticas" sino la "matemtica de la
lgica". Incluye aquellas partes de la lgica que pueden ser modeladas y estudiadas
matemticamente
Fuente(s):