Jonathan_Graehl comments on AI cooperation in practice - Less Wrong

26 Post author: cousin_it 30 July 2010 04:21PM

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

Sort By: Best

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

Comment author: Jonathan_Graehl 01 August 2010 07:51:53AM 2 points [-]

the checker would be able to prove any sentence

I think you mean that there would be some proof (that checks) for any sentence.

Comment author: cousin_it 01 August 2010 07:54:53AM 2 points [-]

Yes. Thanks.

Comments (157)