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:

    Wonder is the feeling of the philosopher, and philosophy begins in wonder.
    Plato (c. 427–347 B.C.)

    Ordinary people seem not to realize that those who really apply themselves in the right way to philosophy are directly and of their own accord preparing themselves for dying and death.
    Socrates (469–399 B.C.)