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 Emmets Inch and Eagles Mile
Make Lame Philosophy to smile.”
—William Blake (17571827)
“I am still a learner, not a teacher, feeding somewhat omnivorously, browsing both stalk and leaves; but I shall perhaps be enabled to speak with more precision and authority by and by,if philosophy and sentiment are not buried under a multitude of details.”
—Henry David Thoreau (18171862)