It was said [in a Google groups post ] that "If a [mathematical] proof requires the checking of a very large but finite number of cases, far too many for a human to check, and we use a computer to perform that check, should we count the proposition as proved?" is an open question of mathematical philosophy. Why would anyone think the answer is anything but "yes"? The proof may not have desired aesthetic qualities, but no mathematician would deny its validity even though she may try to create a more pleasing proof.
- Read more about It was said [in a Google groups
- 2 comments
- Log in to post comments