Zetetic comments on Meanings of Mathematical Truths - Less Wrong

9 Post author: prase 05 June 2011 10:59PM

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

Comments (47)

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

Comment author: Zetetic 07 June 2011 12:36:15AM *  -1 points [-]

Talking or reasoning about the uncomputable isn't the same as "computing" the uncomputable.

Obviously, but I didn't mean to imply that it was. My question is what we are actually reasoning about when we are reasoning about the uncomputable. Apologies if this wasn't clear.

It seems to me that oracle computations and accelerated Turing machines, seem to be related to counterfactual reasoning in the sense that they suppose things that are not the case such as Galilean velocity addition or that we can obtain the result of a non-halting computation in finite time and use that to compute further results.