James Rosen-Birch ⚖️🕊️
@provisionalidea
founder. orgs. tech. cybernetics. ex-biotech. 🗣️ I have strong opinions; you will not agree with all of them. That’s a good thing. 📚 I share what I learn.
Joined November 2014
3.7K Following 12.1K Followers
amidst the hoopla, the social constructivist view of mathematics completely slipped my mind
math as an invention rather than a discovery; an abstract formal language, created differently in different parts of the world (ethnomathematics is a fascinating field!), with which people seek to describe patterns and make sense of the world
in that view, AI-generated proofs are useful (primarily to mathematicians), albeit limited in their utility, and also completely miss the point when used as anything more than fancy solvers
Show more
Why wouldn’t mathematicians want solutions to these huge open maths problems?
shoutout @mathandcobb for being a consistent voice in this conversation
