「Feferman」を解説文に含む見出し語の検索結果(1～10/79件中)
ナビゲーションに移動検索に移動ソロモン・フェファーマン（Solomon Feferman、1928年12月13日 - 2016年7月16日）はアメリカの哲学者、論理学者。数理論理学に業績がある。フェフ...
ナビゲーションに移動検索に移動ソロモン・フェファーマン（Solomon Feferman、1928年12月13日 - 2016年7月16日）はアメリカの哲学者、論理学者。数理論理学に業績がある。フェフ...
デイナ・スチュアート・スコット生誕 (1932-10-11) 1932年10月11日（91歳）研究分野計算機科学数学哲学研究機関カリフォルニア大学バークレー校スタンフォード大学オックスフォード大学カー...
デイナ・スチュアート・スコット生誕 (1932-10-11) 1932年10月11日（91歳）研究分野計算機科学数学哲学研究機関カリフォルニア大学バークレー校スタンフォード大学オックスフォード大学カー...
クルト・ゲーデルKurt Gödel1925年撮影生誕 (1906-04-28) 1906年4月28日 オーストリア＝ハンガリー帝国、ブリュン死没1978年1月14日(1978-01-14)（71歳没...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/08/03 13:45 UTC 版)「逆数学」の記事における「2階算術の5つの基本的部分体系(Big Five)」の解説2階...
ナビゲーションに移動検索に移動数論において、有効な結果(英: Effective results)であるとは、主張の内容が具体的に計算可能であることを表す。数論における結果は、歴史的理由やディオファン...
ナビゲーションに移動検索に移動数論において、有効な結果(英: Effective results)であるとは、主張の内容が具体的に計算可能であることを表す。数論における結果は、歴史的理由やディオファン...
数学の一分野である圏論において、集合の圏（しゅうごうのけん、英: category of sets）Set (あるいは S e t s {\displaystyle {\mathcal {Se...
< 前の結果 | 次の結果 >