Sciweavers

73 search results - page 2 / 15
» Observability of Turing Machines: A Refinement of the Theory...
Sort
View
CIE
2007
Springer
13 years 11 months ago
From Logic to Physics: How the Meaning of Computation Changed over Time
The intuition guiding the de…nition of computation has shifted over time, a process that is re‡ected in the changing formulations of the Church-Turing thesis. The theory of co...
Itamar Pitowsky
UC
2009
Springer
13 years 12 months ago
Evolvable Hardware: From Applications to Implications for the Theory of Computation
The paper surveys the fundamental principles of evolvable hardware, introduces main problems of the field and briefly describes the most successful applications. Although evolvab...
Lukás Sekanina
ENTCS
2011
131views more  ENTCS 2011»
13 years 9 days ago
Computational Complexity in Non-Turing Models of Computation: The What, the Why and the How
We preliminarily recap what is meant by complexity and non-Turing computation, by way of explanation of our title, ‘Computational Complexity in Non-Turing Models of Computation...
Ed Blakey
CIE
2005
Springer
13 years 11 months ago
Computing a Model of Set Theory
We define the notion of ordinal computability by generalizing standard Turing computability on tapes of length ω to computations on tapes of arbitrary ordinal length. The general...
Peter Koepke
CORR
2007
Springer
111views Education» more  CORR 2007»
13 years 5 months ago
Hypocomputation
Most research into hypercomputation focuses only on machines able to prove stronger results the basic Turing Machine, hence the phrase hypercomputation. However, developing hyperco...
David Love