^Taghalting problem

^{Type
post

Author
News
Date
November 6, 2022

Categorized
Artificial Intelligence, Programming

Tagged
Artificial intelligence doomsday scenarios, David Nield, halting problem, Marcus Hutter, Michael K. Cohen, Tower of Babel and doomsday scenarios}

Two Computer Doomsday Scenarios: How Likely Are They?

_{One features a computer superintelligence beyond human comprehension and the other features a computer that destroys the world for an algorithmic reward} _{News

November 6, 2022

5

Artificial Intelligence, Programming}

In an open-access paper last year at the Journal of Artificial Intelligence Research, a research group concluded that a computer superintelligence, if developed, could not be contained. It would be a HAL 9000 that couldn’t just be turned off. Science writer David Nield explains: The catch is that controlling a super-intelligence far beyond human comprehension would require a simulation of that super-intelligence which we can analyze (and control). But if we’re unable to comprehend it, it’s impossible to create such a simulation. Rules such as ‘cause no harm to humans’ can’t be set if we don’t understand the kind of scenarios that an AI is going to come up with, suggest the authors of the new paper. Once a computer Read More ›

List of Prime Numbers below 100, Vintage type writer from 1920s

^{Type
post

Author
News
Date
April 7, 2021

Categorized
Mathematics

Tagged
Featured, Goldbach's Conjecture, Gregory Chaitin, halting problem, Omega double prime, Omega number, Omega prime, Robert J. Marks, Twin Prime Conjecture}

Could Chaitin’s Number Prove Goldbach’s Conjecture At Last?

_{Chaitin notes that the problem grows exponentially and the calculations get quite horrendous} _{News

April 7, 2021

11

Mathematics}

In last week’s podcast, “The Chaitin Interview V: Chaitin’s Number,” Walter Bradley Center director Robert J. Marks continued his conversation with mathematician Gregory Chaitin, best known for Chaitin’s unknowable number. One thing they discussed was the usefulness of philosophy, with Chaitin saying that if he had had to do practical work 60 years ago, there wouldn’t be practical research today based on the Omega number. But then they turned to the question of whether the unknowable number could prove Goldbach’s famous Conjecture: This portion begins at 17:17 min. A partial transcript, Show Notes, and Additional Resources follow. Robert J. Marks (pictured): The poster problem for the Turing halting problem, is Goldbach’s Conjecture, which says that every even number can be Read More ›

Businesswoman protect wooden block fall to planning and strategy in risk to business Alternative and prevent. Investment Insurance ,Business risk control concept,

^{Type
post

Author
News
Date
April 5, 2021

Categorized
Artificial Intelligence, Mathematics

Tagged
Chaitin's number, Featured, Gregory Chaitin, halting problem, Omega number, Robert J. Marks, Unknowable number}

Chaitin’s Number Talks To Turing’s Halting Problem

_{Why is Chaitin’s number considered unknowable even though the first few bits have been computed?} _{News

April 5, 2021

11

Artificial Intelligence, Mathematics}

In last week’s podcast,, “The Chaitin Interview V: Chaitin’s Number,” Walter Bradley Center director Robert J. Marks continued his conversation with mathematician Gregory Chaitin( best known for Chaitin’s unknowable number) on a variety of things mathematical. Last time, they looked at whether the unknowable number is a constant and how one enterprising team has succeeded in calculating at least the first 64 bits. This time, they look at the vexing halting problem in computer science, first identified by computer pioneer Alan Turing in 1936: https://episodes.castos.com/mindmatters/Mind-Matters-128-Gregory-Chaitin.mp3 This portion begins at 07:16 min. A partial transcript, Show Notes, and Additional Resources follow. Robert J. Marks: Well, here’s a question that I have. I know that the Omega or Chaitin’s number is based 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

^{Type
podcast

Author
Robert J. Marks
Date
March 25, 2021

Tagged
Algorithmic Information Theory, Chaitin's Constant, Christof Koch, computable, Consciousness, Creativity, David Chalmers, Giulio Tononi, Gottfried Wilhelm Leibniz, Gregory Chaitin, Halting Probability Omega, halting problem, Jack Schwartz, knowability, Lovelace test, non-computable, Panpsychism, Paul Erdős, Roger Penrose, Selmer Bringsjord, Stephen Hawking, unknowability}

The Chaitin Interview IV: Knowability and Unknowability

_{Robert J. Marks

March 25, 2021

2}

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 ›

technician standing in front of giant circuitboard, slight zoom effect

^{Type
post

Author
Eric Holloway
Date
March 23, 2021

Categorized
Artificial Intelligence, Programming

Tagged
Affirming the consequent (fallacy), ai-limits, Artificial intelligence (speed vs intelligence), Deep Blue, Featured, halting problem}

For Computers, Smart Is Not the Same Thing as Fast

_{In response to a reader’s good question …} _{Eric Holloway

March 23, 2021

6

Artificial Intelligence, Programming}

In a recent article, I argued that computers are not, and never can become smarter. An insightful reader wrote to ask, “What if smartness is defined by speed?” This is a good point. The debate revolves around the definition of “smart.” and if we define “smart” as “fast”, then since computers are certainly getting faster they will necessarily become smarter. Such a definition has intuitive appeal. Think of the world’s best chess player versus a beginner. One of the big distinctions is the chess expert will choose a good move more quickly than a beginner, and in general will play faster than a beginner. As such, play speed demonstrates a certain level of intelligence on the part of the player. Read More ›

Programming language and development of applications concept on yellow blue background. Training courses of php, sql, html, css and other disciplines.

^{Type
post

Author
Eric Holloway
Date
February 5, 2021

Categorized
Artificial Intelligence, Natural Intelligence

Tagged
Featured, halting problem}

Human Ingenuity vs. the Computer’s Halting Problem

_{In a dialogue with a friendly skeptic, I suggested an explanation he found astounding but it’s the only possible one} _{Eric Holloway

February 5, 2021

6

Artificial Intelligence, Natural Intelligence}

When studying computer science a student invariably learns about the infamous halting problem. The problem states there is no general algorithm that can determine for every deterministic computer program whether that program will halt or not. This struck me as absurd when I first learned of the problem. Surely a whizkid like myself could design a simple algorithm to track the program’s memory and catch when it started repeating itself and determined it would not halt. Once convinced the problem was indeed provably unsolvable, I then thought the problem must show that humans are not computers. This is because it seems intuitive that for every program, if I watch it enough and think about it carefully enough, I should be Read More ›

^{Type
post

Author
News
Date
November 17, 2020

Categorized
Artificial Intelligence, Data Privacy

Tagged
Analog computers, Digital computing, Featured, Gaming AI (book), George Gilder, halting problem, Microcosm (book), Quantum Computing, qubits, Robert J. Marks}

Does Schrödinger’s Cat Think Quantum Computing Is a Sure Thing?

_{It might lead to more security, though not to thinking computers} _{News

November 17, 2020

5

Artificial Intelligence, Data Privacy}

Some hope that a move to quantum computing—qubits instead of bits, analog instead of digital—will work wonders, including the invention of the true thinking computer. In last week’s podcast, futurist George Gilder and computer engineer Robert J. Marks looked at, among other things, what’s really happening with quantum computing: https://episodes.castos.com/mindmatters/Mind-Matters-108-George-Gilder.mp3 (The quantum computing discussion begins at 15:04.) Robert J. Marks: What’s your take on quantum computing? It seems to me that there’s been glacial progress in the technology. George Gilder (pictured): I think quantum computing is rather like AI, in that it moves the actual problem outside the computational process and gives the illusion that it solved the problem, but it’s really just pushed the problem out. Quantum computing is Read More ›

Communist Party Monument, Pyongyang, North-Korea

^{Type
post

Author
Eric Holloway
Date
November 16, 2020

Categorized
Artificial Intelligence, Economics

Tagged
Bin packing problem, Central Planning, Communism, Featured, halting problem, Innovation, Job shop scheduling problem, Knapsack problem, NP-Complete (NPC) problems, Traveling Salesman Problem (TSP), Undecideable problems, Union of Soviet Socialist Republics (USSR), USSR}

Computer Science Explains Why Communism Can’t Work

_{Successful communism is not only morally and practically flawed, it is mathematically impossible} _{Eric Holloway

November 16, 2020

4

Artificial Intelligence, Economics}

Communism has been the target of many criticisms. The strongest deal with the mismatch between central planning and individuals’ desires for their lives and with the horrific human rights record of communist nations. Some scholars place the toll in human life due to communism at above 100 million in the 20th century. Those are criticisms of the practicality and ethics of communism. But is it also intrinsically flawed at a fundamental mathematical level? It turns out that the answer is yes. The basic idea behind central planning is this: If the central government makes most decisions that, in a freer society, individuals or small communities would make for themselves, more efficiency will follow—and, as a result, more prosperity. It doesn’t Read More ›

^{Type
post

Author
Eric Holloway
Date
April 21, 2020

Tagged
Computers, Featured, halting problem, Language, Shirts without stripes (halting problem)}

Why Your Computer Will Never Talk to You

_{As a jokester recently demonstrated, even “shirts without stripes” is a fundamental, unsolvable problem for computers} _{Eric Holloway

April 21, 2020

3}

At first, “shirts without stripes” might not seem like much of an issue but it turns out that many important and interesting problems for computers fundamentally reduce to this “halting problem.” And understanding human language is one of these problems.

Could AI think like a human, given infinite resources?

_{Given that the human mind is a halting oracle, the answer is no} _{Eric Holloway

June 3, 2019

4

Artificial Intelligence, Natural Intelligence}

Even with infinite data, an AI cannot make the same quality inferences as a human can with finite data. Read More ›

An array of symbols from the National Archives, Hämeenlinna, Finland

^{Type
post

Author
Eric Holloway
Date
February 26, 2019

Categorized
Artificial Intelligence, Philosophy of Mind

Tagged
_longform, algorithmic intelligence, Featured, halting problem, Levin's Law}

Artificial Intelligence Must Be Possible! Really…?

_{Many arguments for strong artificial intelligence depend on an ideological commitment to explicit, unproven theories about the universe} _{Eric Holloway

February 26, 2019

11

Artificial Intelligence, Philosophy of Mind}

Not only is it valid to ask whether artificial intelligence is impossible but the argument can be pursued on a scientific basis with quantifiable, empirical evidence.

Why I Doubt That AI Can Match the Human Mind

_{Computers are exclusively theorem generators, while humans appear to be axiom generators} _{Jonathan Bartlett

February 25, 2019

6

Artificial Intelligence, Philosophy of Mind}

My primary reason for doubting that AI can match human intelligence is that the difference between mind and machine is a difference of kind, not of quantity. Understanding the distinction will help us exploit the abilities of each to their maximum potential.

If Computers Thought Like Fruit Flies, They Could Do More

_{But even with more sophisticated buzz, there remain "non-computable" things that a computer cannot be programmed to think} _{News

December 12, 2018

8

Machine Learning, Natural Intelligence}

Recently, researchers discovered that fruit flies use a filter similar to a computer algorithm to assess the odors that help them find fruit, only the flies’ tools are more sophisticated: When a fly smells an odor, the fly needs to quickly figure out if it has smelled the odor before, to determine if the odor is new and something it should pay attention to,” says Saket Navlakha, an assistant professor in Salk’s Integrative Biology Laboratory. “In computer science, this is an important task called novelty detection. Computers use a Bloom filter for that, Navlakha, an integrative biologist, explains: When a search engine such as Google crawls the Web, it needs to know whether a website it comes across has previously Read More ›

^{Type
post

Author
Eric Holloway
Date
November 5, 2018

Categorized
Machine Learning, Natural Intelligence

Tagged
halting oracle, halting problem, Jonathan Bartlett}

Human intelligence as a halting oracle

_{Jonathan Bartlett proposes to model the human mind as a halting oracle} _{Eric Holloway

November 5, 2018

4

Machine Learning, Natural Intelligence}

A common objection to Bartlett’s idea is that humans cannot be halting oracles because we embed any unsolvable math problem as the halting condition for a loop and a human cannot tell us whether the loop will halt or not. This objection misses the fact that there is a range of oracles between plain Turing machines and a complete halting oracle. Read More ›