「ゲーデルの不完全性定理」を解説文に含む見出し語の検索結果(191～200/478件中)
集合論及びその応用としての数学におけるクラスまたは類（るい、英: class）は、集合(または、しばしば別の数学的対象)の集まりで、それに属する全ての元が共通にもつ性質によって紛れなく定義され...
グッドスタインの定理（グッドスタインのていり、Goodstein's theorem）は、数理論理学における自然数に関する命題であり、「全てのグッドスタイン数列は必ず0で終わる」という主張。ペアノ算術...
ゲルハルト・ゲンツェンゲルハルト・カール・エーリヒ・ゲンツェン（ドイツ語: Gerhard Karl Erich Gentzen, 1909年11月24日 - 1945年8月4日）はドイツの論...
サミュエル・レイ・ディレイニーSamuel Ray "Chip" Delany, Jr.誕生 (1942-04-01) 1942年4月1日（83歳）ニューヨーク国籍 アメリカ合衆国ジャンルSF、ファン...
サミュエル・レイ・ディレイニーSamuel Ray "Chip" Delany, Jr.誕生 (1942-04-01) 1942年4月1日（83歳）ニューヨーク国籍 アメリカ合衆国ジャンルSF、ファン...
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...
ジョージ・ブールGeorge Boole生誕 (1815-11-02) 1815年11月2日 イギリス イングランド リンカン死没 (1864-12-08) 1864年12月8日（49歳没） イギリス...
ジョージ・ブールGeorge Boole生誕 (1815-11-02) 1815年11月2日 イギリス イングランド リンカン死没 (1864-12-08) 1864年12月8日（49歳没） イギリス...
スコーレム標準形（スコーレムひょうじゅんけい、英: Skolem normal form）とは、数理論理学において一階述語論理における存在記号がすべて全称記号の前にある冠頭標準形の論理式を言う...