A 10-second course in theoretical computer science:
Nobody can write a computer program that answers every mathematics question correctly in finite time
⇒ Every MathCheck-like program is imperfect in one way or another