3 ms·
Being "mechanical" does not mean anything "easy". It's hard, nearly impossible, simply because the most formal definition of this process boils down to an exhau
by sklogic 11y ago
Being "mechanical" does not mean anything "easy". It's hard, nearly impossible, simply because the most formal definition of this process boils down to an exhaustive search in a huge (but finite) morphological box. That's why we need the greatest minds that are able to find suitable search heuristics.
But yet, this process does not produce any new knowledge on its own. All the knowledge is there, in the data. Waiting to be extracted.
- Shorel 11y agoExcept when the new knowledge is in the form of pure mathematical research. Then, some decades later someone finds the practical application, and the data that matches the model.
- sklogic 11y agoNo, this is not a new knowledge, and not a new information (as defined by the algorithmic information theory), it's a non-falsifiable piece of, well, probably art. For this very reason mathematics is not considered a science.