On formally undecidable propositions of Principia mathematica and related systems

Kurt Gödel 1906-1978 Bernard Meltzer; F. B. A Braithwaite

Localização: IME - Inst. Matemática e Estatística (QA10.5 G581uI e.2 )(Acessar)

Título:
On formally undecidable propositions of Principia mathematica and related systems
Autor: Kurt Gödel 1906-1978
Bernard Meltzer; F. B. A Braithwaite
Assuntos: Gödel's theorem; LÓGICA MATEMÁTICA; TEOREMA DE GODEL’S
Notas: Translation of a paper entitled Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I, published in the Monatshefte für Mathematik und Physik, v. 38, p. 173-198, 1931
Editor: Edinburgh Oliver & Boyd
Data de criação/publicação: 1962
Formato: 72 p 20 cm.
Idioma: Inglês

Links

Voltar para lista de resultados