Mind Matters Natural and Artificial Intelligence News and Analysis

TagGottfried Wilhelm Leibniz

silhouette-of-a-man-with-thoughts-in-the-form-of-physico-mathematical-formulas-the-concept-of-scientific-and-education-topics-stockpack-adobe-stock
Silhouette of a man, with thoughts in the form of physico-mathematical formulas. The concept of scientific and education topics.

Is Mathematics Discovered or Invented?

Some think math is invented. Evidence, though, points towards discovery.

Some think math is invented. (See the article by Peter Biles.) Evidence, though, points towards discovery. Simultaneous mathematical discovery supports this viewpoint. Many mathematical breakthroughs are sometimes independently reported by two or more mathematicians at roughly the same time. The most famous is the simultaneous discovery of calculus by Isaac Newton and Gottfried Wilhelm Leibniz. Newton was secretive about his discovery and shared his results with only a few members of the Royal Society. When Leibnitz published his discovery of the calculus, Newton charged him with plagiarism. Today, historians agree that the discoveries were independent of each other. Here are some other lesser-known examples of simultaneous discovery. The Papoulis-Gerchberg Algorithm (PGA).  The PGA is an ingenious method for recovering lost Read More ›

elements-of-infinity-stockpack-adobe-stock
Elements of Infinity

Mathematics Can Prove the Existence of God

Atheist biologist Jerry Coyne finds that difficult to believe but it’s really a matter of logic

This story was #3 in 2022 at Mind Matters News in terms of reader numbers. As we approach the New Year, we are rerunning the top ten stories of 2022, based on reader interest. In “Mathematics can prove the existence of God” (July 31, 2022), neurosurgeon Michael Egnor offers this thought: Because mathematics can show infinity, eternity, and omnipotence, it can only have proceeded from a mind with those characteristics. That’s God. In a recent post, atheist biologist Jerry Coyne takes issue with a commenter who asserts that God exists in the same sort of way mathematics exists. Here’s the analogy the commenter offered, as quoted by Coyne: Think of numbers for example, or mathematical equations, these are metaphysical things, Read More ›

abstract-futuristic-stripe-line-printed-circuit-board-pattern-with-gear-wheel-and-math-fornula-on-blue-color-background-math-science-engineered-drawn-project-plot-concept-stockpack-adobe-stock
Abstract futuristic stripe line printed circuit board pattern with gear wheel and math fornula on blue color background. Math science engineered drawn project plot concept

Mathematics Can Prove the Existence of God

Atheist biologist Jerry Coyne finds that difficult to believe but it’s really a matter of logic

In a recent post, atheist biologist Jerry Coyne takes issue with a commenter who asserts that God exists in the same sort of way mathematics exists. Here’s the analogy the commenter offered, as quoted by Coyne: Think of numbers for example, or mathematical equations, these are metaphysical things, that have not been created, however were discovered. The number 7 was the number 7 before anything at all came into existence. This is also true concerning the nature of God. He is not some material being that has come into existence, he is like a number that has always existed, (and by the way nobody will deny this logic with the number, however when someone mentions God a problem occurs). Jerry Read More ›

abstract-technology-background-web-developer-computer-code-programming-coding-hacker-concept-green-and-blue-neon-figures-fall-from-top-to-bottom-stockpack-adobe-stock
Abstract Technology Background. Web Developer. Computer Code. Programming. Coding. Hacker concept. Green and blue neon figures fall from top to bottom.

Randomness, Information Theory, and the Unknowable

In the 1960s, mathematician and computer scientist Gregory Chaitin published a landmark paper in the field of algorithmic information theory in the Journal of the ACM – and he was only a teenager. Since then he’s explored mathematics, computer science, and even gotten a mathematical constant named after him. Robert J. Marks leads the discussion with Professor Gregory Chaitin on Read More ›

knight-chess-isolated-on-gray-background-stockpack-adobe-stock
Knight chess isolated on gray background

2. A Neurosurgeon’s Ten Proofs for the Existence of God

First, how did a medic, formerly an atheist, who cuts open people’s brains for a living, come to be sure there is irrefutable proof for God?

“Does God exist?” On September 17, in a dramatic debate, Christian neurosurgeon Michael Egnor and atheist broadcaster Matt Dillahunty squared off on the question at Theology Unleashed. The debate hosts are Arjuna Das for Theology Unleashed and Nathan from Digital Gnosis as the moderator. A partial transcript and notes follow. Egnor has been a guest at Theology Unleashed, before, debating materialist philosopher David Papineau. The ten proofs of God that he presents as his opening argument below are not drawn from sacred texts but from philosophical reasoning: Michael Egnor: There are, broadly speaking, two different kinds of theology. There’s natural theology and there’s revealed theology. Revealed theology is the use of scripture, personal experiences, or relationships to God. And that’s 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-stockpack-adobe-stock
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

Gödel Says God Exists and Proves It

Here is a line-by-line explanation of his proof

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 ›

evolving-abstract-visualization-stockpack-adobe-stock.jpg
Evolving Abstract Visualization

Can Mathematics Help Us Understand Consciousness?

Gregory Chaitin asks, what if the universe is information, not matter?

