We still haven't resolved whether every mathematical proof that relies on assuming something is true, then finding a contradiction, can always be converted into a more direct proof.
open
Global / Unspecified, Global
WS01326
Proof by contradiction is a powerful and common technique, but whether every such proof has an equivalent direct version remains an open question in mathematical logic. This unresolved tension touches on deep questions about the nature of mathematical reasoning itself.