No mathematician today would flatly refuse to accept the results of an enormous computation as an adequate demonstrat...
ginaelliottJuly 17, 2018
Understanding set up
I understand why A is the correct answer, but I'm confused on the set up. How would I know not to do MT some STSP and instead write STSP some RAEC? Thank you!
Reply
Create a free account to read and
take part in forum discussions.
@ginaelliott the reason is that "a strong belief that a simple theorem ought to have a short, simple proof" is NOT the same thing as "flatly refuse to accept the results of an enormous computation as an adequate demonstration of the truth of a theorem."
Hope that helps! Please let us know if you have any other questions.
