|
===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ ー ： [ちょうおん] (n) long vowel mark (usually only used in katakana)
トアルフ・スコーレム（Albert Thoralf Skolem 、1887年5月23日 - 1963年3月23日）は、ノルウェーの数学者。オスロ大学で代数学や自然数論を講義した。 数理論理学、数学基礎論で重要な発見をしている。また、不定方程式論においても、いくつかの定理を発見している。主な業績として、数理論理学では *スコーレム標準形 *レーヴェンハイム・スコーレムの定理（ペアノ算術の非可算モデルの存在証明?） が挙げられる。また、数学においては *P進数法 などの業績を挙げた。 == 関連項目 == * ラマヌジャン・スコーレムの定理 * レーヴェンハイム-スコーレムの定理 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「トアルフ・スコーレム」の詳細全文を読む スポンサード リンク
|