shminux comments on [SEQ RERUN] Math is Subjunctively Objective - Less Wrong

2 Post author: MinibearRex 12 July 2012 02:07AM

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

Comments (15)

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

Comment author: shminux 16 July 2012 05:54:55PM 1 point [-]

Peano arithmetic does not have a truth value.

Depends on your definition of true:

Because two sheep plus three sheep equals five sheep, and this appears to be true in every mountain and every island, every swamp and every plain and every forest.

This statement is clearly not about accepting PA, but about counting sheep.