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

Dynamically_Linked comments on Truly Part Of You - Less Wrong

59 Post author: Eliezer_Yudkowsky 21 November 2007 02:18AM

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

Comments (52)

Sort By: Old

You are viewing a single comment's thread.

Comment author: Dynamically_Linked 21 November 2007 08:46:27PM 0 points [-]

So, what about the notion of mathematical proof? Anyone want to give a shot at explaining how that can be regenerated?

Comment author: handoflixue 20 May 2011 09:36:09PM 0 points [-]

If you still have the corresponding axioms, it should be pretty trivial to rebuild the idea of "combine these rules together to create significantly more complex rules", and then perhaps to relabel things in to "axioms" and "proofs". Leave a kid with a box of Legos and ey'll tend to build something, so the basic combination of "build by combination" seems pretty innate :)

If you've lost he explicit idea of axioms, but still have algebra, then you can get basic algebraic proofs, like 10X = 9X + 1X. If you play around from there, you should be able to come up with, and eventually prove, a few generalizations, and eventually you'll have a decent set of axioms. I'd expect you'd probably take a while to develop all of them.