Less Wrong is a community blog devoted to refining the art of human rationality. Please visit our About page for more information.

eli_sennesh comments on Excluding the Supernatural - Less Wrong

37 Post author: Eliezer_Yudkowsky 12 September 2008 12:12AM

You are viewing a comment permalink. View the original post to see all comments and the full post content.

Comments (139)

Sort By: Old

You are viewing a single comment's thread. Show more comments above.

Comment author: [deleted] 10 November 2013 01:24:51PM 0 points [-]

There's a difference between an existence proof and a constructive proof. We can talk about existence proofs for, "Here's what happens when we hook a magical Halting Oracle to a Turing Machine and run certain programs." We do not have any constructive proof of how a Halting Oracle would behave.

Just because you can say, "Imagine we had a thing with these properties" doesn't mean you know how to build such a thing.