AM-Nat Online Conferences

The Logical Possibility of Halting Oracles

|

A halting oracle is a kind of function that can determine whether any computer program will halt.  It is commonly thought that halting oracles are logically impossible.  This is due to the common proof presented for the halting problem, which is as follows. Imagine we have a halting oracle function H(p,i), which returns “true” if… Continue Reading

Intelligence as a Halting Oracle

|

In his paper “Using turing oracles in cognitive models of problem-solving” Jonathan Bartlett proposes halting oracles as first class citizens in our explanations for the world, such as modeling the human mind as a halting oracle. A brief explanation: the famous computer scientist Alan Turing invented a universal machine that can copy any other machine.… Continue Reading

Subscribe for updates
Three Time Slots

Three Time Slots

Online Exclusive

Online Exclusive

Diverse Lineup

Diverse Lineup

Direct Interaction

Direct Interaction

Copyright © 2018 Alternatives to Methodological Naturalism

View Full Site

Please wait...

Subscribe to our blog

Want to be notified when our article is published? Enter your email address and name below to be the first to know.
SIGN UP FOR UPDATES NOW