= 27d567bc2d48d9f40e9ccc20ea370b15)
shminux comments on [SEQ RERUN] Math is Subjunctively Objective - 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 (15)
It's after reading posts like this that I'm happy to stick with instrumentalism, where questions like "is 2+3=5 true?" are meaningless. Peano arithmetic is a useful (meta-)model, and that's all there is to it.