|InterJournal Complex Systems, 51
|Manuscript Number: |
Submission Date: 963011
|Applications of nonstandard logic to the billiard ball model of computation|
Category: Brief Article
This work addresses the issue of finding an appropriate logic system for expressing ideas and reasoning about the behavior of computing machine hardware. One of the problems computer scientists have had in trying to specify and verify time constraints is that each machine instruction carried out by the hardware cannot be guaranteed to complete in a fixed number of units. Rather, one must accept that each instruction will complete within an interval of time. This means that as one considers a sequence of instructions the interval of time increases making it difficult to develop a sound and complete proof system for verifying correctness. For these reasons it seems plausible to examine the possibility of applying nonstandard phase space logic to models of computation. In particular, we will consider the application of phase space logics to the billiard ball model of computation.
|Submit referee report/comment|