Loading article…
ニコラス・ゴバート・デ・ブリュイン | |
|---|---|
 | |
| 生まれる | 1918年7月9日 ハーグ、オランダ |
| 死亡 | 2012年2月17日（享年93歳） ヌーネン、オランダ |
| 国籍 | オランダ語 |
| 母校 | アムステルダム自由大学 |
| 知られている | Automath BEST 定理 De Bruijn 因子 De Bruijn 指数 De Bruijn グラフ De Bruijn 記法 De Bruijn 数列 De Bruijn の定理 De Bruijn トーラス De Bruijn-Erdős の定理 De Bruijn-Erdős の定理 (幾何学) De Bruijn-Newman 定数 Dickman-de Bruijn 関数 Moser-deブルーインシーケンス |
| 科学者としてのキャリア | |
| フィールド | 数学 |
| 機関 | アイントホーフェン工科大学 |
| 博士課程の指導教員 | ユルジェン・フェルディナンド・コクスマ |
| 博士課程の学生 | ヨハネス・ルネンバーグ スタン・アッカーマンス |
ニコラース・ゴフェルト・"ディック"・デ・ブリュイン（オランダ語: [ˈnikoːlaːs ˈxoːvər də ˈbrœyn] ; [a] 1918年7月9日 - 2012年2月17日）は、オランダの数学者であり、解析学、数論、組合せ論、論理学の分野で多くの貢献をしたことで知られている。[1]
バイオグラフィー
デ・ブリュインはハーグで生まれ、1924年から1930年まで小学校に通い、1934年まで中学校に通った。 1936年にライデン大学で数学の勉強を始めたが、1939年に第二次世界大戦が勃発したため勉強は中断された。1939年9月、デルフト工科大学数学科の専任助手となり、勉強を続けた。[2] 1941年にライデン大学で学士課程を修了。1943年にアムステルダム自由大学で博士号を取得した。指導教員はユルイェン・フェルディナンド・コクスマ。[3]
1944 年 6 月から、彼はアイントホーフェンのフィリップス研究所で科学研究員として勤務しました。
彼は1944年8月30日にエリザベス・デ・グルートと結婚した。夫婦にはジョリーナ・アレイダ（1947年1月19日生まれ）、フランス・ウィレム（1948年4月13日生まれ）、エリザベス（1950年11月24日生まれ）、ジュディス・エリザベス（1963年3月31日生まれ）の4人の子供がいた。[2]
デ・ブライジンはアムステルダム大学で学者としてのキャリアをスタートし、1952 年から 1960 年まで数学教授を務めました。1960 年にアイントホーフェン工科大学に移り、1984 年に退職するまで数学教授を務めました。[ 1]学生はヨハネス・ルネンブルク（1960年）、アントニウス・レベルト（1961年）、S・アッカーマンスでした。 (1964)、ヨゼフ・ベーナッカー (1966)、W. ファン・デル・メイデン (1967)、マテウス・ハウトゥス (1970)、ロバート・ネーダーペルト・ラザロム (1973)、ランベルト・ファン・ベンセム・ジュッティング (1977)、A. ヤンセン (1979)、ディーデリク・ファン・ダーレン(1980)、ハルマナス・バルスターズ（1986年）。[3]
1957年にオランダ王立芸術科学アカデミーの会員に任命され、[4]オランダ獅子勲章を授与された。
仕事
デ・ブリュインは数学の多くの分野をカバーしました。特に以下の点で有名です。
- デ・ブライジン数列の発見、
- ペンローズタイリングの代数理論を発見し、より一般的には、準周期タイリングを構築するための「投影」法と「マルチグリッド」法を発見した。[5] [6]
- デ・ブライジン・ニューマン定数、
- グラフ理論におけるデ・ブルーイン・エルデシュの定理、
- 同じ名前の別の定理：入射幾何学におけるド・ブリュイン・エルデシュ定理、
- グラフ理論における最高の定理、そして
- De Bruijn 指数。
彼は、高度な漸近解析における標準的な書籍の 1 つを執筆しました(De Bruijn、1958)。
1960年代後半、彼は数学的な証明を表現するためのオートマス言語を設計し、証明を自動的に検証できるようにしました（自動定理チェックを参照）。死の直前、彼は人間の脳のモデルに取り組んでいました。
出版物
書籍、セレクション:
- 1943.モジュールレールを越えて vormen van meer veranderlijken
- 1958年。漸近解析法、北ホラント州、アムステルダム。
記事、抜粋:
- デ・ブライジン、ニコラス・ゴベール。 「組み合わせ問題」、1946 年。科学セクション紀要、Vol. 49、No. 7、758 ～ 764 ページ。 Koninklijke Nederlandse Academy v. ヴェーテンシャッペン。
- de Bruijn、Nicolaas Govert。「数学言語 AUTOMATH、その使用法、およびその拡張の一部」自動デモンストレーションに関するシンポジウム。Springer Berlin Heidelberg、1970 年。
- de Bruijn、Nicolaas Govert。「名前のないダミーを使用したラムダ計算記法、自動式操作ツール、Church-Rosser 定理への応用。」Indagationes Mathematicae (Proceedings)。第 75 巻、第 5 号。North-Holland、1972 年。
注記
- ^ 単独では、Govert は[ˈɣoːvərt]と発音されます。
参考文献
- ^ ab Nicolaas Govert de Bruijn の死亡記事 2013 年 4 月 25 日に Wayback Machine 2012にアーカイブ
- ^ ab MacTutor 数学史アーカイブ: Nicolaas Govert de Bruijn.
「ニコラス・デ・ブライジン - 伝記」。 2012 年 10 月 1 日にオリジナルからアーカイブされました。2021年2月8日閲覧。
{{cite web}}: CS1 maint: bot: 元の URL ステータス不明 (リンク) - ^数学系譜プロジェクトにおけるab Nicolaas Govert de Bruijn
- ^ 「Nicolas Govert de Bruijn (1918–2012)」 (オランダ語)。オランダ王立芸術科学アカデミー。2015 年7 月 17 日に取得。
- ^ de Bruijn, NG (1981). 「ペンローズの平面の非周期的タイリングの代数理論。I」。Indagationes Mathematicae (Proceedings)。84 :39–52。doi : 10.1016/1385-7258(81)90016-0。
- ^ de Bruijn, NG (1981). 「ペンローズの平面の非周期的タイリングの代数理論。II」。Indagationes Mathematicae (Proceedings) 。84 : 53–66。doi : 10.1016 / 1385-7258 (81)90017-2。
外部リンク
ウィキメディア・コモンズには、ニコラス・ゴベール・デ・ブライジン (数学者)に関連するメディアがあります。
- ニコラス・ゴベール・デ・ブライジン氏の訃報
- Bruijn NG de アーカイブ済み 2012-03-04 at the Wayback Machine at win.tue.nl (オランダ語)