Demonstração ontológica de Gödel: diferenças entre revisões

Conteúdo apagado Conteúdo adicionado
m Correção do sentido do Axioma 2 e outras correções ortográficas menores
DougNovaes (discussão | contribs)
Etiquetas: Edição via dispositivo móvel Edição feita através do sítio móvel Edição móvel avançada
Linha 12:
A primeira versão de sua demonstração ontológica data de "cerca de 1941". Não se sabe se Gödel disse a alguém sobre seu trabalho em sua demonstração até 1970, quando ele achou que estava morrendo. Em fevereiro, ele deixou [[Dana Scott]] copiar uma versão da demonstração, que circulava em privado. Em Agosto de 1970, Gödel disse a [[Oskar Morgenstern]] que ele estava "satisfeito" com a demonstração, mas Morgenstern escreveu em seu diário um registro no dia de 29 de Agosto de 1970, que Gödel não publicaria por conta de que ele estava com medo de que outros poderiam pensar "que ele na verdade acreditara em Deus, enquanto que ele estava apenas engajado com investigações lógicas (isto é, em demonstrar que tais provas com premissas clássicas (completude, etc.) correspondentemente axiomáticas, é possível )."<ref>Quoted in Gödel 1995, p. 388. </ref>&nbsp;Gödel morreu no dia 14 de Janeiro de 1978. Outra versão, ligeiramente diferente da de Scott, foi encontrada em seus escritos. A prova finalmente foi publicada juntamente com a versão de Scott em 1987.<ref>The publication history of the proof in this paragraph is from Gödel 1995, p. 388</ref>
 
O diário de Morgenstern é uma importante e confiável fonte para os últimos anos de Gödel, mas a implicação do registro no diário de Agosto de 1970 -- de que Gödel não acreditara em Deus -- não é consistente com a outra evidência. Em cardascartas para sua mãe, que não frequentava a igrajaigreja e que o criou e seu irmão como pensadores livres,<ref>Dawson 1997, pp. 6.</ref> Gödel argumenta de forma prolongada por uma crença na vida após a morte.<ref>Dawson 1997, pp. 210-212.</ref>&nbsp;Ele fez o mesmo em uma entrevista com o cético Hao Wang, que disse: "Eu expressei minhas dúvidas enquanto G falava [...] Gödel sorriu enquanto replicava às minhas perguntas, obviamente ciente de que suas respostas não estavam me convencendo."<ref>Wang 1996, p. 317. </ref> Wang informa que "a esposa de Gödel, Adele, dois dias depois da morte dele, disse a Wang que "Gödel, embora ele não fosse à igreja, era religioso e lia a bíblia na cama toda manhã de domingo."<ref>Wang 1996, p. 51.</ref>&nbsp;Em uma resposta não enviada a um questionário, Gödel descreveu sua religião como "Luterano batizado (mas não um membro de nenhuma congregação religiosa). Minha crença é teísta, não [[panteísta]], seguindo mais[[ Leibniz]] a [[Baruch Espinoza|Spinoza]]."<ref>Gödel's answer to a special questionnaire sent him by the sociologist Burke Grandjean. </ref>
 
== Esboço da Demonstração de Gödel ==