Formalização e axiomatização de provas ontológicas
Das conjecturas de Jeans e Schrödinger à formulação computacional de Benzmüller e Woltzenlogel Paleo da prova de Gödel
DOI:
https://doi.org/10.20873/rpv2n2-30Abstract
Kurt Gödel foi um dos maiores matemáticos do século XX, com contribuições para a lógica e também para o campo da cosmologia à partir da elaboração de soluções para as equações de Einstein. Como filósofo, Gödel dedicou-se à lógica e aplicou-se à axiomatização não formal de uma prova ontológica. Benzmüller e Woltzenlogel Paleo desenvolveram, por meios computacionais, uma formalização do sistema axiomático gödeliano. O trabalho pode abrir novas perspectivas para a aplicação de técnicas das ciências da computação no campo da lógica matemática, suscitar questões epistemológicas importantes, além de ser historicamente relevante por colocar em destaque um trabalho não publicado de Gödel. Apresentamos a tradução do trabalho de Benzmüller e Woltzenlogel Paleo, antecedida por um artigo com considerações gerais sobre diferentes provas ontológicas, cosmológicas e físico-teleológicas.
Downloads
Published
How to Cite
Issue
Section
License
The Magazine is under the Creative Commons Attribution 4.0 International Public License (CC BY 4.0), according to which:
1) The authors retain the copyright and grant the journal the right of first publication, with the work simultaneously licensed under the Creative Commons Attribution which allows the sharing of articles published with the recognition of authorship and initial publication in this journal.
2) Authors are authorized to enter into additional contracts separately for distribution of the version of the work published in this journal, as long as there is recognition of authorship and initial publication in Perspectivas.
3) Authors are authorized and encouraged to disseminate published texts with proper references to the journal and its authors.
