Switch to: Citations

Add references

You must login to add references.
  1. Hypercomputation.B. Jack Copeland - 2002 - Minds and Machines 12 (4):461-502.
    A survey of the field of hypercomputation, including discussion of a variety of objections.
    Download  
     
    Export citation  
     
    Bookmark   53 citations  
  • Proving church's thesis.Robert Black - 2000 - Philosophia Mathematica 8 (3):244--58.
    Arguments to the effect that Church's thesis is intrinsically unprovable because proof cannot relate an informal, intuitive concept to a mathematically defined one are unconvincing, since other 'theses' of this kind have indeed been proved, and Church's thesis has been proved in one direction. However, though evidence for the truth of the thesis in the other direction is overwhelming, it does not yet amount to proof.
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • Shadows of the Mind: A Search for the Missing Science of Consciousness.Roger Penrose - 1994 - Oxford University Press.
    Presenting a look at the human mind's capacity while criticizing artificial intelligence, the author makes suggestions about classical and quantum physics and ..
    Download  
     
    Export citation  
     
    Bookmark   319 citations  
  • Inquiries Into Truth And Interpretation.Donald Davidson - 1984 - Oxford, GB: Oxford University Press.
    Now in a new edition, this volume updates Davidson's exceptional Inquiries into Truth and Interpretation (1984), which set out his enormously influential philosophy of language. The original volume remains a central point of reference, and a focus of controversy, with its impact extending into linguistic theory, philosophy of mind, and epistemology. Addressing a central question--what it is for words to mean what they do--and featuring a previously uncollected, additional essay, this work will appeal to a wide audience of philosophers, linguists, (...)
    Download  
     
    Export citation  
     
    Bookmark   1017 citations  
  • (2 other versions)Radical interpretation.Donald Davidson - 1973 - Dialectica 27 (1):314-328.
    Download  
     
    Export citation  
     
    Bookmark   374 citations  
  • (2 other versions)Radical Interpretation.Donald Davidson - 1973 - Dialectica 27 (3-4):313-328.
    Download  
     
    Export citation  
     
    Bookmark   340 citations  
  • (2 other versions)Radical Interpretation.Donald Davidson - 2003 - In John Heil (ed.), Philosophy of Mind: A Guide and Anthology. New York: Oxford University Press.
    Download  
     
    Export citation  
     
    Bookmark   228 citations  
  • The Applicability of Mathematics as a Philosophical Problem.Mark Steiner - 2000 - Mind 109 (434):390-394.
    Download  
     
    Export citation  
     
    Bookmark   116 citations  
  • The Physical Church–Turing Thesis: Modest or Bold?Gualtiero Piccinini - 2011 - British Journal for the Philosophy of Science 62 (4):733-769.
    This article defends a modest version of the Physical Church-Turing thesis (CT). Following an established recent trend, I distinguish between what I call Mathematical CT—the thesis supported by the original arguments for CT—and Physical CT. I then distinguish between bold formulations of Physical CT, according to which any physical process—anything doable by a physical system—is computable by a Turing machine, and modest formulations, according to which any function that is computable by a physical system is computable by a Turing machine. (...)
    Download  
     
    Export citation  
     
    Bookmark   24 citations  
  • Church's Thesis and Principles for Mechanisms.Robin Gandy - 1980 - In The Kleene Symposium. North-Holland. pp. 123--148.
    Download  
     
    Export citation  
     
    Bookmark   74 citations  
  • Calculations by Man and Machine: Conceptual Analysis.Wilfried Sieg - unknown
    Wilfried Sieg. Calculations by Man and Machine: Conceptual Analysis.
    Download  
     
    Export citation  
     
    Bookmark   21 citations  
  • On Computable Numbers, with an Application to the Entscheidungsproblem.Alan Turing - 1936 - Proceedings of the London Mathematical Society 42 (1):230-265.
    Download  
     
    Export citation  
     
    Bookmark   717 citations  
  • The Applicability of Mathematics as a Philosophical Problem.Mark Steiner - 1998 - Harvard University Press.
    This book analyzes the different ways mathematics is applicable in the physical sciences, and presents a startling thesis--the success of mathematical physics ...
    Download  
     
    Export citation  
     
    Bookmark   110 citations  
  • Physical hypercomputation and the church–turing thesis.Oron Shagrir & Itamar Pitowsky - 2003 - Minds and Machines 13 (1):87-101.
    We describe a possible physical device that computes a function that cannot be computed by a Turing machine. The device is physical in the sense that it is compatible with General Relativity. We discuss some objections, focusing on those which deny that the device is either a computer or computes a function that is not Turing computable. Finally, we argue that the existence of the device does not refute the Church–Turing thesis, but nevertheless may be a counterexample to Gandy's thesis.
    Download  
     
    Export citation  
     
    Bookmark   22 citations  
  • Mechanical procedures and mathematical experience.Wilfried Sieg - 1994 - In Alexander George (ed.), Mathematics and mind. New York: Oxford University Press. pp. 71--117.
    Wilfred Sieg. Mechanical Procedures and Mathematical Experience.
    Download  
     
    Export citation  
     
    Bookmark   50 citations  
  • The Church-Turing Thesis.B. Jack Copeland - 2014 - In Edward N. Zalta (ed.), The Stanford Encyclopedia of Philosophy. Stanford, CA: The Metaphysics Research Lab.
    There are various equivalent formulations of the Church-Turing thesis. A common one is that every effective computation can be carried out by a Turing machine. The Church-Turing thesis is often misunderstood, particularly in recent writing in the philosophy of mind.
    Download  
     
    Export citation  
     
    Bookmark   53 citations  
  • The Kleene Symposium.Robin Gandy - 1980 - North-Holland.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Step by recursive step: Church's analysis of effective calculability.Wilfried Sieg - 1997 - Bulletin of Symbolic Logic 3 (2):154-180.
    Alonzo Church's mathematical work on computability and undecidability is well-known indeed, and we seem to have an excellent understanding of the context in which it arose. The approach Church took to the underlying conceptual issues, by contrast, is less well understood. Why, for example, was "Church's Thesis" put forward publicly only in April 1935, when it had been formulated already in February/March 1934? Why did Church choose to formulate it then in terms of Gödel's general recursiveness, not his own λ (...)
    Download  
     
    Export citation  
     
    Bookmark   30 citations  
  • The Physical Church Thesis and Physical Computational Complexity.Itamar Pitowski - 1990 - Iyyun 39:81-99.
    Download  
     
    Export citation  
     
    Bookmark   37 citations