No Automatic Process
Gregory Chaitin proved that compacting an algorithm cannot be automated by a generalized algorithm; rather, it can only be done heuristically, i.e. by exhaustive search (examples to be found at Busy beaver), trial and error, cleverness, insight, application of inductive reasoning, etc.
Read more about this topic: Algorithmic Efficiency
Famous quotes containing the words automatic process, automatic and/or process:
“Predictions of the future are never anything but projections of present automatic processes and procedures, that is, of occurrences that are likely to come to pass if men do not act and if nothing unexpected happens; every action, for better or worse, and every accident necessarily destroys the whole pattern in whose frame the prediction moves and where it finds its evidence.”
—Hannah Arendt (1906–1975)
“She smoothes her hair with automatic hand,
And puts a record on the gramophone.”
—T.S. (Thomas Stearns)
“By Modernism I mean the positive rejection of the past and the blind belief in the process of change, in novelty for its own sake, in the idea that progress through time equates with cultural progress; in the cult of individuality, originality and self-expression.”
—Dan Cruickshank (b. 1949)