Mind Matters Natural and Artificial Intelligence News and Analysis

TagKurt Gödel

technology-chemistry-and-science-banner-design-template-molecule-and-communication-pattern-connected-lines-with-dots-stockpack-adobe-stock
Technology, chemistry and science banner design template. Molecule and communication pattern. Connected lines with dots.

Kurt Gödel’s “Incompleteness Theorem”

For Kurt Gödel, mathematics pointed to a remarkable world of transcendent order and meaning
Gödel saw the beauty of numbers and associated them with a transcendent order. Read More ›
silhouette-of-human-with-universe-and-physical-mathematical-formulas-stockpack-adobe-stock
Silhouette of human with universe and physical, mathematical formulas

Why Is Theology the Most Important Empirical Science?

Arguing pro or con about the existence of God has resulted in many successful and/or widely accepted theories in science
If generating testable theories in empirical science is the standard of success, theology has certainly succeeded, as the record will show. Read More ›
a-phoenix-rising-from-the-ashes-against-a-fiery-backdrop-ai-generated-stockpack-adobe-stock
A phoenix rising from the ashes against a fiery backdrop - AI Generated

Why Logician Kurt Gödel Believed in Life After Death

He saw human folly as an opportunity to reform and learn, because our souls are immortal whether we like it or not
In a deeply rational, ordered universe, Gödel argues, human potential — frustrated in so many ways here — must flower afterward elsewhere. Read More ›
exoplanets-or-extrasolar-planets-with-stars-on-background-nebula-3d-illustration-stockpack-adobe-stock
Exoplanets or Extrasolar planets with stars on background nebula, 3D illustration

The Search for Extraterrestrial Life 18

We are starting to find more different kinds of exoplanets and an unexpected source of water on Mars

In our universe: Time travel? “How a Rotating Universe Makes Time Travel Possible” At Universe Today, Stony Brook astrophysicist Paul Sutter notes that mathematical philosopher Kurt Gödel (1906–1978) wrote a model for Albert Einstein (1879–1955) of a universe that allows time travel into the past: “Gödel constructed a relatively simple and artificial model universe to prove his point. This universe is rotating and contains only one ingredient. That ingredient is a negative cosmological constant that resists the centrifugal force of the rotation to keep the universe static. / Gödel found that if you follow a particular path in this rotating universe you can end up in your own past. ” (January 11, 2023) Our universe, as it happens, is not 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 ›

silhouette-of-virtual-human-on-abstract-technology-3d-illustration-stockpack-adobe-stock
silhouette of virtual human on abstract technology 3d illustration

George Gilder: An Economic Genius Talks About Gaming AI

George Gilder talks to Robert J. Marks about his book Gaming AI: Why AI Can’t Think but Can Transform Jobs. Show Notes Additional Resources

science-and-research-of-the-universe-spiral-galaxy-and-physical-formulas-concept-of-knowledge-and-education-stockpack-adobe-stock
Science and research of the universe, spiral galaxy and physical formulas, concept of knowledge and education

Why Did Stephen Hawking Give Up on a Theory of Everything?

Daniel Díaz and Ola Hössjer continue their discussion of the fine tuning of the universal constants of nature with Robert J. Marks

In a continuing conversation with Swedish mathematician Ola Hössjer and Colombian biostatistician Daniel Díaz on the fine-tuning of the universe — and Earth — for life, Walter Bradley Center director Robert J. Marks asks them about why a Theory of Everything eludes us and about the life-permitting interval — the narrow window for life that the constants of the universe permit. This is the second part of Episode 3, “The universe is so fine-tuned!” (September 16, 2021). Earlier portions, with transcripts and notes, are listed below. https://episodes.castos.com/mindmatters/Mind-Matters-Episode-152-Hossjer-Diaz.mp3 This portion begins at 12:36 min. A partial transcript, Show Notes, and Additional Resources follow. Robert J. Marks: In truth, there’s a lot of fundamental constants — the electric charge of an electron, Read More ›

portrait-of-smiling-male-student-solving-algebra-equation-on-whiteboard-in-classroom-stockpack-adobe-stock
solving algebra equation on whiteboard in classroom

