About this topic
Summary The theory of computation is a mathematical theory about the properties of abstract computational objects, such as algorithms and Turing machines. They are abstract in the sense that they ignore or leave out considerations about by features of physical implementations, such as finite memory.  In contrast, computations are done by physical systems: concrete machines made of silicon and metal, or brains made of biological materials, can run algorithms or implement Turing machines. This area is concerned with questions about how the abstract objects that are in the purview of the theory of computation relate to physical systems.
Key works The relationship between abstract computation and physical systems such as brains is a central issue in philosophy of mind, particularly given the rise of computational functionalism as a foundation for the study of the mind.  Here the work of Chalmers 1996 provides a good starting point for bridging the theory of computation with theories of physical systems by means of an implementation relation. 
Introductions A good introduction is Piccinini 2010
Related categories

481 found
1 — 50 / 481
Material to categorize
  1. Are There Teleological Functions to Compute?Dimitri Coelho Mollo - 2018 - Philosophy of Science.
    I analyse a tension at the core of the mechanistic view of computation, generated by its joint commitment to the medium-independence of computational vehicles, and to computational systems possessing teleological functions to compute. While computation is individuated in medium-independent terms, teleology is sensitive to the constitutive physical properties of vehicles. This tension spells trouble for the mechanistic view, suggesting that there can be no teleological functions to compute. I argue that, once considerations about the relevant function-bestowing factors for computational systems (...)
  2. Qu’est-ce que l'informatique ?Franck Varenne - 2009 - Paris: Vrin.
    Que peut bien être l’informatique pour nous envahir à ce point? Se fondant sur des travaux récents de philosophie de l’informatique, ce livre revient sur la notion de Machine de Turing et sur la Thèse de Church : l’ordinateur peut-il tout simuler? . Eclairant les notions de computation et d’abstraction à la lumière de celles de simulation et d’ontologie, il montre en quoi l’informatique n’est ni simplement une branche des mathématiques, ni une technologie de l’information, mais une technologie des croisements (...)
