>>25,27I don't know about your weird fantasy but there are no computer Grothendiecks and never will be. Plus such people can easily do arithmetic of numbers increasing infinitely (through abstraction such as algorithms which is also how computers do it). Computers are used only so we don't waste time on doing such lowly things and so we can spend our time doing math that requires true intellect, truly high, great intelligence, of a higher (the higher it gets the harder it gets, one of the requirements is that of being a sentient being with a mind) non-computable and non-calculating nature, all of which require a mind which computers don't possess and shall never possess as it is impossible, it is as possible for computers to have minds as a mechanical clock to turn into a unicorn at will. Brains aren't ``biological computers'' (nor would they be ``primitive'' ones if they were, they'd be the standard for all artificial biological computers) and computers cant sustain the truly abstract reasoning systems used by superior minds, they aren't even completely systematized as they are intuitive and spiritual. Heuristics is a buzzword and nothing but a trivial thing for pop-scientists to jack off over.
a machine whose fundamental operations are arithmetic and conditional branching.
Just insulted yourself right there, you must be windows 95.