Resea Histrica de lgica matemtica

La lgica matemtica es una parte de la lgica y la matemtica, que consiste

en el estudio matemtico de la lgica, y en la aplicacin de dicho estudio a
otras reas de la matemtica y de las ciencias. La lgica matemtica tiene
estrechas conexiones con las ciencias de la computacin y la lgica filosfica.
La lgica matemtica estudia los sistemas formales en relacin con el modo en
el que codifican o definen nociones intuitivas de objetos matemticos
como conjuntos, nmeros,demostraciones, y algoritmos, utilizando un lenguaje
formal.
La lgica matemtica puede 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.
Actualmente se usan indiferentemente como sinnimos las expresiones:
lgica simblica (o logstica), lgica matemtica, lgica teortica y lgica
formal.1
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.

http://astrojem.com/teorias/teoriaestacionario.html