Post #2172771
2026-05-05 13:16 UTC
"We present a sorry-free formalization" -- as if a document with 'sorry's in them could be called a formalization?
Replies (3)
-
@gallais@mamot.fr 2026-05-05 13:16
@JacquesC2@types.pl haha! I'm really annoyed by that Lean trend
-
@pounce@types.pl 2026-05-05 13:25
@JacquesC2@types.pl i think the right adjective is unapologetic :gatopensa:
-
@andrejbauer@mathstodon.xyz 2026-05-05 15:02
@JacquesC2@types.pl That's how I feel about Theory A papers titled "A provably correct algorithm for ..." Do they also publish incorrect algorithms? Or ones that are correct but somehow it's not provable that they're correct?