Switch to: References

Add citations

You must login to add citations.
  1. How Not To Use the Church-Turing Thesis Against Platonism.R. Urbaniak - 2011 - Philosophia Mathematica 19 (1):74-89.
    Olszewski claims that the Church-Turing thesis can be used in an argument against platonism in philosophy of mathematics. The key step of his argument employs an example of a supposedly effectively computable but not Turing-computable function. I argue that the process he describes is not an effective computation, and that the argument relies on the illegitimate conflation of effective computability with there being a way to find out . ‘Ah, but,’ you say, ‘what’s the use of its being right twice (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Kalmár's Argument Against the Plausibility of Church's Thesis.Máté Szabó - 2018 - History and Philosophy of Logic 39 (2):140-157.
    In his famous paper, An Unsolvable Problem of Elementary Number Theory, Alonzo Church identified the intuitive notion of effective calculability with the mathematically precise notion of recursiveness. This proposal, known as Church's Thesis, has been widely accepted. Only a few papers have been written against it. One of these is László Kalmár's An Argument Against the Plausibility of Church's Thesis from 1959. The aim of this paper is to present Kalmár's argument and to fill in missing details based on his (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Church's Theorem and the Analytic-Synthetic Distincion in Mathematics.Charles Castonguay - 1976 - Philosophica 18.
    Download  
     
    Export citation  
     
    Bookmark  
  • On the Notion of Effectiveness.Stewart Shapiro - 1980 - History and Philosophy of Logic 1 (1-2):209-230.
    This paper focuses on two notions of effectiveness which are not treated in detail elsewhere. Unlike the standard computability notion, which is a property of functions themselves, both notions of effectiveness are properties of interpreted linguistic presentations of functions. It is shown that effectiveness is epistemically at least as basic as computability in the sense that decisions about computability normally involve judgments concerning effectiveness. There are many occurrences of the present notions in the writings of logicians; moreover, consideration of these (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Truth and Meaning Redux.Ernie Lepore & Kirk Ludwig - 2011 - Philosophical Studies 154 (2):251-77.
    In this paper, we defend Davidson's program in truth-theoretical semantics against recent criticisms by Scott Soames. We argue that Soames has misunderstood Davidson's project, that in consequence his criticisms miss the mark, that appeal to meanings as entities in the alternative approach that Soames favors does no work, and that the approach is no advance over truth-theoretic semantics.
    Download  
     
    Export citation  
     
    Bookmark   7 citations