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
