2 ms·

I think you will be pleasantly amused by this marriage of logic and religious beliefs: https://en.wikipedia.org/wiki/G%C3%B6del%27s_ontological_proof#Computatio

by thesz 2y ago

I think you will be pleasantly amused by this marriage of logic and religious beliefs: https://en.wikipedia.org/wiki/G%C3%B6del%27s_ontological_proof#Computationally_verified_versions https://en.wikipedia.org/wiki/G%C3%B6del%27s_ontological_pro... It is formally proven that an entity that encompass all qualities of a God must exist.

hks0 2y ago
Very interesting read, Thanks! If I'm reading that article correctly, the criticism to Gödel is the same criticism I had for Leibniz: > A proof does not necessitate that the conclusion be correct, but rather that by accepting the axioms, the conclusion follows logically. > Many philosophers have called the axioms into question.