I read in a PDF document where the author made a comment that it is “dangerous” to use indirect proof method/contradiction proof method (as far as I can remember, and of course I am paraphrasing) as it may lead to false result. He gave an example of John G. Thompson’s famous proof of finite group theory saying that the first proof Thompson submitted to journal, had to be retracted immediately due to the gap caused by the indirect proof method.
I have forgotten where I read that, I can’t remember the name of author, and can’t find the PDF file either.
Can anyone confirm what I stated above? If possible please provide reference.
Also if anyone read the PDF file I am referring to please comment. Also if you have any suggestion how can I find that document please share.
- The document I am referring to was about proof methods.