This my post is about mathematical logic, but first I will explain the story about people who asked or answer this question. A famous mathematician Timoty Gowers asked this question: What is the difference between direct proofs and proofs by contradiction. We,…
read more