= 27d567bc2d48d9f40e9ccc20ea370b15)
Douglas_Knight comments on Mental Context for Model Theory - LessWrong
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 (45)
It's a minor historical point, but what evidence is there that the parallel postulate irked Euclid himself?
All I'm aware of is that he proved stuff from the first four before introducing it, but that doesn't seem like much to me.
Mostly just that he avoided using it as long as possible. At least one other person feels that could be indicative of reluctance to include the axiom. I agree that this is a bit weak, so beyond that I'll hide behind artistic license.