@FishFace@ioc.exchange
Never used twitter but I am still a twit
One time mathematician
Full time pedant
Replying to @WahFo@meow.social
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.
Replying to @tknarr@mstdn.social
@tknarr @SmartmanApps @WahFo I highly recommend reading a few of this guy's #MathsMonday pinned threads to get an idea of the extent of his mathematical understanding, and the chances you have of convincing him of anything. The ones about 0.999... are particularly illuminating.