Philosophy
Rewriting systems can be seen as programs that infer end-effects from a list of cause-effect relationships. In this way, rewriting systems can be considered to be automated causality provers.
Read more about this topic: Reduction Systems
Famous quotes containing the word philosophy:
“A philosophy can and must be worked out with the greatest rigour and discipline in the details, but can ultimately be founded on nothing but faith: and this is the reason, I suspect, why the novelties in philosophy are only in elaboration, and never in fundamentals.”
—T.S. (Thomas Stearns)
“The great critic ... must be a philosopher, for from philosophy he will learn serenity, impartiality, and the transitoriness of human things.”
—W. Somerset Maugham (1874–1965)