= 27d567bc2d48d9f40e9ccc20ea370b15)
anonymous1 comments on Proofs, Implications, and Models - 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 (209)
What, specifically, did Eliezer say in this post that you disagree with?
Yeah, when it starts with "You may have read philosophy trying to score points by saying", it doesn't mean the writer endorses it.
I'm sorry if I wasn't clear. I endorse the "cynical view" that mathematics is fundamentally symbol manipulation. Fundamental in the sense that mathematics as we currently know it can be completely described by symbol manipulation without having to resort to notions such as "intuition." Eliezer, apparently, disagrees with this philosophy on the grounds that it is robbing mathematics of something which he finds aesthetically pleasing.
Also, read through this thread. I'm pretty sure Eliezer's in agreement with you.
Now, exactly how was this post a moving and nonsensical emotional appeal?
I don't consider the post to be an emotional appeal, just the phrase "and this activity of string-manipulation is all there is to what mathematicians call "theorem-proving" - all there is to the glorious human endeavor of mathematics." I mean, there is essentially no content there. Just a rough outline of a philosophy, and then not even a legitimate attack on it, just a "if they are right, then mathematics doesn't seem glorious to me any longer!"