Proof by giving up.

  • 2026-06-30

For example, have you ever heard a category theorist say "Oh, I wanna prove that this diagram commutes. Let's suppose it doesn't."

Andrej Bauer: Five Stages of Accepting Constructive Mathematics (2016-08-16)