Existence and feasibility in arithmetic

DOI Web Site 被引用文献2件

書誌事項

公開日
1971-09
権利情報
  • https://www.cambridge.org/core/terms
DOI
  • 10.2307/2269958
公開者
Cambridge University Press (CUP)

この論文をさがす

説明

<jats:p>“From two integers <jats:italic>k, l</jats:italic> one passes immediately to <jats:italic>k</jats:italic><jats:sup>l</jats:sup>; this process leads in a few steps to numbers which are far larger than any occurring in experience, e.g., 67<jats:sup>(257729)</jats:sup>.</jats:p><jats:p>Intuitionism, like ordinary mathematics, claims that this number can be represented by an arabic numeral. Could not one press further the criticism which intuitionism makes of existential assertions and raise the question: What does it mean to claim the existence of an arabic numeral for the foregoing number, since in practice we are not in a position to obtain it?</jats:p>

収録刊行物

被引用文献 (2)*注記

もっと見る

詳細情報 詳細情報について

問題の指摘

ページトップへ