Enfoques de la Logica Matematica
Páginas: 2 (278 palabras)
Publicado: 7 de abril de 2013
La lógica matemática es un subcampo de la lógica y las matemáticas. Consiste en el estudio matemático de la lógica y en la aplicación de este estudio a otras áreas de lasmatemáticas. La lógica matemática guarda estrechas conexiones con las ciencias de la computación y la lógica filosófica.
La lógica matemática estudia los sistemas formales en relación conel modo en el que codifican conceptos intuitivos de objetos matemáticos como conjuntos, números, demostraciones y computación.
La lógica matemática suele dividirse en cuatrosubcampos: teoría de modelos, teoría de la demostración, teoría de conjuntos y teoría de la recursión. La investigación en lógica matemática ha jugado un papel fundamental en el estudio delos fundamentos de las matemáticas.
La lógica matemática fue también llamada lógica simbólica. El primer término todavía se utiliza como sinónimo suyo, pero el segundo se refiereahora a ciertos aspectos de la teoría de la demostración.
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 dela lógica que pueden ser modeladas y estudiadas matemáticamente.
ENFOQUES
Los dos enfoques predominantes de esta disciplina son el sintáctico y el semántico.
El primerocaracteriza las nociones de derivación formal, sistema axiomático
y prueba. El segundo se ocupa de las nociones de verdad, interpretación y
consecuencia lógica.
Hoy en día, estos dosenfoques de la lógica matemática clásica
constituyen disciplinas bien establecidas y con agendas propias, estas son,
La teoría de la demostración y la teoría de modelos. Por otro lado,estudios
En lógicas no-clásicas han marcado una nueva tradición formal que tiene
Aplicaciones fuera de la matemática en campos como la computación y la
lingüística formal.
La lógica matemática estudia los sistemas formales en relación conel modo en el que codifican conceptos intuitivos de objetos matemáticos como conjuntos, números, demostraciones y computación.
La lógica matemática suele dividirse en cuatrosubcampos: teoría de modelos, teoría de la demostración, teoría de conjuntos y teoría de la recursión. La investigación en lógica matemática ha jugado un papel fundamental en el estudio delos fundamentos de las matemáticas.
La lógica matemática fue también llamada lógica simbólica. El primer término todavía se utiliza como sinónimo suyo, pero el segundo se refiereahora a ciertos aspectos de la teoría de la demostración.
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 dela lógica que pueden ser modeladas y estudiadas matemáticamente.
ENFOQUES
Los dos enfoques predominantes de esta disciplina son el sintáctico y el semántico.
El primerocaracteriza las nociones de derivación formal, sistema axiomático
y prueba. El segundo se ocupa de las nociones de verdad, interpretación y
consecuencia lógica.
Hoy en día, estos dosenfoques de la lógica matemática clásica
constituyen disciplinas bien establecidas y con agendas propias, estas son,
La teoría de la demostración y la teoría de modelos. Por otro lado,estudios
En lógicas no-clásicas han marcado una nueva tradición formal que tiene
Aplicaciones fuera de la matemática en campos como la computación y la
lingüística formal.
Leer documento completo
Regístrate para leer el documento completo.