Saltar al contenido principal
LibreTexts Español

Introducción amistosa a la lógica matemática (Leary & Kristiansen)

  1. Última actualización
  2. Guardar como PDF
  • Page ID
    113463

    • \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \) \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)\(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\) \(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\)\(\newcommand{\AA}{\unicode[.8,0]{x212B}}\)

    En la intersección de las matemáticas, la informática y la filosofía, la lógica matemática examina el poder y las limitaciones del pensamiento matemático formal. En esta expansión de la primera edición fácil de usar de Leary, los lectores sin estudio previo en el campo son introducidos a los conceptos básicos de la teoría de modelos, la teoría de la prueba y la teoría de la computabilidad. El texto está diseñado para ser utilizado ya sea en un aula de pregrado de la división superior, o para el autoestudio. Actualizando el tratamiento de lenguajes, estructuras y deducciones de la 1ª Edición, dando lugar a pruebas rigurosas de los Teoremas de la Primera y Segunda Incompletitud de Gödel, la 2ª Edición ampliada incluye una nueva introducción a la incompletitud a través de la computabilidad, así como soluciones a ejercicios seleccionados.

    Miniaturas: P. Oxy. 29, uno de los fragmentos más antiguos sobrevivientes de Euclides Elements, un libro de texto utilizado durante milenios para enseñar técnicas de escritura de pruebas. El diagrama acompaña al Libro II, Proposición 5. (Dominio Público).

    This page titled Introducción amistosa a la lógica matemática (Leary & Kristiansen) is shared under a CC BY-NC-SA 4.0 license and was authored, remixed, and/or curated by Christopher Leary and Lars Kristiansen (OpenSUNY) via source content that was edited to the style and standards of the LibreTexts platform; a detailed edit history is available upon request.