Analog and Digital Computation
  1. Chaotic Neurons and Analog Computation.Kazuyuki Aihara & Jun Kyung Ryeu - 2001 - Behavioral and Brain Sciences 24 (5):810-811.
    Chaotic dynamics can be related to analog computation. A possibility of electronically implementing the chaos -driven contracting system in the target article is explored with an analog electronic circuit with inevitable noise from the viewpoint of analog computation with chaotic neurons.
  2. Computation in Cognitive Science: It is Not All About Turing-Equivalent Computation.Kenneth Aizawa - 2010 - Studies in History and Philosophy of Science Part A 41 (3):227-236.
    One account of the history of computation might begin in the 1930's with some of the work of Alonzo Church, Alan Turing, and Emil Post. One might say that this is where something like the core concept of computation was first formally articulated. Here were the first attempts to formalize an informal notion of an algorithm or effective procedure by which a mathematician might decide one or another logico-mathematical question. As each of these formalisms was shown to compute the same (...)
  3. The Processing of Information (Analog/Digital) is the Causal Factor of the Emergence of Natural Hierarchies.Eugenio Andrade - 2003 - Ludus Vitalis 11 (20):85-106.
  4. Analog Mental Representation.Jacob Beck - forthcoming - WIREs Cognitive Science.
    Over the past 50 years, philosophers and psychologists have perennially argued for the existence of analog mental representations of one type or another. This study critically reviews a number of these arguments as they pertain to three different types of mental representation: perceptual representations, imagery representations, and numerosity representations. Along the way, careful consideration is given to the meaning of “analog” presupposed by these arguments for analog mental representation, and to open avenues for future research.
  5. The World is Either Digital or Analogue.Francesco Berto & Jacopo Tagliabue - 2014 - Synthese 191 (3):481-497.
    We address an argument by Floridi (Synthese 168(1):151–178, 2009; 2011a), to the effect that digital and analogue are not features of reality, only of modes of presentation of reality. One can therefore have an informational ontology, like Floridi’s Informational Structural Realism, without commitment to a supposedly digital or analogue world. After introducing the topic in Sect. 1, in Sect. 2 we explain what the proposition expressed by the title of our paper means. In Sect. 3, we describe Floridi’s argument. In (...)
  6. Cellular Automata.Francesco Berto & Jacopo Tagliabue - 2012 - Stanford Encyclopedia of Philosophy.
    Cellular automata (henceforth: CA) are discrete, abstract computational systems that have proved useful both as general models of complexity and as more specific representations of non-linear dynamics in a variety of scientific fields. Firstly, CA are (typically) spatially and temporally discrete: they are composed of a finite or denumerable set of homogeneous, simple units, the atoms or cells. At each time unit, the cells instantiate one of a finite set of states. They evolve in parallel at discrete time steps, following (...)
  7. The Analog-Digital Distinction and the Flow of Information.Paul Jeremiah Bohan Broderick - 2001 - Dissertation, Boston University
    The analog vs. digital distinction is frequently used in computer science, computer technology and elsewhere. However, its precise nature is more elusive than might be expected. This dissertation defines a set of problems hidden within the conventions of ordinary and technical language, and suggests solutions to them. ;Chapter 1 examines ordinary language uses of the analog-digital distinction. Chapter 2 considers its use in technical contexts. There are two main ways of making the distinction that appear in both of the opening (...)
  8. Effects of Familiarity and Sequence Length of Analog Matches in the Simultaneous Matching Task.Gail A. Bruder & Wayne Silverman - 1974 - Journal of Experimental Psychology 102 (5):875.
  9. The History of Early Computer Switching.Arthur W. Burks & Alice R. Burks - 1988 - Grazer Philosophische Studien 32:3-36.
    We distinguish scanning switches, which only enumerate states, from function switches which transform input states into output states. For the latter we introduce a logical network symbolism. Our history of early computer switching begins with the suggestions of Ramon Lull and Gottfried Leibniz, surveys the evolution of mechanical scanning switches and the first mechanical function switches, and then describes the first electromechanical function switches. The main themes of the present paper are that William S. Jevons built the first substantial function (...)
  10. A History of Modern Computing.Paul E. Ceruzzi - 2003 - MIT Press.
    Ceruzzi pens a history of computing from the development of the first electronic digital computer to the Web and dot-com crash.
  11. Analog Vs. Digital Computation.David J. Chalmers - manuscript
    It is fairly well-known that certain hard computational problems (that is, 'difficult' problems for a digital processor to solve) can in fact be solved much more easily with an analog machine. This raises questions about the true nature of the distinction between analog and digital computation (if such a distinction exists). I try to analyze the source of the observed difference in terms of (1) expanding parallelism and (2) more generally, infinite-state Turing machines. The issue of discreteness vs continuity will (...)
  12. On Effective Procedures.Carol E. Cleland - 2002 - Minds and Machines 12 (2):159-179.
    Since the mid-twentieth century, the concept of the Turing machine has dominated thought about effective procedures. This paper presents an alternative to Turing's analysis; it unifies, refines, and extends my earlier work on this topic. I show that Turing machines cannot live up to their billing as paragons of effective procedure; at best, they may be said to provide us with mere procedure schemas. I argue that the concept of an effective procedure crucially depends upon distinguishing procedures as definite courses (...)
  13. Even Turing Machines Can Compute Uncomputable Functions.Jack Copeland - unknown
    Accelerated Turing machines are Turing machines that perform tasks commonly regarded as impossible, such as computing the halting function. The existence of these notional machines has obvious implications concerning the theoretical limits of computability.
  14. On Some Fundamental Distinctions of Computationalism.William Demopoulos - 1987 - Synthese 70 (January):79-96.
    The following paper presents a characterization of three distinctions fundamental to computationalism, viz., the distinction between analog and digital machines, representation and nonrepresentation-using systems, and direct and indirect perceptual processes. Each distinction is shown to rest on nothing more than the methodological principles which justify the explanatory framework of the special sciences.
  15. A Dialogue Concerning Two World Systems: Info-Computational Vs. Mechanistic.Gordana Dodig-Crnkovic & Vincent C. Müller - 2011 - In Gordana Dodig-Crnkovic & Mark Burgin (eds.), Information and computation: Essays on scientific and philosophical understanding of foundations of information and computation. World Scientific. pp. 149-184.
    The dialogue develops arguments for and against a broad new world system - info-computationalist naturalism - that is supposed to overcome the traditional mechanistic view. It would make the older mechanistic view into a special case of the new general info-computationalist framework (rather like Euclidian geometry remains valid inside a broader notion of geometry). We primarily discuss what the info-computational paradigm would mean, especially its pancomputationalist component. This includes the requirements for a the new generalized notion of computing that would (...)
  16. Is the Brain Analog or Digital?Chris Eliasmith - 2000 - Cognitive Science Quarterly 1 (2):147-170.
    It will always remain a remarkable phenomenon in the history of philosophy, that there was a time, when even mathematicians, who at the same time were philosophers, began to doubt, not of the accuracy of their geometrical propositions so far as they concerned space, but of their objective validity and the applicability of this concept itself, and of all its corollaries, to nature. They showed much concern whether a line in nature might not consist of physical points, and consequently that (...)
  17. Objective Computation Versus Subjective Computation.Nir Fresco - 2015 - Erkenntnis 80 (5):1031-1053.
    The question ‘What is computation?’ might seem a trivial one to many, but this is far from being in consensus in philosophy of mind, cognitive science and even in physics. The lack of consensus leads to some interesting, yet contentious, claims, such as that cognition or even the universe is computational. Some have argued, though, that computation is a subjective phenomenon: whether or not a physical system is computational, and if so, which computation it performs, is entirely a matter of (...)
  18. Information Processing as an Account of Concrete Digital Computation.Nir Fresco - 2013 - Philosophy and Technology 26 (1):31-60.
    It is common in cognitive science to equate computation (and in particular digital computation) with information processing. Yet, it is hard to find a comprehensive explicit account of concrete digital computation in information processing terms. An information processing account seems like a natural candidate to explain digital computation. But when ‘information’ comes under scrutiny, this account becomes a less obvious candidate. Four interpretations of information are examined here as the basis for an information processing account of digital computation, namely Shannon (...)
  19. The Instructional Information Processing Account of Digital Computation.Nir Fresco & Marty J. Wolf - 2014 - Synthese 191 (7):1469-1492.
    What is nontrivial digital computation? It is the processing of discrete data through discrete state transitions in accordance with finite instructional information. The motivation for our account is that many previous attempts to answer this question are inadequate, and also that this account accords with the common intuition that digital computation is a type of information processing. We use the notion of reachability in a graph to defend this characterization in memory-based systems and underscore the importance of instructional information for (...)
  20. Languages of Art.Nelson Goodman - 1968 - Bobbs-Merrill.
    . . . Unlike Dewey, he has provided detailed incisive argumentation, and has shown just where the dogmas and dualisms break down." -- Richard Rorty, The Yale Review.
  21. Some Recent Developments on Shannon's General Purpose Analog Computer.D. S. Graca - 2004 - Mathematical Logic Quarterly 50 (4):473.
    This paper revisits one of the first models of analog computation, the General Purpose Analog Computer . In particular, we restrict our attention to the improved model presented in [11] and we show that it can be further refined. With this we prove the following: the previous model can be simplified; it admits extensions having close connections with the class of smooth continuous time dynamical systems. As a consequence, we conclude that some of these extensions achieve Turing universality. Finally, it (...)
  22. Analog and Analog.John Haugeland - 1981 - Philosophical Topics 12 (1):213-226.
  23. Analog Computation.Albert S. Jackson - 1960 - McGraw-Hill.
  24. An Analog VLSI Chip for Low-Level Computer Vision.Kenneth J. Janik, Shih-Lien Lu & Ben Lee - 1996 - Esda 1996: Expert Systems and Ai; Neural Networks 7:211.
  25. The Role of Analog Models in Our Digital Age.Bela Julesz - 1983 - Behavioral and Brain Sciences 6 (4):668.
  26. Analog and Digital Representation.Matthew Katz - 2008 - Minds and Machines 18 (3):403-408.
    In this paper, I argue for three claims. The first is that the difference between analog and digital representation lies in the format and not the medium of representation. The second is that whether a given system is analog or digital will sometimes depend on facts about the user of that system. The third is that the first two claims are implicit in Haugeland's (1998) account of the distinction.
  27. Analog and Digital.David Lewis - 1971 - Noûs 5 (3):321-327.
  28. Words Lie in Our Way.Bruce J. MacLennan - 1994 - Minds and Machines 4 (4):421-37.
    The central claim of computationalism is generally taken to be that the brain is a computer, and that any computer implementing the appropriate program would ipso facto have a mind. In this paper I argue for the following propositions: (1) The central claim of computationalism is not about computers, a concept too imprecise for a scientific claim of this sort, but is about physical calculi (instantiated discrete formal systems). (2) In matters of formality, interpretability, and so forth, analog computation and (...)
  29. Grounding Analog Computers.Bruce J. MacLennan - unknown
    In this commentary on Harnad's "Grounding Symbols in the Analog World with Neural Nets: A Hybrid Model," the issues of symbol grounding and analog (continuous) computation are separated, it is argued that symbol graounding is as important an issue for analog cognitive models as for digital (discrete) models. The similarities and differences between continuous and discrete computation are discussed, as well as the grounding of continuous representations. A continuous analog of the Chinese Room is presented.
  30. Analog and Digital, Continuous and Discrete.Corey Maley - 2011 - Philosophical Studies 155 (1):117-131.
    Representation is central to contemporary theorizing about the mind/brain. But the nature of representation--both in the mind/brain and more generally--is a source of ongoing controversy. One way of categorizing representational types is to distinguish between the analog and the digital: the received view is that analog representations vary smoothly, while digital representations vary in a step-wise manner. I argue that this characterization is inadequate to account for the ways in which representation is used in cognitive science; in its place, I (...)
  31. Structure and Dynamics in Implementation of Computations.Jacques Mallah - forthcoming - In Yasemin J. Erden (ed.), Proceedings of the 7th AISB Symposium on Computing and Philosophy:. AISB.
    Without a proper restriction on mappings, virtually any system could be seen as implementing any computation. That would not allow characterization of systems in terms of implemented computations and is not compatible with a computationalist philosophy of mind. Information-based criteria for independence of substates within structured states are proposed as a solution. Objections to the use of requirements for transitions in counterfactual states are addressed, in part using the partial-brain argument as a general counterargument to neural replacement arguments.
  32. The Digital Computer as Red Herring.Drew McDermott - 2001 - Psycoloquy 12 (54).
    Stevan Harnad correctly perceives a deep problem in computationalism, the hypothesis that cognition is computation, namely, that the symbols manipulated by a computational entity do not automatically mean anything. Perhaps, he proposes, transducers and neural nets will not have this problem. His analysis goes wrong from the start, because computationalism is not as rigid a set of theories as he thinks. Transducers and neural nets are just two kinds of computational system, among many, and any solution to the semantic problem (...)
  33. The Analog Divide.Torin Monahan - 2001 - Acm Sigcas Computers and Society 31 (3):22-31.
  34. Pancomputationalism: Theory or Metaphor?Vincent C. Müller - 2014 - In Ruth Hagengruber & Uwe Riss (eds.), Philosophy, computing and information science. Pickering & Chattoo. pp. 213-221.
    The theory that all processes in the universe are computational is attractive in its promise to provide an understandable theory of everything. I want to suggest here that this pancomputationalism is not sufficiently clear on which problem it is trying to solve, and how. I propose two interpretations of pancomputationalism as a theory: I) the world is a computer and II) the world can be described as a computer. The first implies a thesis of supervenience of the physical over computation (...)
  35. What is a Digital State?Vincent C. Müller - 2013 - In Mark J. Bishop & Yasemin Erden (eds.), The Scandal of Computation - What is Computation? - AISB Convention 2013. AISB. pp. 11-16.
    There is much discussion about whether the human mind is a computer, whether the human brain could be emulated on a computer, and whether at all physical entities are computers (pancomputationalism). These discussions, and others, require criteria for what is digital. I propose that a state is digital if and only if it is a token of a type that serves a particular function - typically a representational function for the system. This proposal is made on a syntactic level, assuming (...)
  36. On the Possibilities of Hypercomputing Supertasks.Vincent C. Müller - 2011 - Minds and Machines 21 (1):83-96.
    This paper investigates the view that digital hypercomputing is a good reason for rejection or re-interpretation of the Church-Turing thesis. After suggestion that such re-interpretation is historically problematic and often involves attack on a straw man (the ‘maximality thesis’), it discusses proposals for digital hypercomputing with Zeno-machines , i.e. computing machines that compute an infinite number of computing steps in finite time, thus performing supertasks. It argues that effective computing with Zeno-machines falls into a dilemma: either they are specified such (...)
  37. Susan Stuart & Gordana Dodig Crnkovic : 'Computation, Information, Cognition: The Nexus and the Liminal'. [REVIEW]Vincent C. Müller - 2009 - Cybernetics and Human Knowing 16 (3-4):201-203.
    Review of: "Computation, Information, Cognition: The Nexus and the Liminal", Ed. Susan Stuart & Gordana Dodig Crnkovic, Newcastle: Cambridge Scholars Publishing, September 2007, xxiv+340pp, ISBN: 9781847180902, Hardback: £39.99, $79.99 ---- Are you a computer? Is your cat a computer? A single biological cell in your stomach, perhaps? And your desk? You do not think so? Well, the authors of this book suggest that you think again. They propose a computational turn, a turn towards computational explanation and towards the explanation of (...)
  38. Representation in Digital Systems.Vincent C. Müller - 2008 - In Adam Briggle, Katinka Waelbers & Brey Philip (eds.), Current issues in computing and philosophy. IOS Press. pp. 116-121.
    Cognition is commonly taken to be computational manipulation of representations. These representations are assumed to be digital, but it is not usually specified what that means and what relevance it has for the theory. I propose a specification for being a digital state in a digital system, especially a digital computational system. The specification shows that identification of digital states requires functional directedness, either for someone or for the system of which it is a part. In the case or digital (...)
  39. Digital Approaches.A. Pagni - 1998 - In Enrique H. Ruspini, Piero Patrone Bonissone & Witold Pedrycz (eds.), Handbook of Fuzzy Computation. Institute of Physics.
  40. Computers.Gualtiero Piccinini - 2004 - Pacific Philosophical Quarterly 89 (1):32–73.
    I offer an explication of the notion of computer, grounded in the practices of computability theorists and computer scientists. I begin by explaining what distinguishes computers from calculators. Then, I offer a systematic taxonomy of kinds of computer, including hard-wired versus programmable, general-purpose versus special-purpose, analog versus digital, and serial versus parallel, giving explicit criteria for each kind. My account is mechanistic: which class a system belongs in, and which functions are computable by which system, depends on the system's mechanistic (...)
  41. The Physical Church Thesis and Physical Computational Complexity.Itamar Pitowski - 1990 - Iyyun 39:81-99.
  42. Digital Simulation of Analog Computation and Church's Thesis.Lee A. Rubel - 1989 - Journal of Symbolic Logic 54 (3):1011-1017.
  43. Analog Versus Digital: Extrapolating From Electronics to Neurobiology.Rahul Sarpeshkar - 1998 - Neural Computation 10 (7):1601--1638.
    We review the pros and cons of analog and digital computation. We propose that computation that is most efficient in its use of resources is neither analog computation nor digital computation but, rather, a mixture of the two forms. For maximum efficiency, the information and information-processing resources of the hybrid form must be distributed over many wires, with an optimal signal-to-noise ratio per wire. Our results suggest that it is likely that the brain computes in a hybrid fashion and that (...)
  44. Varieties of Analog and Digital Representation.Whit Schonbein - 2014 - Minds and Machines 24 (4):415-438.
    The ‘received view’ of the analog–digital distinction holds that analog representations are continuous while digital representations are discrete. In this paper I first provide support for the received view by showing how it (1) emerges from the theory of computation, and (2) explains engineering practices. Second, I critically assess several recently offered alternatives, arguing that to the degree they are justified they demonstrate not that the received view is incorrect, but rather that distinct senses of the terms have become entrenched (...)
  45. The Informational Model of Language: Analog and Digital Coding in Animal and Human Communication (an Excerpt).Thomas A. Sebeok - 1967 - In Donald C. Hildum (ed.), Language and Thought: An Enduring Problem in Psychology. London: : Van Nostrand,. pp. 37--40.
  46. Brains as Analog-Model Computers.Oron Shagrir - 2010 - Studies in History and Philosophy of Science Part A 41 (3):271-279.
    Computational neuroscientists not only employ computer models and simulations in studying brain functions. They also view the modeled nervous system itself as computing. What does it mean to say that the brain computes? And what is the utility of the ‘brain-as-computer’ assumption in studying brain functions? In previous work, I have argued that a structural conception of computation is not adequate to address these questions. Here I outline an alternative conception of computation, which I call the analog-model. The term ‘analog-model’ (...)
  47. Neural and Super-Turing Computing.Hava T. Siegelmann - 2003 - Minds and Machines 13 (1):103-114.
    ``Neural computing'' is a research field based on perceiving the human brain as an information system. This system reads its input continuously via the different senses, encodes data into various biophysical variables such as membrane potentials or neural firing rates, stores information using different kinds of memories (e.g., short-term memory, long-term memory, associative memory), performs some operations called ``computation'', and outputs onto various channels, including motor control commands, decisions, thoughts, and feelings. We show a natural model of neural computing that (...)
  48. Some Recent Developments on Shannon's General Purpose Analog Computer.Daniel Silva Graça - 2004 - Mathematical Logic Quarterly 50 (45):473-485.
    This paper revisits one of the first models of analog computation, the General Purpose Analog Computer . In particular, we restrict our attention to the improved model presented in [11] and we show that it can be further refined. With this we prove the following: the previous model can be simplified; it admits extensions having close connections with the class of smooth continuous time dynamical systems. As a consequence, we conclude that some of these extensions achieve Turing universality. Finally, it (...)
1 — 50 / 481