Good work! I like your post more than Eliezer’s post that prompted it :-) If apples are mental constructs, next we need to figure out why we think they satisfy the second-order axiom of induction, and whether that reasoning can be automated.
Good work! I like your post more than Eliezer’s post that prompted it :-) If apples are mental constructs, next we need to figure out why we think they satisfy the second-order axiom of induction, and whether that reasoning can be automated.