Lógica

La lógica, originalmente, es la ciencia formal que estudia las leyes necesarias para la construcción de un razonamiento perfecto. Hoy en día su campo de estudio es mucho más amplio, ya que abarca la ciencia de la computación matemática. Pero primero vamos a tratar la cuestión del razonamiento. Cuando hablamos de razonamiento, debemos tener muy claro que cualquier lógica psicológica son consideraciones irrelevantes sobre el acto de razonar. Lo que importa es la forma del razonamiento. En este libro podrá aprender todo lo necesario para comprender los distintos razonamientos y la...

Este libro tuvo su origen en un curso de lecciones dadas a los alumnos de la Universidad de Oxford y está destinado a estudiantes que aparte de los estudios básicos de Algebra lineal y Calculo, hayan seguido un curso introductorio de Algebra, y que además tenga una cierta disposición para el razonamiento abstracto.

Yákov Isídorovich Perelmán fue un divulgador de la física, las matemáticas y la astronomía, uno de los fundadores del género de la literatura de ciencia popular.

CONTENIDO: El problema de la consistencia - Pruebas absolutas de consistencia - La codificación sistemática de la lógica formal - Un ejemplo de una prueba absoluta de consistencia - La idea de representación y su empleo en las matemáticas - Las pruebas de Gödel.