thomblake comments on Proofs, Implications, and Models - Less Wrong

58 Post author: Eliezer_Yudkowsky 30 October 2012 01:02PM

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

Comments (209)

Sort By: Best

Show:

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

Comment author: thomblake 30 October 2012 02:59:08PM 0 points [-]

In particular, if you have at least one apple, there is no number of apples I can give you such that you no longer have any apples.

Sure there is, as long as you realize that "give" and "take" are the same action. Giving -1 apples is just taking 1 apple.

Comment author: [deleted] 30 October 2012 03:09:47PM 1 point [-]

Number of apples isn't closed under taking.

If you wish to satisfy the ring axioms from scratch, you must first invent the economy...