Switch to: References

Add citations

You must login to add citations.
  1. On the Intuitionistic Background of Gentzen's 1935 and 1936 Consistency Proofs and Their Philosophical Aspects.Yuta Takahashi - 2018 - Annals of the Japan Association for Philosophy of Science 27:1-26.
    Gentzen's three consistency proofs for elementary number theory have a common aim that originates from Hilbert's Program, namely, the aim to justify the application of classical reasoning to quantified propositions in elementary number theory. In addition to this common aim, Gentzen gave a “finitist” interpretation to every number-theoretic proposition with his 1935 and 1936 consistency proofs. In the present paper, we investigate the relationship of this interpretation with intuitionism in terms of the debate between the Hilbert School and the Brouwer (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • A Philosophical Significance of Gentzen’s 1935 Consistency Proof for First-Order Arithmetic.Yuta Takahashi - 2016 - Kagaku Tetsugaku 49 (1):49-66.
    Download  
     
    Export citation  
     
    Bookmark