Wei_Dai 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: Wei_Dai 08 June 2011 03:01:05PM 0 points [-]

I don't have an answer for that, since I'm not proposing to make a distinction based on computable vs uncomputable math. But I think Juergen Schmidhuber has defended some version of "only computable math exists" on the everything-list, so you can try searching the archives there.