How Eccentric Mathematician Kurt Gödel Opened the World

Science writer: As often happens, few people understood the significance of what had just happened. The one exception was John von Neumann.

Albert Einstein, Jogalekar tells us, considered it a privilege to walk home with Gödel every day. Why?: In an exceptionally elegant essay, science writer Ashutosh Jogalekar (no stranger to controversy) talks about the huge difference Kurt Gödel (1906–1978) made by eliminating the idea that some single, simple explanation would put an end to all questioning about the nature of the universe in favor of some simple materialism. In a review of Stephen Budiansky’s biography of Gödel, Journey to the Edge of Reason (Harvard 2021), Jogalekar explains how Gödel dashed such hopes: In September 1930, a big conference was going to be organized in Königsberg. German mathematics had been harmed because of Germany’s instigation of the Great War, and Hilbert’s decency 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 ›

bubbles-stockpack-adobe-stock.jpg
Bubbles

How Materialism Proves Unbounded Scientific Ignorance

There is an infinite number of things that are true that we cannot prove scientifically and never will

Science is based on a glut of laws from physics, chemistry, mathematics, and other areas. The assumption of scientific materialism, as I understand it, is that science has explained or will explain everything. The final conclusion of scientific materialism, also known as scientism, is nicely captured in a question chemist Peter Atkins asked philosopher William Lane Craig in a debate: “Do you deny that science can account for everything?” Scientism’s assumption that science can establish everything is self-refuting. Careful analysis shows that there is an infinite number of things that are true that we cannot prove scientifically and never will. Stephen Hawking saw the tip of the iceberg of this truth when he said, “Up to now, most people have Read More ›

connect the dots.jpg
Anti social man, business connection or social network concept, miniature people businessman standing on colorful pastel chalk line link and connect between multiple dot or tiers on blackboard

What Is the Essential Feature of Creative Intelligence?

Creative intelligence is easier to describe by what it is not than by what it is. But there is a clue in that very fact…

I’ve spent the past couple articles debunking artificial intelligence. It is just as artificial as its name suggests. It takes on the appearance of intelligence through speed but it lacks the fundamental ability to create a well-matched start and end. So a perceptive reader has returned with another good question: “What is creative intelligence?” The reader is right to ask. Yes, telling someone that the exquisite dessert is not celery and not cod liver oil does not help us understand what the dessert itself is. There is a mystery regarding the very nature of human intelligence. Like its antithesis, randomness, creative intelligence is easier to describe by what it is not than by what it is. But, we can try! Read More ›

spacex-concept-spacecraft-in-orbit-of-the-earth-spacex-elon-musk-mars-programm-3d-render-stockpack-adobe-stock.jpg
SpaceX Concept Spacecraft in orbit of the Earth. SpaceX Elon Musk Mars programm 3d render

Why Elon Musk and Other Geniuses Can’t Afford To Follow Rules

Mathematician Gregory Chaitin explains why Elon Musk is, perhaps unexpectedly, his hero

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 great books on math, advancing new theorems, aren’t written much any more. This week, we look at why geniuses like Musk (whose proposed Mars Orbiter is our featured image above) simply can’t just follow the rules, for better or worse: https://episodes.castos.com/mindmatters/Mind-Matters-126-Gregory-Chaitin.mp3 This portion begins at 7:57 min. A partial transcript, Show Notes, and Additional Resources follow. Gregory Chaitin: Look at Elon Musk (pictured). He’s my great hero. He’s a wonderful engineer and he’s a wonderful entrepreneur and he doesn’t follow the rules. Robert J. Marks: He doesn’t, Read More ›

close-up-cute-little-child-girl-spinning-a-coin-to-make-decision-heads-or-tails-game-stockpack-adobe-stock.jpg
Close up cute little child girl spinning a coin to make decision. Heads or tails game.

The Chaitin Interview II: Defining Randomness

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. Listen in as Robert J. Marks explores that paper with Chaitin, covering Chaitin’s definition of randomness and his philosophical interest in algorithmic information theory. Show Notes Additional Read More ›

