General Recursive Functions in the Number-Theoretic Formal System
スポンサーリンク
概要
- 論文の詳細を見る
The purpose of the present paper is to give a definition of general recursive functions formalized in the number-theoretic formal system and to show the calculability of those functions which we shall call simply 'recursive function' in this paper.
- 科学基礎論学会の論文
- 1957-03-31
著者
関連論文
- Non-constructive Proofs of a Metamathematical Theorem Concerning the Consistency of Analysis and its Extension
- Cut-Elimination Theorem Concerning a Formal System for Ramified Theory of Types Which Admits Quantifications on Types
- General Recursive Functions in the Number-Theoretic Formal System