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

There were stolen about $50 trillion of value. First consider a hypothetical situation: What if we somehow lose group theory? Group theory is kinda half of mathematics. More precisely, it is kinda a foundation of kinda like half of modern mathematics. If…

read more