Switch to: References

Add citations

You must login to add citations.
  1. Intuition, Iteration, Induction.Mark van Atten - 2024 - Philosophia Mathematica 32 (1):34-81.
    Brouwer’s view on induction has relatively recently been characterised as one on which it is not only intuitive (as expected) but functional, by van Dalen. He claims that Brouwer’s ‘Ur-intuition’ also yields the recursor. Appealing to Husserl’s phenomenology, I offer an analysis of Brouwer’s view that supports this characterisation and claim, even if assigning the primary role to the iterator instead. Contrasts are drawn to accounts of induction by Poincaré, Heyting, and Kreisel. On the phenomenological side, the analysis provides an (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Gödel and the concept of meaning in mathematics.Thomas Tymoczko - 1998 - Synthese 114 (1):25-40.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
    		•
  • Wittgenstein's inversion of gödel's theorem.Victor Rodych - 1999 - Erkenntnis 51 (2-3):173-206.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  • Misunderstanding Gödel: New Arguments about Wittgenstein and New Remarks by Wittgenstein.Victor Rodych - 2003 - Dialectica 57 (3):279-313.
    The long‐standing issue of Wittgenstein's controversial remarks on Gödel's Theorem has recently heated up in a number of different and interesting directions [,, ]. In their, Juliet Floyd and Hilary Putnam purport to argue that Wittgenstein's‘notorious’ “Contains a philosophical claim of great interest,” namely, “if one assumed. that →P is provable in Russell's system one should… give up the “translation” of P by the English sentence ‘P is not provable’,” because if ωP is provable in PM, PM is ω ‐inconsistent, (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Misunderstanding gödel: New arguments about Wittgenstein and new remarks by Wittgenstein.Victor Rodych - 2003 - Dialectica 57 (3):279–313.
    The long‐standing issue of Wittgenstein's controversial remarks on Gödel's Theorem has recently heated up in a number of different and interesting directions [, , ]. In their , Juliet Floyd and Hilary Putnam purport to argue that Wittgenstein's‘notorious’ “Contains a philosophical claim of great interest,” namely, “if one assumed. that →P is provable in Russell's system one should… give up the “translation” of P by the English sentence ‘P is not provable’,” because if ωP is provable in PM, PM is (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  • Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Gödel's Theorems.Rod J. L. Adams & Roman Murawski - 1999 - Dordrecht, Netherland: Springer Verlag.
    Traces the development of recursive functions from their origins in the late nineteenth century to the mid-1930s, with particular emphasis on the work and influence of Kurt Gödel.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  • Is the human mind a Turing machine?D. King - 1996 - Synthese 108 (3):379-89.
    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 theorisation that all physical systems (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
    		•
  • A Bibliography of Hao Wang.Marie Grossi, Montgomery Link, Katalin Makkai & Charles Parsons - 1998 - Philosophia Mathematica 6 (1):25-38.
    A listing is given of the published writings of the logician and philosopher Hao Wang , which includes all items known to the authors, including writings in Chinese and translations into other languages.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • On Saying What You Really Want to Say: Wittgenstein, Gödel and the Trisection of the Angle.Juliet Floyd - 1995 - In Jaakko Hintikka (ed.), From Dedekind to Gödel: The Foundations of Mathematics in the Early Twentieth Century, Synthese Library Vol. 251 (Kluwer Academic Publishers. pp. 373-426.
    Direct download  
     
    Export citation  
     
    Bookmark   12 citations