「原始帰納的算術」を解説文に含む見出し語の検索結果(1～10/12件中)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/05/20 10:10 UTC 版)「初等関数算術」の記事における「関連する体系」の解説ロビンソン算術に有界論理式に対する帰...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/06/24 05:44 UTC 版)「再帰理論」の記事における「定義可能性、証明、計算可能性の相互関係」の解説自然数の集合の...
ルーベン・グッドスタインReuben Goodstein生誕 (1912-12-15) 1912年12月15日 イングランド、ロンドン死没1985年3月8日(1985-03-08)（72歳没） イング...
数理論理学の一分野である証明論において、初等関数算術（英: elementary function arithmetic）または指数関数算術（EFA）は算術の体系のひとつであり、関数記号 0 ...
原始帰納的算術（げんしきのうてきさんじゅつ、英: primitive recursive arithmetic）またはPRAは自然数の理論の量化子なしの形式化である。これはトアルフ・スコーレム...
原始帰納的算術（げんしきのうてきさんじゅつ、英: primitive recursive arithmetic）またはPRAは自然数の理論の量化子なしの形式化である。これはトアルフ・スコーレム...
原始帰納的算術（げんしきのうてきさんじゅつ、英: primitive recursive arithmetic）またはPRAは自然数の理論の量化子なしの形式化である。これはトアルフ・スコーレム...
.mw-parser-output .hatnote{margin:0.5em 0;padding:3px 2em;background-color:transparent;border-bottom...
.mw-parser-output .hatnote{margin:0.5em 0;padding:3px 2em;background-color:transparent;border-bottom...
.mw-parser-output .hatnote{margin:0.5em 0;padding:3px 2em;background-color:transparent;border-bottom...
< 前の結果 | 次の結果 >