Less Wrong is a community blog devoted to refining the art of human rationality. Please visit our About page for more information.

Dmytry 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.

Sort By: Best

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

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

Computer running automatic theorem prover ;)

Comments (85)