In last week’s podcast, “The Chaitin Interview IV: Knowability and Unknowability,” Walter Bradley Center director Robert J. Marks interviewed mathematician Gregory Chaitin, best known for Chaitin’s Unknowable Number, on, among other things, consciousness. What can mathematics contribute to the discussion. Also, what does Chaitin think about panpsychism (everything is conscious”)? The discussion began with reference to David Chalmers’s 1996 book, The Conscious Mind: In Search of a Fundamental Theory, in which Chalmers coined the term “Hard Problem of Consciousness.” The term acknowledged what everyone knew, that human consciousness is a very difficult problem to understand, especially from a materialist perspective.Are there other approaches? Chaitin offers a look at the challenge panpsychism presents to materialism: https://episodes.castos.com/mindmatters/Mind-Matters-127-Gregory-Chaitin.mp3 This portion begins at 28:25 Read More ›

abstract-virtual-binary-code-illustration-on-blurry-modern-office-building-background-big-data-and-coding-concept-multiexposure-stockpack-adobe-stock.jpg
Abstract virtual binary code illustration on blurry modern office building background. Big data and coding concept. Multiexposure

The Chaitin Interview V: Chaitin’s Number

Listen in as Robert J. Marks picks the mind of Professor Gregory Chaitin about Chaitin’s number – a number that has been called “mystical and magical”. How does this number work? Why do some people call it “Chaitin’s constant”? What is the usefulness of philosophizing in mathematics? Show Notes 00:27 | Introducing Gregory Chaitin and Chaitin’s number 01:32 | Chaitin’s Read More ›

omega-the-letter-of-a-greek-alphabet-greek-numerals-mathematical-eight-hundred-number-concept-abstract-digital-wireframe-low-poly-mesh-raster-blue-neon-3d-illustration-triangle-line-dot-stockpack-adobe-stock.jpg
Omega, the letter of a Greek alphabet. Greek numerals, mathematical eight hundred number concept. Abstract, digital, wireframe, low poly mesh, Raster blue neon 3d illustration. Triangle, line dot

The Chaitin Interview IV: Knowability and Unknowability

What does it mean for something to be unknowable? Is creativity non-computable? Do all things have a level of consciousness? Jump into today’s podcast, where Robert J. Marks continues his discussion with Gregory Chaitin about mathematical theory and philosophy. Show Notes 00:23 | Introducing Gregory Chaitin 00:40 | What is unknowability? 06:07 | Does non-computable mean unknowable? 09:43 | A Read More ›

online-education-concept-stockpack-adobe-stock.jpg
Online education concept

How Stephen Wolfram Revolutionized Math Computing

Wolfram has not made computers creative but he certainly took a lot of the drudgery out of the profession

In last week’s podcast, “The Chaitin Interview III: The Changing Landscape for Mathematics,” Walter Bradley Center director Robert J. Marks interviewed mathematician and computer scientist Gregory Chaitin on many things mathematical, including why math or engineering geniuses (Elon Musk came to mind, of course) can’t just follow the rules. This week, we look at Stephen Wolfram’s new program that checks your hard math. What can — and can’t — it do for mathematicians? https://episodes.castos.com/mindmatters/Mind-Matters-126-Gregory-Chaitin.mp3 This portion begins at 13:22 min. A partial transcript, Show Notes, and Additional Resources follow. Gregory Chaitin: Now, there is what I regard as a piece of AI, so it might be interesting to talk about it. My friend Stephen Wolfram (pictured), the system he’s created, Read More ›

infinite-random-numbers-original-3d-rendering-background-technology-and-science-concepts-stockpack-adobe-stock.jpg
Infinite random numbers, original 3d rendering background, technology and science concepts

Chaitin’s Discovery of a Way of Describing True Randomness

He found that concepts from computer programming worked well because, if the data is not random, the program should be smaller than the data

In this week’s podcast, “The Chaitin Interview II: Defining Randomness,” Walter Bradley Center director Robert J. Marks interviewed mathematician and computer scientist Gregory Chaitin on randomness. It’s a subject on which Chaitin has thought deeply since his teenage years (!), when he published a journal paper on the subject. How do we measure randomness? Chaitin begins by reflecting on his 1969 paper: https://episodes.castos.com/mindmatters/Mind-Matters-125-Gregory-Chaitin.mp3 This portion begins at 1:12 min. A partial transcript, Show Notes, and Additional Resources follow. Gregory Chaitin: In particular, my paper looks at the size of computer programs in bits. More technically you ask, what is the size in bits of the smallest computer program you need to calculate a given digital object? That’s called the program Read More ›

the-robot-writes-with-a-pen-and-looks-at-the-computer-monitor-artificial-intelligence-stockpack-adobe-stock.jpg
The robot writes with a pen and looks at the computer monitor. Artificial Intelligence

Bingecast: Selmer Bringsjord on the Lovelace Test

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-stockpack-adobe-stock.jpg
If Then logic statement written in white chalk on a black chalkboard isolated on white

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

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.

Read More ›
e-mc2-written-on-chalkboard-stockpack-unsplash.jpg
E-mc2 written on chalkboard

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

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 ›