(redirected from computability)
Also found in: Dictionary, Thesaurus, Encyclopedia, Wikipedia.
References in periodicals archive ?
1] from witnessing computability for the sequence [d.
Acknowledging that there are deep issues involved,(10) standard practice in computability theory is to proceed on the assumption that the Church-Turing thesis is true, and to presume that results derived for Turing machines (or one of the other equivalent models of computation) apply to any realistic model of computation.
I am particularly grateful to my colleague, Kumaraswamy Velupillai, who has taught me all I know about computability, complexity and related matters.
Mathematician Alan Turing invented an imaginary computer known as the Turing Machine; in an age before computers, he explored the concept of what it meant to be computable, creating the field of computability theory in the process, a foundation of present-day computer programming.
Other chapters describe the properties of recursively enumerable sets, the link between computability theory and Godel's incompleteness theorem, relative computability and degrees of unsolvability, and polynomial time computability.
The computability of a, b, [phi] obtained from the Ritz values may be increased by using shifted matrices [11].
An evolutionary approach to CLD (Siteplanner) always seeks to make bigger the available enclosed structure, in order to keep computability.
The philosophical contradiction inherent in so doing is neatly summarised by Harold Brown (1979: 148): "The attempt by logical empiricists to identify rationality with algorithmic computability is somewhat strange, since it deems rational only those human acts which could, in principle, be carried out without the presence of a human being".
Like McLuhan, Joseph Weizenbaum believes that "rationality cannot be equated to computability and to logicality" (p.
The philosophy first-year courses include General Philosophy, Elements of Deductive Logic, and a "bridging course on Alan Turing's work on Computability and Intelligence.
Laplace lived in a time when computability concerns (70) were not recognized, even theoretically.
Keywords: Alan Turing, Turing machine, Turing test, hypercomputing, computability, artificial intelligence