^TagSaint Anselm

White, grey and pink mandelbrot fractal.

^{Type
post

Author
News
Date
March 7, 2021

Categorized
Mathematics, Religion

Tagged
Anselm of Canterbury, Evolution, Featured, Gregory Chaitin, Incompleteness theorems (Gödel), Kurt Gödel (belief in God), Robert J. Marks, Saint Anselm}

How Kurt Gödel Destroyed a Popular Form of Atheism

_{We don’t hear much about logical positivism now but it was very fashionable in the early twentieth century} _{News

March 7, 2021

6

Mathematics, Religion}

In this week’s podcast, “The Chaitin interview I: Chaitin chats with Kurt Gödel,” Walter Bradley Center director Robert J. Marks interviewed mathematician and computer scientist Gregory Chaitin. Earlier, we noted his comments on the almost supernatural awareness that the great mathematicians had of the foundations of reality in the mathematics of our universe. Yesterday, we heard Chaitin’s recollection of how he (almost) met the eccentric genius Kurt Gödel (1906–1978). One way that Gödel stood out from many of his contemporaries was that he believed in God. He even wrote a mathematical proof of the existence of God. https://episodes.castos.com/mindmatters/Mind-Matters-124-Gregory-Chaitin.mp3 This portion begins at 17:16 min. A partial transcript, Show Notes, and Additional Resources follow. Robert J. Marks: One of the things 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 ›

If Then logic statement written in white chalk on a black chalkboard isolated on white

^{Type
post

Author
News
Date
May 10, 2020

Categorized
Artificial Intelligence, Mathematics, Religion

Tagged
___longform, Featured, Formal logic, Gottfried Wilhelm Leibniz, Kurt Gödel, Mathematics, Rene Descartes, Robert J. Marks, Saint Anselm, Selmer Bringsjord}

Gödel and God: A Surprising History

_{A thought-provoking account of master logician Gödel’s largely unknown proof of the existence of God} _{News

May 10, 2020

11

Artificial Intelligence, Mathematics, Religion}

In an unsanitized, politically incorrect (but factual) history, Selmer Bringsjord talks about how the tormented genius Kurt Gödel took up a quest that dated back a thousand years to prove the existence of God by formal logic. His original version didn’t quite work but his editor’s version passed an important logic test.

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 ›