ブラウザよりも高速アクセス！
8 関係: ディオファントス方程式、クルト・ゲーデル、ゲーデルの不完全性定理、四色定理、石田晴久、立教大学の人物一覧、第五世代コンピュータ、論理学者。
ディオファントス方程式
ディオファントス方程式（ディオファントスほうていしき、Diophantine equation）とは、整係数多変数高次不定方程式である。文脈として、整数解や有理数解を問題にしたい場合に用いられる用語であり、主に数論の研究課題と考えられている。古代アレクサンドリアの数学者ディオファントスの著作『算術』で、その有理数解が研究されたのにちなんだ名称である。.
新しい！!: 廣瀬健とディオファントス方程式 · 続きを見る »
クルト・ゲーデル
ルト・ゲーデル（Kurt Gödel, 1906年4月28日 - 1978年1月14日）は、オーストリア・ハンガリー二重帝国（現チェコ）のブルノ生まれの数学者・論理学者である。業績には、完全性定理及び不完全性定理、連続体仮説に関する研究が知られる。.
新しい！!: 廣瀬健とクルト・ゲーデル · 続きを見る »
ゲーデルの不完全性定理
ーデルの不完全性定理（ゲーデルのふかんぜんせいていり、）又は単に不完全性定理とは、数学基礎論における重要な定理で、クルト・ゲーデルが1930年に証明したものである。;第1不完全性定理: 自然数論を含む帰納的公理化可能な理論が、ω無矛盾であれば、証明も反証もできない命題が存在する。;第2不完全性定理: 自然数論を含む帰納的公理化可能な理論が、無矛盾であれば、自身の無矛盾性を証明できない。.
新しい！!: 廣瀬健とゲーデルの不完全性定理 · 続きを見る »
四色定理
四色定理（よんしょくていり／ししょくていり、）とは、厳密ではないが日常的な直感で説明すると「平面上のいかなる地図も、隣接する領域が異なる色になるように塗り分けるには4色あれば十分だ」という定理である。.
石田晴久
石田 晴久（いしだ はるひさ、1936年10月30日 - 2009年3月9日）は、日本の計算機科学者。東京大学理学部物理学科修士課程修了。Iowa State UniversityでPh.D, 取得。東京大学名誉教授、サイバー大学IT総合学部長。台湾生まれ。.
立教大学の人物一覧
立教大学の人物一覧（りっきょうだいがくのじんぶついちらん）は立教大学に関係する人物の一覧記事。.
新しい！!: 廣瀬健と立教大学の人物一覧 · 続きを見る »
第五世代コンピュータ
五世代コンピュータ（だいごせだい-）とは、通商産業省（現経済産業省）が1982年に立ち上げた国家プロジェクトの開発目標である。570億円を費やし、1992年に終結した。.
新しい！!: 廣瀬健と第五世代コンピュータ · 続きを見る »
論理学者
論理学者（ろんりがくしゃ）とは、論理学を専門に研究する人のことである。.
ここにリダイレクトされます：
広瀬健。