mandelbrot-set-abstract-mathematics-computer-generated-stockpack-adobe-stock.jpg
mandelbrot set abstract mathematics computer generated

Gregory Chaitin’s “Almost” Meeting With Kurt Gödel

This hard-to-find anecdote gives some sense of the encouraging but eccentric math genius

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. Yesterday, 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. This time out, Chaitin recounts how he (almost) met the eccentric genius Kurt Gödel (1906–1978): https://episodes.castos.com/mindmatters/Mind-Matters-124-Gregory-Chaitin.mp3 This portion begins at 12:42 min. A partial transcript, Show Notes and Additional Resources follow. Robert J. Marks: You mentioned that you read the article about Gödel’s Incompleteness Theorem in Scientific American I also know that you had a near brush with Gödel and I’ve heard the story from you. But Read More ›

silhouette-of-human-with-universe-and-physical-mathematical-formulas-stockpack-adobe-stock.jpg
Silhouette of human with universe and physical, mathematical formulas

Gregory Chaitin on the Great Mathematicians, East and West

Himself a “game-changer” in mathematics, Chaitin muses on what made the great thinkers stand out

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 on the almost supernatural awareness that the great mathematicians had of the foundations of reality in the mathematics of our universe: https://episodes.castos.com/mindmatters/Mind-Matters-124-Gregory-Chaitin.mp3 This discussion begins at 8:26 min. A partial transcript, Show Notes and Additional Resources follow. Robert J. Marks: There are few people who can be credited without any controversy with the founding of a game changing field of mathematics. We are really fortunate today to talk to Gregory Chaitin (pictured) who has that distinction. Professor Chaitin is a co-founder of the Field of Algorithmic Information Theory that explores the properties of Read More ›

close-up-shot-of-a-hand-holding-chalk-and-writing-complex-and-sophisticated-mathematical-formula-equation-on-the-blackboard-stockpack-adobe-stock.jpg
Close-up Shot of a Hand Holding Chalk and Writing Complex and Sophisticated Mathematical Formula/ Equation on the Blackboard.

The Chaitin Interview I: Chaitin Chats with Kurt Gödel

In this week’s Mind Matters episode, Robert J. Marks begins a conversation with mathematician and computer scientist Gregory Chaitin. The two discuss Chaitin’s beginnings in computer science, his thoughts on historic scientists in his field such as Leonard Euler and Kurt Gödel, and even the story of how a cold call to Gödel almost led to Chaitin meeting the famed Read More ›

guerilla-urbaine-stockpack-adobe-stock.jpg
Guérilla urbaine

Gödel’s Incompleteness Theorems: The Cause—and Cure—of Wokeness?

Why do so many people today think there are only arguments, not facts?

In modern “woke” ideology, there are no facts, only arguments which express cultural power— based on the acceptance of those arguments by current society. In such ideologies, it is not important whether or not the arguments are logically consistent or if they are true in any real sense. What is important is whether or not they achieve the desired results in politics and society. This is not a criticism. It is a description of their methodology (for a review of the academic literature on the subject, see the book Cynical Theories by Helen Pluckrose and James Lindsay. Many people wonder how we got here. Why do so many scholars actively reject logic as a method of finding the truth, and Read More ›

schematic-of-human-brain-and-communication-via-circuit-board-artificial-intelligence-stockpack-adobe-stock.jpg
schematic of human brain and communication via circuit-board, artificial intelligence

George Gilder on Superintelligent AI

George Gilder and Robert J. Marks discuss the human brain, superintelligent machines, artificial intelligence, and George Gilder’s new book Gaming AI: Why AI Can’t Think but Can Transform Jobs (which you can get for free here). Show Notes Additional Resources

bitcoin-statistics-stockpack-unsplash.jpg
Bitcoin statistics

Artificial Intelligence Gaming the Stock Market

What are some assumptions about artificial intelligence? How does artificial intelligence affect the stock market? George Gilder and Robert J. Marks discuss assumptions about artificial intelligence, the stock market, and George Gilder’s new book Gaming AI: Why AI Can’t Think but Can Transform Jobs (which you can get for free here). Show Notes Additional Resources

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 ›