Imagem da capa

Gödel's Incompleteness Theorems A Guided Tour Through Kurt Gödel’s Historic Proof /

In 1931, the mysterious-sounding article "On Formally Undecidable Propositions of Principia Mathematica and Related Systems I" shook the mathematical world. In this article, Kurt Gödel proved two incompleteness theorems that have fundamentally changed our view of mathematics. Gödel's...

ver descrição completa

Na minha lista:
Detalhes bibliográficos
Autor principal: Hoffmann, Dirk W. (Author)
Autor Corporativo: SpringerLink (Online service)
Formato: Recurso Electrónico livro electrónico
Idioma:inglês
Publicado em: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2024.
Edição:1st ed. 2024.
Assuntos:
Mathematical logic.
Mathematical Logic and Foundations.
Acesso em linha:https://doi.org/10.1007/978-3-662-69550-0
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!

Registos relacionados

Registos relacionados