= 27d567bc2d48d9f40e9ccc20ea370b15)
thomblake comments on This Didn't Have To Happen - 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 (183)
Mathematical proofs are an appeal to authority. Their standards rest entirely on the ability of experts on Mathematics to understand them. If we had a canonical mechanical proof-checker or something, it might be a different story.
But they were Einstein's proofs. He was confident in the math that he understood. If he were trying to convince someone else, then yes he'd be using himself as an authority.