Nominull comments on On accepting an argument if you have limited computational power. - Less Wrong

22 Post author: Dmytry 11 January 2012 05:07PM

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

Comments (85)

You are viewing a single comment's thread.

Comment author: Nominull 12 January 2012 01:46:56AM 0 points [-]

Who are you calling an "entirely unintelligent machine"? I think I'm offended.

Comment author: Dmytry 16 January 2012 10:56:44PM 0 points [-]

Computer running automatic theorem prover ;)