Replying to @WahFo@meow.social

@WahFo @tknarr

Maths is discovered, to be sure. But it's also invented in a way that is more significant than mere notation: the act of doing mathematical research *feels* like invention.

You don't just discover what's already there; you have to make the definitions and proofs yourself. The two points of view focus on different aspects of maths which both exist.

Jul 5, 2026, 07:11 UTCen