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.
加入 November 2014
3.7K 正在关注 12.1K 粉丝
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
显示更多
Why wouldn’t mathematicians want solutions to these huge open maths problems?
shoutout @mathandcobb for being a consistent voice in this conversation
