Postmodern Mathematics

Jul 31, 2017
1 minute read

Why do we care about true statements?

Why are we privileging truth over falsity? There’s nothing inherently better about inconsistent models.

(This is a joke, for those that can’t tell.)

An interactive Lean 4 blog post — click through for the full experience.