Loading article…
ニコラース・ゴーフェルト「ディック」デ・ブルイン（オランダ語: [ ˈnikoːlaːs ˈxoːvər də ˈbrœyn ]、 1918年7月9日- 2012年2月17日）は、オランダの数学者で、解析学、数論、組み合わせ論、論理学の分野における多くの貢献で知られている。[ 1 ]
デ・ブルインはハーグで生まれ、1924年から1930年まで小学校に通い、1934年まで中学校に通った。 1936年にライデン大学で数学の勉強を始めたが、1939年の第二次世界大戦の勃発により学業は中断された。1939年9月、学業を続けながらデルフト工科大学数学科の常勤助手となった。 [ 2 ] 1941年にライデン大学で学部課程を修了。1943年にアムステルダム自由大学で「 Over modulaire vormen van meer veranderlijken 」という論文で博士号を取得。指導教官はユルゲン・フェルディナント・コクスマ。[ 3 ]
彼は1944年6月から、アイントホーフェンにあるフィリップス研究所で科学研究員として勤務した。
彼は1944年8月30日にエリザベス・デ・グロートと結婚した。夫妻には4人の子供がいた。ジョリナ・アレイダ（1947年1月19日生まれ）、フランス・ウィレム（1948年4月13日生まれ）、エリザベス（1950年11月24日生まれ）、ジュディス・エリザベス（1963年3月31日生まれ）である。[ 2 ]
デ・ブライジンはアムステルダム大学で学業を開始し、1952 年から 1960 年まで数学教授を務めました。1960 年にアイントホーフェン工科大学に移り、1984 年に退職するまで数学教授を務めました。[ 1 ]彼の大学院生の中には、ヨハネス・ルネンブルク(1960 年)、アントニウス・レベルト (1961 年)、S. アッカーマンスなどがいます。 (1964)、ヨゼフ・ベーナッカー (1966)、W. ファン・デル・メイデン (1967)、マテウス・ハウトゥス (1970)、ロバート・ネーダーペルト・ラザロム (1973)、ランベルト・ファン・ベンセム・ジュッティング (1977)、A. ヤンセン (1979)、ディーデリク・ファン・ダーレン (1980)、ハルマナス・バルスタース（1986年）。[ 3 ]
1957年に彼はオランダ王立芸術科学アカデミーの会員に任命された。[ 4 ]彼はオランダ獅子勲章を授与された。
デ・ブルインは数学の多くの分野を研究した。特に以下の分野で知られている。
彼は高度な漸近解析に関する標準的な書籍の一つを執筆した（De Bruijn、1958年）。
1960年代後半、彼は数学的証明を表現するための言語であるオートマトンを設計し、それによって証明を自動的に検証できるようにした（自動定理検証を参照）。亡くなる直前には、人間の脳のモデルに関する研究に取り組んでいた。
書籍のセレクション：
記事一覧：