On the Principle of Sufficient Reason

Gregory Chaitin

IBM Thomas J. Watson Research Center

Abstract

According to Leibniz, everything happens for a reason, and the NKS approach to physics is in fact deterministic. On the other hand, in the mental world of pure math, the bits of the halting probability are irreducible mathematical facts, true for no reason simpler than themselves.