Search results for 'accelerated Turing machine' (try it on Scholar)

1000+ found
Sort by:
  1. B. Jack Copeland (2002). Accelerating Turing Machines. Minds and Machines 12 (2):281-300.score: 319.0
    Accelerating Turing machines are Turing machines of a sort able to perform tasks that are commonly regarded as impossible for Turing machines. For example, they can determine whether or not the decimal representation of contains n consecutive 7s, for any n; solve the Turing-machine halting problem; and decide the predicate calculus. Are accelerating Turing machines, then, logically impossible devices? I argue that they are not. There are implications concerning the nature of effective procedures and (...)
    Direct download (17 more)  
     
    My bibliography  
     
    Export citation  
  2. B. Jack Copeland & Oron Shagrir (2011). Do Accelerating Turing Machines Compute the Uncomputable? Minds and Machines 21 (2):221-239.score: 270.3
  3. Alan M. Turing (1950). Computing Machinery and Intelligence. Mind 59 (October):433-60.score: 240.0
    I propose to consider the question, "Can machines think?" This should begin with definitions of the meaning of the terms "machine" and "think." The definitions might be framed so as to reflect so far as possible the normal use of the words, but this attitude is dangerous, If the meaning of the words "machine" and "think" are to be found by examining how they are commonly used it is difficult to escape the conclusion that the meaning and the (...)
    Direct download (21 more)  
     
    My bibliography  
     
    Export citation  
  4. Edwin J. Beggs, José Félix Costa & John V. Tucker (2010). Physical Oracles: The Turing Machine and the Wheatstone Bridge. Studia Logica 95 (1/2):279 - 300.score: 224.0
    Earlier, we have studied computations possible by physical systems and by algorithms combined with physical systems. In particular, we have analysed the idea of using an experiment as an oracle to an abstract computational device, such as the Turing machine. The theory of composite machines of this kind can be used to understand (a) a Turing machine receiving extra computational power from a physical process, or (b) an experimenter modelled as a Turing machine performing (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  5. Jack Copeland (1999). Beyond the Universal Turing Machine. Australasian Journal of Philosophy 77 (1):46-67.score: 216.0
    We describe an emerging field, that of nonclassical computability and nonclassical computing machinery. According to the nonclassicist, the set of well-defined computations is not exhausted by the computations that can be carried out by a Turing machine. We provide an overview of the field and a philosophical defence of its foundations.
    Direct download (12 more)  
     
    My bibliography  
     
    Export citation  
  6. Vincent C. Müller (2011). On the Possibilities of Hypercomputing Supertasks. Minds and Machines 21 (1):83-96.score: 201.0
    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 (...)
    Direct download (13 more)  
     
    My bibliography  
     
    Export citation  
  7. D. King (1996). Is the Human Mind a Turing Machine? Synthese 108 (3):379-89.score: 194.7
    In this paper I discuss the topics of mechanism and algorithmicity. I emphasise that a characterisation of algorithmicity such as the Turing machine is iterative; and I argue that if the human mind can solve problems that no Turing machine can, the mind must depend on some non-iterative principle — in fact, Cantor's second principle of generation, a principle of the actual infinite rather than the potential infinite of Turing machines. But as there has been (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  8. S. G. Sterrett, Turing on the Integration of Human and Machine Intelligence.score: 192.0
    Abstract Philosophical discussion of Alan Turing’s writings on intelligence has mostly revolved around a single point made in a paper published in the journal Mind in 1950. This is unfortunate, for Turing’s reflections on machine (artificial) intelligence, human intelligence, and the relation between them were more extensive and sophisticated. They are seen to be extremely well-considered and sound in retrospect. Recently, IBM developed a question-answering computer (Watson) that could compete against humans on the game show Jeopardy! There (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  9. Huma Shah & Kevin Warwick (2010). From the Buzzing in Turing’s Head to Machine Intelligence Contests. In TCIT 2010 / AISB 2010 Convention.score: 192.0
    This paper presents an analysis of three major contests for machine intelligence. We conclude that a new era for Turing’s test requires a fillip in the guise of a committed sponsor, not unlike DARPA, funders of the successful 2007 Urban Challenge.
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  10. Susan G. Sterrett (2012). Bringing Up Turing's 'Child-Machine'. In S. Barry Cooper (ed.), How the World Computes. 703--713.score: 192.0
    Turing wrote that the “guiding principle” of his investigation into the possibility of intelligent machinery was “The analogy [of machinery that might be made to show intelligent behavior] with the human brain.” [10] In his discussion of the investigations that Turing said were guided by this analogy, however, he employs a more far-reaching analogy: he eventually expands the analogy from the human brain out to “the human community as a whole.” Along the way, he takes note of an (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  11. Alan Mathison Turing (2012). Alan Turing's Systems of Logic: The Princeton Thesis. Princeton University Press.score: 180.0
     
    My bibliography  
     
    Export citation  
  12. Matjaz Gams (2002). The Turing Machine May Not Be the Universal Machine. Minds and Machines 12 (1):137-142.score: 170.0
    Can mind be modeled as a Turing machine? If you find such questions irrelevant, e.g. because the subject is already exhausted, then you need not read the book Mind versus Computer (Gams et al., 1991). If, on the other hand, you do find such questions relevant, then perhaps you need not read Dunlop's review of the book (Dunlop, 2000). (...).
    Direct download (14 more)  
     
    My bibliography  
     
    Export citation  
  13. B. Jack Copeland (2000). Narrow Versus Wide Mechanism: Including a Re-Examination of Turing's Views on the Mind-Machine Issue. Journal of Philosophy 97 (1):5-33.score: 168.0
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  14. P. D. Welch (2000). Eventually Infinite Time Turing Machine Degrees: Infinite Time Decidable Reals. Journal of Symbolic Logic 65 (3):1193-1203.score: 168.0
    We characterise explicitly the decidable predicates on integers of Infinite Time Turing machines, in terms of admissibility theory and the constructible hierarchy. We do this by pinning down ζ, the least ordinal not the length of any eventual output of an Infinite Time Turing machine (halting or otherwise); using this the Infinite Time Turing Degrees are considered, and it is shown how the jump operator coincides with the production of mastercodes for the constructible hierarchy; further that (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  15. Daniel King (2003). Cartesian Dualism, and the Universe as Turing Machine. Philosophy Today 47 (2):138-146.score: 168.0
    In the field of computability and algorithmicity, there have recently been two essays that are of great interest: Peter Slezak's "Descartes's Diagonal Deduction," and David Deutsch's "Quantum Theory, the Church-Turing Principle and the Universal Quantum Computer." In brief, the former shows that Descartes' Cogito argument is structurally similar to Godel's proof that there are statements true but cannot be proven within a formal system such as Principia Mathematica, while Deutsch provides strong arguments for believing that the universe can be (...)
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  16. Storrs McCall (1999). Can a Turing Machine Know That the Godel Sentence is True? Journal of Philosophy 96 (10):525-32.score: 166.7
  17. James D. Heffernan (1978). Some Doubts About Turing Machine Arguments. Philosophy of Science 45 (December):638-647.score: 166.7
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  18. Chris Eliasmith (2002). The Myth of the Turing Machine: The Failings of Functionalism and Related Theses. Journal of Experimental and Theoretical Artificial Intelligence 14 (1):1-8.score: 165.3
    The properties of Turing’s famous ‘universal machine’ has long sustained functionalist intuitions about the nature of cognition. Here, I show that there is a logical problem with standard functionalist arguments for multiple realizability. These arguments rely essentially on Turing’s powerful insights regarding computation. In addressing a possible reply to this criticism, I further argue that functionalism is not a useful approach for understanding what it is to have a mind. In particular, I show that the difficulties involved (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  19. B. Jack Copeland & Diane Proudfoot (2000). What Turing Did After He Invented the Universal Turing Machine. Journal of Logic, Language and Information 9 (4):491-509.score: 164.0
    Alan Turing anticipated many areas of current research incomputer and cognitive science. This article outlines his contributionsto Artificial Intelligence, connectionism, hypercomputation, andArtificial Life, and also describes Turing's pioneering role in thedevelopment of electronic stored-program digital computers. It locatesthe origins of Artificial Intelligence in postwar Britain. It examinesthe intellectual connections between the work of Turing and ofWittgenstein in respect of their views on cognition, on machineintelligence, and on the relation between provability and truth. Wecriticise widespread and influential misunderstandings (...)
    Direct download (11 more)  
     
    My bibliography  
     
    Export citation  
  20. José Hernández-Orallo & David L. Dowe (2013). On Potential Cognitive Abilities in the Machine Kingdom. Minds and Machines 23 (2):179-210.score: 160.0
    Animals, including humans, are usually judged on what they could become, rather than what they are. Many physical and cognitive abilities in the ‘animal kingdom’ are only acquired (to a given degree) when the subject reaches a certain stage of development, which can be accelerated or spoilt depending on how the environment, training or education is. The term ‘potential ability’ usually refers to how quick and likely the process of attaining the ability is. In principle, things should not be (...)
    Direct download (14 more)  
     
    My bibliography  
     
    Export citation  
  21. Toby Ord, Hypercomputation: Computing More Than the Turing Machine.score: 153.3
    In this report I provide an introduction to the burgeoning field of hypercomputation – the study of machines that can compute more than Turing machines. I take an extensive survey of many of the key concepts in the field, tying together the disparate ideas and presenting them in a structure which allows comparisons of the many approaches and results. To this I add several new results and draw out some interesting consequences of hypercomputation for several different disciplines.
    Direct download  
     
    My bibliography  
     
    Export citation  
  22. B. Jack Copeland & Oron Shagrir (2011). Do Accelerating Turing Machines Compute the Uncomputable? Minds and Machines 21 (2):221-239.score: 153.0
  23. Iain A. Stewart (1996). The Demise of the Turing Machine in Complexity Theory. In P. J. R. Millican & A. Clark (eds.), Machines and Thought: The Legacy of Alan Turing, Volume 1. Clarendon Press.score: 152.0
    No categories
     
    My bibliography  
     
    Export citation  
  24. Wilfried Sieg & John Byrnes, Generalizing Turing's Machine and Arguments.score: 144.0
    Wilfred Sieg and John Byrnes. Generalizing Turing's Machine and Arguments.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  25. Santosh Putchala & Nikhil Agarwal (2011). Machine Vision: An Aid in Reverse Turing Test. [REVIEW] AI and Society 26 (1):95-101.score: 144.0
    Information security is perceived as an important and vital aspect for the survival of any business. Preserving user identity and limiting the access of web resources only to the humans and restricting ‘bots’ is an ever challenging area of study. With the increase in computing power and development of newer approaches towards circumvention and reverse-engineering, the recognition gap present between the machines and the humans is said to be decreasing. Turing test and its modified versions are in place to (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  26. Gualtiero Piccinini (2007). Computational Modeling Vs. Computational Explanation: Is Everything a Turing Machine, and Does It Matter to the Philosophy of Mind? Australasian Journal of Philosophy 85 (1):93 – 115.score: 140.0
    According to pancomputationalism, everything is a computing system. In this paper, I distinguish between different varieties of pancomputationalism. I find that although some varieties are more plausible than others, only the strongest variety is relevant to the philosophy of mind, but only the most trivial varieties are true. As a side effect of this exercise, I offer a clarified distinction between computational modelling and computational explanation.<br><br>.
    Direct download (9 more)  
     
    My bibliography  
     
    Export citation  
  27. Storrs McCall (1999). Can a Turing Machine Know That the Gödel Sentence is True? Journal of Philosophy 96 (10):525 - 532.score: 140.0
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  28. M. H. A. Newman, Alan M. Turing, Geoffrey Jefferson, R. B. Braithwaite & S. Shieber (2004). Can Automatic Calculating Machines Be Said to Think? In Stuart M. Shieber (ed.), The Turing Test: Verbal Behavior as the Hallmark of Intelligence. Mit Press.score: 140.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  29. Philip K. Hooper (1966). The Undecidability of the Turing Machine Immortality Problem. Journal of Symbolic Logic 31 (2):219-234.score: 140.0
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  30. S. Ginsburg (1972). Review: J. Hartmanis, Context-Free Languages and Turing Machine Computations. [REVIEW] Journal of Symbolic Logic 37 (4):759-759.score: 140.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  31. R. J. Nelson (1980). Turing Machine Arguments. Philosophy of Science 47 (4):630-633.score: 140.0
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  32. Ariel Zylberberg, Stanislas Dehaene, Pieter R. Roelfsema & Mariano Sigman (2011). The Human Turing Machine: A Neural Framework for Mental Programs. Trends in Cognitive Sciences 15 (7):293-300.score: 140.0
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  33. R. M. Baer (1971). Review: Jiri Becvar, A Universal Turing Machine with a Programming Tape. [REVIEW] Journal of Symbolic Logic 36 (3):535-535.score: 140.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  34. Jiri Becvar (1968). Review: F. C. Hennie, One-Tape, Off-Line Turing Machine Computations. [REVIEW] Journal of Symbolic Logic 33 (1):119-120.score: 140.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  35. B. Jack Copeland & Richard Sylvan (1999). Beyond the Universal Turing Machine. Australasian Journal of Philosophy 77 (1):46-66.score: 140.0
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  36. H. B. Enderton (1975). Review: Shen Lin, Tibor Rado, Computer Studies of Turing Machine Problems; Allen H. Brady, The Conjectured Highest Scoring Machines for Rado's $Sum(K)$ for the Value $K = 4$; Milton W. Green, A Lower Bound on Rado's Sigma Function for Binary Turing Machines. [REVIEW] Journal of Symbolic Logic 40 (4):617-617.score: 140.0
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  37. R. J. Nelson (1970). Review: M. D. Davis, A Note on Universal Turing Machines; Martin Davis, The Definition of Universal Turing Machine. [REVIEW] Journal of Symbolic Logic 35 (4):590-590.score: 140.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  38. Peter Skagestad (1996). The Mind's Machines: The Turing Machine, the Memex, and the Personal Computer. Semiotica 111 (3-4):217-244.score: 140.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  39. C. E. M. Yates (1996). Rogers Hartley Jr., The Present Theory of Turing Machine Computability. Journal of the Society for Industrial and Applied Mathematics, Vol. 7 (1959), Pp. 114–130. [REVIEW] Journal of Symbolic Logic 31 (3):513-513.score: 140.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  40. E. K. Blum (1965). Enumeration of Recursive Sets By Turing Machine. Mathematical Logic Quarterly 11 (3):197-201.score: 140.0
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  41. D. A. Clarke (1970). Review: S. C. Kleene, Ernest Nagel, Patrick Suppes, Alfred Tarski, Turing-Machine Computable Functionals of Finite Types I; S. C. Kleene, Turing-Machine Computable Functionals of Finite Types II. [REVIEW] Journal of Symbolic Logic 35 (4):588-589.score: 140.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  42. Patrick C. Fischer (1971). Review: Claude E. Shannon, A Universal Turing Machine with Two Internal States. [REVIEW] Journal of Symbolic Logic 36 (3):532-532.score: 140.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  43. Joyce Friedman (1969). Review: Michael O. Rabin, Hao Wang, Words in the History of a Turing Machine with a Fixed Input. [REVIEW] Journal of Symbolic Logic 34 (3):508-508.score: 140.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  44. Juris Hartmanis (2012). Turing Machine-Inspired Computer Science Results. In. In S. Barry Cooper (ed.), How the World Computes. 276--282.score: 140.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  45. Gabor T. Herman (1971). Review: Philip K. Hooper, The Undecidability of the Turing Machine Immortality Problem. [REVIEW] Journal of Symbolic Logic 36 (1):150-150.score: 140.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  46. Satoshi Iriyama & Masanori Ohya (2009). On Generalized Quantum Turing Machine and Its Applications. In Institute of Physics Krzysztof Stefanski (ed.), Open Systems and Information Dynamics. World Scientific Publishing Company. 16--02.score: 140.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  47. Raymond J. Nelson (1954). Review: E. F. Moore, A Simplified Universal Turing Machine. [REVIEW] Journal of Symbolic Logic 19 (1):57-58.score: 140.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  48. Nicholas J. de Lillo (1978). A Note on Turing Machine Regularity and Primitive Recursion. Notre Dame Journal of Formal Logic 19 (2):289-294.score: 140.0
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  49. D. Osherson & S. Weinstein (1989). A Universal Inductive Turing Machine. Journal of Symbolic Logic 56:661-672.score: 140.0
     
    My bibliography  
     
    Export citation  
  50. Thomas Tymoczko (1991). Why I Am Not a Turing Machine: Godel's Theorem and the Philosophy of Mind. In Jay L. Garfield (ed.), Foundations of Cognitive Science. Paragon House.score: 140.0
     
    My bibliography  
     
    Export citation  
1 — 50 / 1000