= 27d567bc2d48d9f40e9ccc20ea370b15)
Manfred comments on Rationality Quotes October 2011 - Less Wrong
You are viewing a comment permalink. View the original post to see all comments and the full post content.
= 783df68a0f980790206b9ea87794c5b6)
Loading…= b715d02e85f7b3b4ae65ca3d3e450868)
Subscribe to RSS Feed
Powered by Reddit
= f037147d6e6c911a85753b9abdedda8d)
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (532)
It's not just about 8 examples - with any number of examples it would be perfectly valid to insert something like 6 = 1. And so there's an additional axiom in Peano arithmetic that has to explicitly rule it out (if you're talking about numbers that way). Not super-shocking.
My interpretation of the original quote was to take "see that 5 + 4 is not 6" as "prove that you cannot prove that 5 + 4 = 6", in other words, "prove that Peano's arithmetic is consistent". Maybe I was too influenced by this.
I think that's a way better interpretation :D