Hacker News new | ask | show | jobs
by nurettin 2523 days ago
He doesn't have to. He can use the same argument to prove that a formal logical proof exists.