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

Article Navigation

Comments (15)
Tags: sequence_reruns

Comments (15)

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

Comment author: Decius 16 July 2012 05:47:05PM 0 points [-]

Peano arithmetic does not have a truth value. Peano arithmetic provides the definition of 2,3,5,+,and =.

In other words, if you don't accept Peano arithmetic, then you cannot decode what I mean by 2+3=5

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.

Powered by Reddit Powered by Reddit