You often hear “Believe in yourself.” But can you prove that you are right? Let model your brain a formal system (something that proves theorems, see a math studybook for details). There is a theorem: If a formal system contains arithmetic, then…

read more