P vs NP

---

Is everything that can be easily verified also easily found?

---

You don’t understand anything until you learn it more than one way.
— Marvin Minsky

Mathematicians start from dizzyingly general theorems, then generalize them even further. Theoretical computer scientists start from incredibly concrete problems that no one can solve, then find special cases that still no one can solve.
— Avi Wigderson

The argument goes something like this: “I refuse to prove that I exist,” says God, “for proof denies faith, and without faith I am nothing.
— Douglas Adams