翻訳と辞書
Words near each other
・ 原始型壁子嚢
・ 原始大核綱
・ 原始大気
・ 原始太陽系円盤
・ 原始宗教
・ 原始家族フリントストーン
・ 原始少年リュウ
・ 原始少年リュウが行く
・ 原始島 (ゲーム)
・ 原始帰納的
原始帰納的算術
・ 原始帰納的関数
・ 原始形質
・ 原始性嚢胞
・ 原始性感覚
・ 原始性知覚
・ 原始怪獣ドラゴドン
・ 原始惑星
・ 原始惑星状星雲
・ 原始惑星状星雲の一覧


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

原始帰納的算術 : ウィキペディア日本語版
原始帰納的算術[げんしきのうてきさんじゅつ]
原始帰納的算術(げんしきのうてきさんじゅつ、)またはPRA自然数の理論の量化子なしの形式化である。これはトアルフ・スコーレムThoralf Skolem (1923) "The foundations of elementary arithmetic" in Jean van Heijenoort, translator and ed. (1967) ''From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931''. Harvard Univ. Press: 302-33.〕によって数学基礎論における有限の立場の形式化として提案されたもので、PRAの推論が有限の立場の範疇にあることが広く承認された。また有限の立場がPRAによって捉えきれていると信ぜられている〔Tait, W.W. (1981), "Finitism", ''Journal of Philosophy'' 78:524-46.〕が、有限の立場においても原始再帰よりも強い形の再帰を認めることで(PRAから)拡大することができると信ずる向きもある。それはエプシロン・ノート \varepsilon_0 までの超限再帰〔Georg Kreisel (1958) "Ordinal Logics and the Characterization of Informal Notions of Proof," ''Proc. Internat. Cong. Mathematicians'': 289-99.〕であって、これはペアノ算術証明論的順序数に等しい。PRAの証明論的順序数は \omega^\omega である。PRAはしばしばスコーレム算術とも呼ばれる。
PRAの言語は自然数原始帰納的関数からなる算術的命題を表現できる。原始帰納的関数としては例えば加法乗法指数関数などが含まれる。PRAは自然数上を走る明示的な量化はできない。PRAはしばしば基本的な証明論(とりわけ一階算術ゲンツェンの無矛盾性証明のような無矛盾性証明)のための超数学的な形式的体系とされる。
== 言語と公理 ==
PRAの言語は次のものからなる:
* 可算無限個の変数 ''x'', ''y'', ''z'',....
* 命題結合子
* 等号記号 ''='', 定数記号 ''0'', 後者記号 ''S''
* 任意の原始帰納的関数に対する記号
PRAの論理公理は次のものからなる:
* 命題論理トートロジーすべて
* 等号公理
PRAの論理規則はモーダス・ポネンス変数への代入からなる。非論理公理は次のものからなる:
* S(x) \ne 0;
* S(x)=S(y) ~\to~ x=y,
それと原始帰納的関数の定義式すべてである。例えば原始帰納的関数の最も一般的な特徴付けは、ゼロと後者を含み、射影、関数合成、原始再帰で閉じている、というものである。そこで、(''n''+1)-変数関数(を表す記号, 以下省略) ''f'' が原始再帰によって ''n''-変数の基底関数 ''g'' と (''n''+2)-変数の反復関数 ''h'' から得られるときには、次のものを公理とする:
* f(0,y_1,\ldots,y_n) = g(y_1,\ldots,y_n)
* f(S(x),y_1,\ldots,y_n) = h(x,f(x,y_1,\ldots,y_n),y_1,\ldots,y_n)
とくに
* x+0 = x\
* x+S(y) = S(x+y)\
* x \cdot 0 = 0\
* x \cdot S(y) = x \cdot y + x\
* ... などである。
PRAは一階算術における帰納法公理図式の代わりに次の(量化子なしの)帰納法図式を持つ:
* 任意の述語 \varphi について、 \varphi(0)\varphi(x)\to\varphi(S(x)) から \varphi(y) を導く。
一階算術において、明示的な公理化を必要とする原始帰納的関数加法乗法だけである。それ以外の全ての原始帰納的述語はそれら2つの原始帰納的関数と自然数上の量化によって定義できる。(正確にいえば原始帰納的述語を表現する論理式を構成できる。)このような意味の原始帰納的関数の定義はPRAにおいては不可能である。PRAは量化子を欠いているからである。

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「原始帰納的算術」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.