Formalization, Mechanization and Automation of Gödel's Proof of God's Existence
Journal reference: Frontiers in Artificial Intelligence and Applications, Volume 263: ECAI 2014
Related DOI: IOS Press Ebooks - Automating Gödel's Ontological Proof of God's Existence with Higher-order Automated...
A famous meme says, "There are no atheists in a war." A renowned atheist replied that
this is an argument against wars, not atheism.
But there are no atheists in a falling aircraft, either. Is this an argument not against
atheism but against aircraft falls? Who cares about the falls? It is...
There is a slow (period of almost 26000 years) precession
of the Earth's axis along the 12 constellations of the Zodiac.
The Earth remains in each constellation for 2150 years.
Jesus Christ stayed in Samaria (after talking at the well with
the Samaritan woman) for two days. A day is related...
To cite Wiki: All life on Earth—including humanity—shares a last universal common ancestor (LUCA),[9][10][11] which lived approximately 3.5–3.8 billion years ago.[12]
Many say that LUCA has come from random processes in life-less matter. I called it matter fluctuations, to remind you of vacuum...
We were taught that the formula t = (1-v^2/c^2)^{1/2} T relates the time t on
the ship's clock to the time T that will pass on Earth.
Thus, according to the formula, when v is about c, the time t is about zero t=0.
But the ship on its way to Earth passes Pluto at a speed of about c. The ship's...
Jesus Christ, a figure of fame, beauty, and health, is often associated with the
musical 'Jesus Christ Superstar '. But who, then, is the subject of Isaiah 53?
He had no beauty or majesty to attract us to him,
nothing in his appearance that we should desire him.
He was despised and rejected...