It's hard to help GP but I'm gonna try (pls forgive me):
I believe that the masses don't have a deep understanding of Schemes because of enemy action by the sufficiently advanced stupidity (aka loneliness) of the intelligent :)
Their interest is "pro" and they are not a hypothesis
(& I'd NOT bet against that they understand deeper than Sturmfels and his students)
Schemes (like cat theory) have become a sort of religion-- it's sad because Grothendieck himself might not have understood them intuitively.. and it won't be the first time.. Feynman didn't understand Path Integrals, nor Archimedes integration!! BECAUSE they were all loners whose first resort was WRITING LETTERS
Ps: as with Jobs.. I hesitate to call Buzzard a full-time salesman
If you want to hang out in meatspace: do you have a public key?
I believe that the masses don't have a deep understanding of Schemes because of enemy action by the sufficiently advanced stupidity (aka loneliness) of the intelligent :)
Some (ex-)academics get triggered by the so-thought foolhardy Buzzard & his undergrads, but B+Co are, at least, not being that kind of imbecile https://spiral.imperial.ac.uk/server/api/core/bitstreams/012...
https://github.com/ramonfmir/lean-scheme
Their interest is "pro" and they are not a hypothesis
(& I'd NOT bet against that they understand deeper than Sturmfels and his students)
Schemes (like cat theory) have become a sort of religion-- it's sad because Grothendieck himself might not have understood them intuitively.. and it won't be the first time.. Feynman didn't understand Path Integrals, nor Archimedes integration!! BECAUSE they were all loners whose first resort was WRITING LETTERS
Ps: as with Jobs.. I hesitate to call Buzzard a full-time salesman
If you want to hang out in meatspace: do you have a public key?