por Ernest Nagel, James R. Newman · Tapa dura · ISBN 9780814758168
IVA incluído
Garantia de qualidade Hamelyn · revisto e verificado, ou devolvemos o dinheiro
«Gödel's Proof» é o ensaio de divulgação lógico-matemática de Ernest Nagel e James R. Newman, publicado pela NYU Press em capa dura (129 páginas, em inglês).
Nagel e Newman expõem a descoberta de Kurt Gödel (1931): a existência de proposições formalmente indecidíveis em Principia Mathematica e sistemas relacionados. De forma acessível, revêem a noção de consistência, a codificação da lógica formal e a aritmetização da metamatemática para mostrar as implicações desta prova.
Esta edição revista inclui um novo prefácio de Douglas R. Hofstadter; a obra foi publicada originalmente em 1958.
Pensado para estudantes, académicos e profissionais de matemática, informática, lógica e filosofia, e para qualquer leitor interessado nestas matérias.
