Re:"Why not just use Lean?"
by sincerely on Monday April 27, 2026 @02:46PM
(#47925585)
I think they're talking about conjectures that are unproven but seem "likely true" and people build further math off the assumption. E.G Reimann hypothesis
Re:"Why not just use Lean?"
by ianhorn on Monday April 27, 2026 @11:31PM
(#47930192)
Complex numbers and Schwartz distributions (the thing the dirac delta is) come immediately to mind. “Not all numbers have square roots, but what if they did?” It seems like a common pattern.
I trust you have some examples of this?