^Tagontological proof

Asian woman doctor in personal protective suit or PPE wearing mask and goggles pray for covid-19 outbreak to improve. Medical, coronavirus, covid-19 and healthcare concept.

^{Type
post

Author
News
Date
February 20, 2022

Categorized
Philosophy, Religion, Science

Tagged
___longform, Bruce Hood, Extra-natural causes, Featured, Herman Dooyeweerd, Jerry Coyne (on free will), Joshua Farris (on God and science), Methodological naturalism (as bad science), Michael Egnor (on God and science), Minority Report (film), ontological proof, Prime Mover, Science (defined), Science and extra-natural causes, Self Illusion (book), Singularities, Theism (and science), This Idea Must Die (book), Thomistic philosophy (and science)}

Excluding All Reference to God From Science Is A Form of Theology

_{It’s negative theology, to be sure, Michael Egnor and his guest Joshua Farris agree, but still a theology — and one with implications} _{News

February 20, 2022

21

Philosophy, Religion, Science}

In this third podcast discussion, “Don’t Blame Me, I’m a Meat Robot,” neurosurgeon Michael Egnor and theology professor Joshua Farris discuss how a belief in God is compatible with science. Egnor argues that belief in God is a necessity, to prevent science going off the rails: https://mindmatters.ai/wp-content/uploads/sites/2/2022/02/MInd-Matters-Episode-174-Joshua-Farris-Episode-3-rev1.mp3 A partial transcript, notes, and links follow: Michael Egnor: I wanted to talk just a little bit about philosophy of science and its relation to theology. First question is, is a belief in God compatible with the practice of science? It seems like a silly question, but it’s actually a pretty hot question nowadays… Joshua Farris: There’s this common idea that when we proceed utilizing the method of methodological naturalism — as methodological Read More ›

Statue of Saint Anselm and the towers of the Cathedral of Aosta, the Cattedrale di Aosta de Corso Pere-Laurent in Aosta. Aosta Valley. Italy. Europe

^{Type
post

Author
Robert J. Marks and Samuel Haug
Date
June 7, 2021

Categorized
Mathematics, Religion

Tagged
Anselm of Canterbury, Axioms, Definitions, Descartees, God's existence, Gottfried Wilhelm Leibniz, Kurt Gödel, Kurt Gödel (belief in God), ontological proof, Theorems}

Gödel Says God Exists and Proves It

_{Here is a line-by-line explanation of his proof} _{Robert J. Marks and Samuel Haug

June 7, 2021

8

Mathematics, Religion}

Kurt Gödel, an intellectual giant of the 20th century, offered a mathematical proof that God exists. Those who suffer from math anxiety admire what the theorem (shown below) claims to do, but have absolutely no idea what it means. Our goal is to explain, in English, what Gödel’s existence of God proof says. Gödel’s proof shows the existence of God is a necessary truth. The idea behind the truth is not new and dates back to Saint Anselm of Canterbury (1033-1109). Great scientists and philosophers, including Descartes and Leibniz, have reconsidered and refined Anselm’s argument. Gödel appears to be the first, however, to present the argument using mathematical logic. Lexicography In any development of a mathematical theory, there are foundational axioms Read More ›

The robot writes with a pen and looks at the computer monitor. Artificial Intelligence

^{Type
podcast

Author
Robert J. Marks
Date
September 24, 2020

Tagged
Abstract thought, Ada Lovelace, Alan Turing, Algorithm-of-the-Gaps, AlphaGo, Charles Babbage, Claude Shannon, Cognition, computer, Computers, Consciousness, Creativity, David Gelernter, disjunctive syllogism, Eugene Goostman, Gottfried Wilhelm Leibniz, Kurt Gödel, Language, Lovelace test, Marcel Proust, Mathematics, Natural Language Generation, Natural Language Processing, non-algorithmic, novels, ontological argument, ontological proof, Ray Kurzweil, Saint Anselm, Selmer Bringsjord, Singularity, Sports, Theorems, Turing Test}

Bingecast: Selmer Bringsjord on the Lovelace Test

_{Robert J. Marks

September 24, 2020

4}

The Turing test, developed by Alan Turing in 1950, is a test of a machine’s ability to exhibit intelligent behaviour indistinguishable from a human. Many think that Turing’s proposal for intelligence, especially creativity, has been proven inadequate. Is the Lovelace test a better alternative? What are the capabilities and limitations of AI? Robert J. Marks and Dr. Selmer Bringsjord discuss Read More ›

^{Type
podcast

Author
Robert J. Marks
Date
May 7, 2020

Tagged
disjunctive syllogism, Gottfried Wilhelm Leibniz, Kurt Gödel, Mathematics, ontological argument, ontological proof, Saint Anselm, Selmer Bringsjord, Theorems}

Kurt Gödel’s Proof of the Existence of God

_{Robert J. Marks

May 7, 2020

1}

Kurt Gödel toppled a tall tower of mathematical reasoning with publication of his work showing no formal system of math could be both complete and consistent. He also gave a mathematical proof of the existence of God. Is Gödel’s proof valid? Robert J. Marks and Dr. Selmer Bringsjord discuss mathematics, Kurt Gödel, and the ontological argument. Show Notes 01:05 | Read More ›