Open AccessBook
Outline of a Mathematical Theory of Computation
Reads0
Chats0
TLDR
However, Scott does realize that the approach argued for above is simply an argument for an approach that accomodates human understanding of computation and that the operational approach must not be ignored because the machines that the programs of study run on are not capable of dealing with such an abstract level of understanding.Abstract:
However, Scott does realize that the approach argued for above is simply an argument for an approach that accomodates human understanding of computation and that the operational approach must not be ignored because, as he points out, the machines that the programs of study run on are not capable of dealing with such an abstract level of understanding. That is, the computaional approach should not be abandoned because the machines that we build operate on that lower level.read more
Citations
More filters
Book ChapterDOI
A Behavioural Foundation for Natural Computing and a Programmability Test
TL;DR: A behavioural characterisation of computing in terms of a measure of programmability, which reflects a system’s ability to react to external stimuli, is proposed, which is useful for classifying computers in Terms of the apparent algorithmic complexity of their evolution in time.
DissertationDOI
Semantic Types for Class-based Objects
TL;DR: A model for Featherweight Java based on approximation is defined, which relates to the intersection type system via an Approximation Result, proved using a notion of reduct ion on typing derivations that the authors show to be strongly normalising.
Book ChapterDOI
Mechanising Partiality With Re-implementation
Manfred Kerber,Michael Kohlhase +1 more
TL;DR: It is shown, that it is possible to enhance a two-valued theorem prover by a simple strategy so that it can be used to generate proofs for the theorems of the three-valued setting.
Journal ArticleDOI
A domain of spacetime intervals in general relativity
Keye Martin,Prakash Panangaden +1 more
TL;DR: In this paper, it was shown that globally hyperbolic spacetimes belong to a category that is equivalent to a special category of domains called interval domains, and that it is possible to reconstruct a globally hypersphere in a purely order theoretic manner.