David Deutsch argues that physical laws, not abstract logic, define concepts like infinity, probability, and computability. He rejects anthropic reasoning and simulation theory, asserting that mathematical proof is a physical process. Universal computation makes reality explicable.