Accessibility Relation - Computer Science Applications

Computer Science Applications

In modeling a computation, a 'possible world' can be a possible computer state. Given the current computer state, you might define the accessible possible worlds to be all future possible computer states, or to be all possible immediate "next" computer states (assuming a discrete computer). Either choice defines a particular 'accessibility relation' giving rise to a particular modal logic suited specifically for theorems about the computation.

Read more about this topic:  Accessibility Relation

Famous quotes containing the words computer and/or science:

    The archetype of all humans, their ideal image, is the computer, once it has liberated itself from its creator, man. The computer is the essence of the human being. In the computer, man reaches his completion.
    Friedrich Dürrenmatt (1921–1990)

    My position is a naturalistic one; I see philosophy not as an a priori propaedeutic or groundwork for science, but as continuous with science. I see philosophy and science as in the same boat—a boat which, to revert to Neurath’s figure as I so often do, we can rebuild only at sea while staying afloat in it. There is no external vantage point, no first philosophy.
    Willard Van Orman Quine (b. 1908)