Biblioteca
Normal view MARC view ISBD view

Mathematical logic / H D. Ebbinghaus, J. Flum, W. Thomas

By: Ebbinghaus, Heinz Dieter.
Contributor(s): Flum, Jörg | Thomas, Wolfgang.
Material type: materialTypeLabelBookPublisher: New York : Springer Verlag; 1994Edition: 2a.ed.Description: X, 289 p. : il. ; 25 cm.ISBN: 9780387942582.Uniform titles: Einführung in die mathematisch Logik. English Subject(s): LOGICA MATEMATICA | MATEMÁTICASDDC classification: 511.3 Summary: ¿Qué es una prueba matemática? ¿Cómo pueden justificarse las pruebas? ¿Hay limitaciones a la demostración? ¿Hasta qué punto pueden las máquinas realizar pruebas matemáticas? Sólo en este siglo ha habido éxito en la obtención de respuestas sustanciales y satisfactorias. El presente libro contiene una discusión sistemática de estos resultados. Las investigaciones se centran en la lógica del primer orden. Nuestro primer objetivo es el teorema de la integridad de Gödel, que muestra que la relación secuencial coincide con la demostración formal: Mediante un cálculo que consiste en simples reglas de inferencia formal, se pueden obtener todas las consecuencias de un sistema axiomático dado (y en particular imitar Todas las pruebas matemáticas). Una breve digresión en la teoría de modelos nos ayudará a analizar el poder expresivo del lenguaje de primer orden, y resultará que hay ciertas deficiencias. Por ejemplo, el lenguaje de primer orden no permite la formulación de un sistema de axiomas adecuado para la aritmética o el análisis. Por otra parte, esta dificultad puede ser superada -incluso en el marco de la lógica del primer orden- desarrollando matemáticas en términos de teoría de conjuntos. Explicamos los prerrequisitos de la teoría de conjuntos necesarios para este propósito y luego tratamos la relación sutil entre la lógica y la teoría de conjuntos de una manera completa.
Tags from this library: No tags from this library for this title. Log in to add tags.
    average rating: 0.0 (0 votes)
Item type Current location Collection Call number Vol info Copy number Status Date due Barcode Item holds
LIBRO - MATERIAL GENERAL LIBRO - MATERIAL GENERAL Biblioteca Jorge Álvarez Lleras
Fondo general
Colección General 511.3 E154 (Browse shelf) Ej. 1 1 Available 027165
LIBRO - MATERIAL GENERAL LIBRO - MATERIAL GENERAL Biblioteca Jorge Álvarez Lleras
Fondo general
Colección General 511.3 E154 (Browse shelf) Ej. 2 2 Available 027166
Total holds: 0

Incluye referencias bibliográficas e indice.

¿Qué es una prueba matemática? ¿Cómo pueden justificarse las pruebas? ¿Hay limitaciones a la demostración? ¿Hasta qué punto pueden las máquinas realizar pruebas matemáticas? Sólo en este siglo ha habido éxito en la obtención de respuestas sustanciales y satisfactorias. El presente libro contiene una discusión sistemática de estos resultados. Las investigaciones se centran en la lógica del primer orden. Nuestro primer objetivo es el teorema de la integridad de Gödel, que muestra que la relación secuencial coincide con la demostración formal: Mediante un cálculo que consiste en simples reglas de inferencia formal, se pueden obtener todas las consecuencias de un sistema axiomático dado (y en particular imitar Todas las pruebas matemáticas). Una breve digresión en la teoría de modelos nos ayudará a analizar el poder expresivo del lenguaje de primer orden, y resultará que hay ciertas deficiencias. Por ejemplo, el lenguaje de primer orden no permite la formulación de un sistema de axiomas adecuado para la aritmética o el análisis. Por otra parte, esta dificultad puede ser superada -incluso en el marco de la lógica del primer orden- desarrollando matemáticas en términos de teoría de conjuntos. Explicamos los prerrequisitos de la teoría de conjuntos necesarios para este propósito y luego tratamos la relación sutil entre la lógica y la teoría de conjuntos de una manera completa.

There are no comments for this item.

Log in to your account to post a comment.

Click on an image to view it in the image viewer