Reduction Systems - Philosophy

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 Emmet’s Inch and Eagle’s Mile
    Make Lame Philosophy to smile.
    William Blake (1757–1827)

    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 (1817–1862)