Results 1 
6 of
6
The tractable cognition thesis
 Cognitive Science: A Multidisciplinary Journal
, 2008
"... The recognition that human minds/brains are finite systems with limited resources for computation has led some researchers to advance the Tractable Cognition thesis: Human cognitive capacities are constrained by computational tractability. This thesis, if true, serves cognitive psychology by constra ..."
Abstract

Cited by 15 (2 self)
 Add to MetaCart
The recognition that human minds/brains are finite systems with limited resources for computation has led some researchers to advance the Tractable Cognition thesis: Human cognitive capacities are constrained by computational tractability. This thesis, if true, serves cognitive psychology by constraining the space of computationallevel theories of cognition. To utilize this constraint, a precise and workable definition of “computational tractability ” is needed. Following computer science tradition, many cognitive scientists and psychologists define computational tractability as polynomialtime computability, leading to the PCognition thesis. This article explains how and why the PCognition thesis may be overly restrictive, risking the exclusion of veridical computationallevel theories from scientific investigation. An argument is made to replace the PCognition thesis by the FPTCognition thesis as an alternative formalization of the Tractable Cognition thesis (here, FPT stands for fixedparameter tractable). Possible objections to the Tractable Cognition thesis, and its proposed formalization, are discussed, and existing misconceptions are clarified.
Constraints on Hypercomputation, in
 Logical Approaches to Computational Barriers: Second Conference on Computability in Europe, CiE 2006
, 2006
"... “To infinity, and beyond!”, Buzz Lightyear, Toy Story, Pixar, 1995. Many attempts to transcend the fundamental limitations to computability implied by the Halting Problem for Turing Machines depend on the use of forms of hypercomputation that draw on notions of infinite or continuous, as opposed to ..."
Abstract

Cited by 3 (2 self)
 Add to MetaCart
“To infinity, and beyond!”, Buzz Lightyear, Toy Story, Pixar, 1995. Many attempts to transcend the fundamental limitations to computability implied by the Halting Problem for Turing Machines depend on the use of forms of hypercomputation that draw on notions of infinite or continuous, as opposed to bounded or discrete, computation. Thus, such schemes may include the deployment of actualised rather than potential infinities of physical resources, or of physical representations of real numbers to arbitrary precision. Here, we argue that such bases for hypercomputation are not materially realisable and so cannot constitute new forms of effective calculability. 1
Nonclassical computing: feasible versus infeasible.
"... Physics sets certain limits on what is and is not computable. These limits are very far from having been reached by current technologies. Whilst proposals for hypercomputation are almost certainly infeasible, there are a number of non classical approaches that do hold considerable promise. There are ..."
Abstract
 Add to MetaCart
Physics sets certain limits on what is and is not computable. These limits are very far from having been reached by current technologies. Whilst proposals for hypercomputation are almost certainly infeasible, there are a number of non classical approaches that do hold considerable promise. There are a range of possible architectures that could be implemented on silicon that are distinctly different from the von Neumann model. Beyond this, quantum simulators, which are the quantum equivalent of analogue computers, may be constructable in the near future. The Infinite Improbability Drive is a wonderful new method of crossing vast interstellar distances in a mere nothingth of a second, without all that tedious mucking about in hyperspace.Adams & Stamp (1997) 1.
Is Economic Planning Hypercomputational? The Argument from Cantor Diagonalisation
"... [26] argues that the diagonal argument of the number theorist Cantor can be used to elucidate issues that arose in the socialist calculation debate of the 1930s. In particular he contends that the diagonal argument buttresses the claims of the Austrian economists regarding the impossibility of ratio ..."
Abstract
 Add to MetaCart
[26] argues that the diagonal argument of the number theorist Cantor can be used to elucidate issues that arose in the socialist calculation debate of the 1930s. In particular he contends that the diagonal argument buttresses the claims of the Austrian economists regarding the impossibility of rational planning. We challenge Murphy’s argument, both at the number theoretic level and from the standpoint of economic realism.
The Turing OMachine and the DIME Network Architecture: Injecting the Architectural Resiliency into Distributed Computing
"... Turing’s omachine discussed in his PhD thesis can perform all of the usual operations of a Turing machine and in addition, when it is in a certain internal state, can also query an oracle for an answer to a specific question that dictates its further evolution. In his thesis, Turing said 'We shall ..."
Abstract
 Add to MetaCart
Turing’s omachine discussed in his PhD thesis can perform all of the usual operations of a Turing machine and in addition, when it is in a certain internal state, can also query an oracle for an answer to a specific question that dictates its further evolution. In his thesis, Turing said 'We shall not go any further into the nature of this oracle apart from saying that it cannot be a machine. ’ There is a host of literature discussing the role of the oracle in AI, modeling brain, computing, and hypercomputing machines. In this paper, we take a broader view of the oracle machine inspired by the genetic computing model of cellular organisms and the selforganizing fractal theory. We describe a specific software architecture implementation that circumvents the halting and undecidability problems in a process workflow computation to introduce the architectural resiliency found in cellular organisms into distributed computing machines. A DIME (Distributed Intelligent Computing Element), recently introduced as the building block of the DIME computing model, exploits the concepts from Turing’s oracle machine and extends them to implement a recursive managed distributed computing network, which can be viewed as an interconnected group of such specialized oracle machines, referred to as a DIME network. The DIME network architecture provides the architectural resiliency through autofailover; autoscaling; livemigration; and endtoend transaction security assurance in a distributed system. We demonstrate these characteristics using prototypes without the complexity introduced by hypervisors, virtual machines and other layers of adhoc management software in today’s distributed computing environments.