"Whatever our goals are, we’ve operationalized them primarily through proving theorems. Almost all papers or PhD theses…

"Whatever our goals are, we’ve operationalized them primarily through proving theorems. Almost all papers or PhD theses have a main theorem, and ostensibly a proof of it. But it should be clear that the goal of mathematics is not to prove theorems..."

proofsandprompts.com/2026/09/14/a...