Sobre a prova matemática mais ousada da existência de Deus

84 views
Skip to first unread message

Walter Carnielli

unread,
Dec 2, 2023, 9:48:22 AM12/2/23
to Lista dos Logicos Brasileiros
Como as questões sobre a (i)natureza e a (des)existência de Deus são
tratadas com a máxima racionalidade? E isso importa?

https://unusmundus.academiaabc2.org.br/sobre-a-prova-matematica-mais-ousada-da-existencia-de-deus/


Carnielli, Walter. Unus Mundus, Belo Horizonte, n. 2, jul-dez, 2023.
--
========================
Walter Carnielli
CLE and Department of Philosophy
University of Campinas –UNICAMP, Brazil
AI2- Advanced Institute for Artificial Intelligence
https://advancedinstitute.ai/
Blog https://waltercarnielli.com/

Itala Maria Loffredo D'Ottaviano

unread,
Dec 4, 2023, 5:25:21 PM12/4/23
to Walter Carnielli, Lista dos Logicos Brasileiros
Caros Walter e demais colegas:

Escrevo para lembrar que o Frank Thomas Sautter, há vários anos, apresentou ao Programa de Pós-Graduação em Filosofia da UNICAMP , sob minha orientação, uma belíssima tese de Doutorado sobre a "Prova Ontológica da Existência de Deus de Kurt Godel". Inclusive com a proposição de um sistema formal subjacente.

A Tese apresentou uma análise sobre as provas ontológicas da literatura, a partir da de Santo Anselmo, contemplando inclusive a de Leibniz.

Para os interessados, recomendo entrar em contato com o Frank.

Abraços,

itala

--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logi...@dimap.ufrn.br>
---
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+u...@dimap.ufrn.br.
Para acessar esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CA%2Bob58NszAF0VyiGde%2BqXsQzBJUf4vYjFt7qUq1Rhz53kFYD2Q%40mail.gmail.com.


--
Prof. Dr. Itala M. Loffredo D'Ottaviano
Full Professor in Logic and the Foundations of Science 
Member and Researcher of the Centre for Logic, Epistemology and the History of Science at the University of Campinas
Research Fellow of the Brazilian National Council for Scientific and Technological Development
Titular Member, Brazilian Academy of Philosophy (Rio de Janeiro)
Emeritus Member, Académie Internationale de Philosophie de Sciences (Bruxelles)
Titular Member, Institut International de Philosophie (Paris-Nancy)
Editor of Coleção CLE, by the Centre for Logic, Epistemology and the History of Science. 
Reply all
Reply to author
Forward
0 new messages