DanielLC comments on The Strangest Thing An AI Could Tell You - Less Wrong

81 Post author: Eliezer_Yudkowsky 15 July 2009 02:27AM

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

Comments (574)

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

Comment author: DanielLC 23 June 2014 05:05:46AM 2 points [-]

"My answer would be no different if you replaced "infinities" with "manifolds" or "groups": Okay, please show me the contradiction."

If I'm really worried about absolute denial, I might say "Okay, please show this automated proof-checker the contradiction".