慶應義塾大学学術情報リポジトリ(KOARA)KeiO Associated Repository of Academic resources

慶應義塾大学学術情報リポジトリ(KOARA)

ホーム  »»  アイテム一覧  »»  アイテム詳細

アイテム詳細

アイテムタイプ Article
ID
AN00150430-00000033-0184  
プレビュー
画像
thumbnail  
キャプション  
本文
AN00150430-00000033-0184.pdf
Type :application/pdf Download
Size :7.2 MB
Last updated :Aug 24, 2010
Downloads : 591

Total downloads since Aug 24, 2010 : 591
 
本文公開日
 
タイトル
タイトル 初等及び一般回帰凾数の理論とその適用 : 論理構造論研究I  
カナ  
ローマ字  
別タイトル
名前 La theorie des fonctions recursives primitives et generates et ses applications  
カナ  
ローマ字  
著者
名前 大出, 晁  
カナ オオイデ, アキラ  
ローマ字 Oide, Akira  
所属 慶應義塾大学  
所属(翻訳)  
役割  
外部リンク  
 
出版地
東京  
出版者
名前 三田哲學會  
カナ ミタ テツガクカイ  
ローマ字 Mita tetsugakukai  
日付
出版年(from:yyyy) 1957  
出版年(to:yyyy)  
作成日(yyyy-mm-dd)  
更新日(yyyy-mm-dd)  
記録日(yyyy-mm-dd)  
形態
 
上位タイトル
名前 哲學  
翻訳  
 
33  
1957  
3  
開始ページ 173  
終了ページ 263  
ISSN
05632099  
ISBN
 
DOI
URI
JaLCDOI
NII論文ID
 
医中誌ID
 
その他ID
 
博士論文情報
学位授与番号  
学位授与年月日  
学位名  
学位授与機関  
抄録
Cet article a le but d'exposer brievement une partie de la theorie des fonctions recursives primitives et generales qui se concerne particulierement des etudes metamathematique et metalogique. Les matieres contenues sont suivantes. Introduction, (supprimee) Chapitre Premier. Les fonctions recursives primitives. §1. Definition et exemples. §2. Les schemas reductibles aux schemas de definition de FRP. §3. La definition simplifiee par la methode de R. M. Robinson. §4. L'enumeration de FRP avec un argument. §5. L'existence des fonctions necursives non-primitives et la recursion emboitee. Chapitre 2. Les fonctions recursives generates. §1. La definition metamathematique. §2. La definition mathematique. §3. La forme normale de Kleene et le theoreme de Tenumeration. §4. La definition simplifiee par la methode de J. Robinson. §5. Classe recursive et classe recursivement enumerable. §6. L'existence des fonctions et predicats qui ne sont pas recursives generates. Chapitre 3. Les applications de la theorie des fonctions recursives. §1. Le systeme formel et la theorie des fonctions recursives (Les theses de Church). §2. Les theoremes de Godel et ses extensions. §3. Le theoreme de Church et ses extensions. §4. Le systeme formel de la theorie axiomatique du nombre et la theorie des fonctions recursives.
 
目次
まえがき
記号の説明
第1章. 初等回帰函数
 第1節. 定義及び例
 第2節. 初等回帰函数に還元可能な定義図式
 第3節. 定義の単純化
 第4節. 一変数の初等回帰函数の枚挙
 第5節. 非初等回帰函数の存在と多重挿入回帰
第2章. 一般回帰函数
 第1節. 超数学的定義
 第2節. 数学的定義
 第3節. Kleeneの標準形及び枚挙定理
 第4節. 定義の単純化
 第5節. 回帰的集合及び回帰的枚挙可能集合
 第6節. 非一般回帰函数及び述語の存在
第3章. 回帰函数理論の適用
 第1節. 形式的体系への要求と回帰函数の理論
 第2節. Gödelの定理とその拡張
 第3節. Churchの定理とその拡張
 第4節. 回帰函数の理論と公理論的数論の形式的体系
むすび
文献表
 
キーワード
 
NDC
 
注記

 
言語
日本語  
資源タイプ
text  
ジャンル
Journal Article  
著者版フラグ
publisher  
関連DOI
アクセス条件

 
最終更新日
Aug 24, 2010 09:00:00  
作成日
Aug 24, 2010 09:00:00  
所有者
mediacenter
 
更新履歴
 
インデックス
/ Public / 文学部 / [哲学] 哲学 / 33 (195703)
 
関連アイテム
 

ランキング

最も多く閲覧されたアイテム
1位 新自由主義に抗す... (427) 1st
2位 斎藤隆夫の「粛軍... (340)
3位 慶應義塾図書館史... (271)
4位 認知文法から考え... (265)
5位 M&Aにおける... (263)

最も多くダウンロードされたアイテム
1位 <<Qu'... (1470) 1st
2位 新参ファンと古参... (437)
3位 731部隊と細菌戦 ... (314)
4位 日本における美容... (268)
5位 新自由主義に抗す... (267)

LINK

慶應義塾ホームページへ
慶應義塾大学メディアセンターデジタルコレクション
慶應義塾大学メディアセンター本部
慶應義塾研究者情報データベース