Results 1 
2 of
2
Physicallyrelativized ChurchTuring Hypotheses. Applied Mathematics and Computation 215, 4
 in the School of Mathematics at the University of Leeds, U.K. © 2012 ACM 00010782/12/03 $10.00 march 2012  vol. 55  no. 3  communications of the acm 83
"... Abstract. We turn ‘the ’ ChurchTuring Hypothesis from an ambiguous source of sensational speculations into a (collection of) sound and welldefined scientific problem(s): Examining recent controversies, and causes for misunderstanding, concerning the state of the ChurchTuring Hypothesis (CTH), sug ..."
Abstract

Cited by 6 (0 self)
 Add to MetaCart
Abstract. We turn ‘the ’ ChurchTuring Hypothesis from an ambiguous source of sensational speculations into a (collection of) sound and welldefined scientific problem(s): Examining recent controversies, and causes for misunderstanding, concerning the state of the ChurchTuring Hypothesis (CTH), suggests to study the CTH relative to an arbitrary but specific physical theory—rather than vaguely referring to “nature ” in general. To this end we combine (and compare) physical structuralism with (models of computation in) complexity theory. The benefit of this formal framework is illustrated by reporting on some previous, and giving one new, example result(s) of computability
Series Preproceedings of the Workshop “Physics and Computation ” 2008
, 2008
"... In the 1940s, two different views of the brain and the computer were equally important. One was the analog technology and theory that had emerged before the war. The other was the digital technology and theory that was to become the main paradigm of computation. 1 The outcome of the contest between ..."
Abstract
 Add to MetaCart
In the 1940s, two different views of the brain and the computer were equally important. One was the analog technology and theory that had emerged before the war. The other was the digital technology and theory that was to become the main paradigm of computation. 1 The outcome of the contest between these two competing views derived from technological and epistemological arguments. While digital technology was improving dramatically, the technology of analog machines had already reached a significant level of development. In particular, digital technology offered a more effective way to control the precision of calculations. But the epistemological discussion was, at the time, equally relevant. For the supporters of the analog computer, the digital model — which can only process information transformed and coded in binary — wouldn’t be suitable to represent certain kinds of continuous variation that help determine brain functions. With analog machines, on the contrary, there would be few or no layers between natural objects and the work and structure of computation (cf. [4, 1]). The 1942–52 Macy Conferences in cybernetics helped to validate digital theory and logic as legitimate ways to think about the brain and the machine [4]. In particular, those conferences helped made McCullochPitts ’ digital model