O livro faculta uma introdução autossuficiente à lógica matemática e à teoria da computabilidade para alunos de matemática ou de ciência da computação. Está organizado em três partes à volta dos sucessos e fracassos do programa de Hilbert de formalização da Matemática. A Parte I aborda a questão da formalização e a computabilidade. A Parte II apresenta a lógica de primeira ordem, incluindo o teorema da completude de Gödel e o teorema da coerência de Gentzen. A Parte III está focada na aritmética, na representabilidade de aplicações computáveis, nos teoremas da incompletude de Gödel e na decidibilidade da aritmética de Presburger. A Parte IV inclui respostas detalhadas a exercícios selecionados. Um curso de graduação poderá ser baseado nas duas primeiras partes, excluindo o cálculo de Gentzen e terminando com uma panorâmica do caminho para o primeiro teorema da incompletude. Num curso mais avançado poder-se-á suprimir o material introdutório já do conhecimento dos alunos e estabelecer os resultados positivos e negativos do programa de Hilbert, abordando, desta forma, a demonstração da coerência proposta por Gentzen e a Parte III na íntegra. Esta segunda edição alargada também incorpora as correções e muitas revisões pontuais do texto preparadas desde a sua publicação original.
Este sitio web utiliza cookies propias y de terceros para analizar nuestros servicios y mostrarte publicidad relacionada con tus preferencias, en base a un perfil elaborado a partir de tus hábitos de navegación (por ejemplo, páginas visitadas). Si continúas navegando, consideraremos que aceptas su uso. Puedes configurar o rechazar la utilización de cookies u obtener más información aquí
Más información sobre el uso de "cookies" y sus opciones de privacidad
Este sitio web utiliza cookies tanto propias como de terceros para recabar y tratar su información con las finalidades que se detallan a continuación en el panel de configuración.
A través del mismo, puede aceptar o rechazar de forma diferenciada el uso de cookies, que están clasificadas en función del servicio. En cada uno de ellos encontrará información adicional sobre sus cookies. Puede encontrar más información en la Política de cookies.
Estrictamente necesarias (técnicas):
Se usan para actividades que son estrictamente necesarias para gestionar o prestar el servicio que usted nos ha solicitado y, por tanto, no exigen su consentimiento.
Google Analytics
Google Analytics es una herramienta de analítica web de la empresa Google. Ofrece información agrupada del tráfico que llega a los sitios web según la audiencia, la adquisición, el comportamiento y las conversiones que se llevan a cabo en el sitio web. Es una herramienta utilizada en marketing digital.