Switch to: References

Citations of:

Development of mathematical logic

London,: Logos Press (1971)

Add citations

You must login to add citations.
  1. Wittgenstein and finitism.Mathieu Marion - 1995 - Synthese 105 (2):141 - 176.
    In this paper, elementary but hitherto overlooked connections are established between Wittgenstein's remarks on mathematics, written during his transitional period, and free-variable finitism. After giving a brief description of theTractatus Logico-Philosophicus on quantifiers and generality, I present in the first section Wittgenstein's rejection of quantification theory and his account of general arithmetical propositions, to use modern jargon, as claims (as opposed to statements). As in Skolem's primitive recursive arithmetic and Goodstein's equational calculus, Wittgenstein represented generality by the use of free (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  • On Limiting the Applications of the Uniqueness Rules in The Equation Calculus.R. Louis Goodstein - 1973 - Mathematical Logic Quarterly 19 (8‐10):115-116.
  • On Limiting the Applications of the Uniqueness Rules in The Equation Calculus.R. Louis Goodstein - 1973 - Mathematical Logic Quarterly 19 (8-10):115-116.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Buttresses of the Turing Barrier.Paolo Cotogno - 2015 - Acta Analytica 30 (3):275-282.
    The ‘Turing barrier’ is an evocative image for 0′, the degree of the unsolvability of the halting problem for Turing machines—equivalently, of the undecidability of Peano Arithmetic. The ‘barrier’ metaphor conveys the idea that effective computability is impaired by restrictions that could be removed by infinite methods. Assuming that the undecidability of PA is essentially depending on the finite nature of its computational means, decidability would be restored by the ω-rule. Hypercomputation, the hypothetical realization of infinitary machines through relativistic and (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark