|
Ja falei sobre isto aqui e vou falar de novo.
Goedel foi uma grande figura da Logica e dos Fundamentos de
Matematica.
Quem se interessa por estes assuntos, deve ler o proprio
Goedel (suas obras completas foram editadas inclusive em Espanhol), e se quiser,
ha um otimo livrinho "Godel' s Proof", de Nagel e Newman, que explica bem o
Teorema de Goedel. Tambem o livro Aventuras Matematicas, do Miguel de Guzman (em
espanhol) tem um capitulo sobre isto.
Mas tomem cuidado quando lerem ou ouvirem nao-matematicos
falarem sobre os Teoermas de Indecibilidade de Goedel, porque em geral eles nao
sabem do que estao falando, e comecam a extrapolar do terreno tecnico para as
suas proprias filosofias, que nao sao as de Goedel.
JP
-----Mensagem original-----
De: Jorge Peixoto Morais <jorge_peixotom@hotmail.com> Para: obm-l@mat.puc-rio.br <obm-l@mat.puc-rio.br> Data: Segunda-feira, 6 de Novembro de 2000 01:09 Assunto: Godel Eu vi uma citação em um livro sobre a "destruição
de um sonho": Godel provou que a "Matemática totalmente lógica" era impossível,
ou algo assim. Eu fiquei interessado . Que história é
essa?
|