I guess I glossed over it because in applied conceptual engineering fields like code (and maybe physics? (or is this more about the fuzzyiness of the mapping to the physical world)) (or maybe even applied math sometimes), where plenty of math is done, there are always still lots of situations where the abstraction stops fitting in working memory because it’s grown too complex for most of the people who work with it to fully understand its definitions.
Also maybe I’m assuming math is gonna get like that too once AI mathematicians start to work? (And I’ve always felt like there should be a lot more automation in math than there is)
Hmm you’re right, that’s a distinction.
I guess I glossed over it because in applied conceptual engineering fields like code (and maybe physics? (or is this more about the fuzzyiness of the mapping to the physical world)) (or maybe even applied math sometimes), where plenty of math is done, there are always still lots of situations where the abstraction stops fitting in working memory because it’s grown too complex for most of the people who work with it to fully understand its definitions.
Also maybe I’m assuming math is gonna get like that too once AI mathematicians start to work? (And I’ve always felt like there should be a lot more automation in math than there is)