グリゴレ・モイシル

グリゴレ・C・モイシル
2006 年のルーマニア切手に描かれたグリゴーレ・モワシル
生まれる	1906年1月10日 トゥルチャ、ルーマニア王国
死亡	1973年5月21日(1973-05-21)（67歳） オタワ、オンタリオ州、カナダ
市民権	ルーマニア
母校	ブカレスト工科大学
知られている	Łukasiewicz-Moisil 代数 代数 論理 MV 代数
科学者としてのキャリア
フィールド	数学、論理、数理論理学
機関	ブカレスト大学
論文	継続的なシステム分析の機械 (1929)
博士課程の指導教員	ゲオルゲ・シシェイツァ・ ディミトリエ・ポンペイウ
博士課程の学生	ピーター・L・ハマー

グリゴレ・コンスタンティン・モイシル（ルーマニア語: [ɡriˈɡore mo.iˈsil] ; 1906年1月10日 - 1973年5月21日）は、ルーマニアの 数学者、コンピュータの先駆者、ルーマニア科学アカデミーの名誉会員である。彼の研究は主に数理論理学（ルカシェヴィチ-モイシル代数）、代数論理、MV代数、微分方程式の分野であった。彼はルーマニアにおける コンピュータサイエンスの父とみなされている。

モイシルはボローニャ科学アカデミーと国際哲学研究所の会員でもありました。1996 年、IEEE コンピュータ協会は彼に死後コンピュータ パイオニア賞を授与しました。

グリゴレ・モイシルは1906年にトゥルチャの知識階級の家庭に生まれた。曽祖父のグリゴレ・モイシル（1814年 - 1891年）は牧師で、ナサウドで最初のルーマニア高等学校の創設者の一人だった。父のコンスタンティン・モイシル（1876年 - 1958年）は歴史学教授、考古学者、貨幣収集家であり、ルーマニアアカデミーの会員として、アカデミー貨幣収集局長を務めた。母のエレナ（1863年 - 1949年）はトゥルチャの教師で、後にブカレストの「マイダヌル・デュラプルイ」学校（現在は「イエナチツァ・ヴァカレスク」学校）の校長となった。

グリゴレ・モイシルは、1916年から1922年までブカレストで小学校に通い、その後バスルイとブカレスト（スピル・ハレト高等学校 [ro] ）で高等学校に通った。1924年にブカレスト工科大学の土木工学部とブカレスト大学の数学部に入学した。彼は数学に強い関心を示したため、3年生の試験に全て合格していたにもかかわらず、1929年に工科大学を中退した。1929年に、彼はゲオルゲ・ツィツェイカが率い、ディミトリ・ポンペイウとアントン・ダヴィドグルが委員を務めた委員会で、博士論文「連続系の解析力学」を発表した。この論文は同年パリのゴーティエ＝ヴィラール出版社から出版され、ヴィト・ヴォルテッラ、トゥリオ・レヴィ＝チヴィタ、ポール・レヴィから好意的なコメントを受けた。

1930年、モイシルは数学の更なる研究のためパリ大学に進学し、翌年、数理物理学からの論文「偏微分を持つ方程式のシステムの種類について」で研究を終えた。1931年、彼はルーマニアに戻り、ヤシ大学数学部の教職に就いた。その後まもなく、彼はロックフェラー財団の奨学金を得て1年間ローマに留学した。1932年、彼はヤシに戻り、そこでほぼ10年間過ごし、アレクサンドル・ミュラー教授と親密な関係を築いた。彼はヤシ大学で、ルーマニア初の現代代数学の講座「論理学と証明理論」を教えた。その頃、彼はヤン・ルカシェヴィチの多値論理の著作に基づいた一連の論文を書き始めた。数理論理学における彼の研究は、その後ルーマニア、アルゼンチン、ユーゴスラビア、チェコスロバキア、ハンガリーで行われた重要な研究の基礎となった。ヤシ滞在中、彼は多くの新しいアイデアと、数学の異なる分野の概念間の新しいつながりを見つけて使用する方法で注目に値する研究を成し遂げた。彼は1939年11月に教授に昇進した。

1941年、ブカレスト大学で教授のポストが空き、モイシルはそれに応募した。しかし、ゲオルゲ・ヴランセアヌ、ダン・バルビリアン、ミロン・ニコレスクもそのポストに応募し、ヴランセアヌがそれを得た。モイシルは教育省に働きかけ、4人全員が採用されればルーマニアの数学にとって大きなチャンスになると主張した。彼の訴えの結果、4人の数学者全員が採用された。モイシルはブカレストに移り、1941年12月30日にブカレスト大学数学部（後に数学・コンピュータサイエンス部）の教授になった。

1946年から1948年にかけて、モイシルは休職し、アンカラ駐在の全権大使に任命された。トルコ滞在中、彼はイスタンブール大学とイスタンブール工科大学で数学の講義を数回行った。

1948年、彼はブカレスト大学で教鞭を執り、同年、ルーマニア科学アカデミー会員に選出され、同アカデミー数学研究所の会員となった。1965年以降、彼の学生の一人であるジョージ・ジョルジェスクが彼と多値論理について密接に研究し、 1989年のルーマニア革命後の1991年にモイシルと同じ大学の学部で数学と論理学の教授となった。^{[1]彼の学生はまた、}代数論理、MV代数、代数、代数的位相、 MV代数のカテゴリー、カテゴリー理論、およびルカシェヴィチ-モイシル代数に関する広範囲で独創的な研究を発表した。^{[2] [3]}

モイシルは、力学、数学的解析、幾何学、代数学、数理論理学に関する論文を発表した。彼はポンペイウの等角微分の多次元拡張を開発し、 1つの超複素変数の単因子関数とその力学への応用を研究した。モイシルはまた、ウカシェヴィチ代数（現在はウカシェヴィチ-モイシル代数とも呼ばれる）と呼ぶいくつかの多価代数を導入し、論理学やオートマトン理論の研究に使用した。彼は有限オートマトンを解析する新しい方法を生み出し、代数学におけるオートマトン理論の分野に多大な貢献をした。

モイシルの初期の貢献は数学であったが、後に彼は科学的活動を数理論理学とコンピュータサイエンスに捧げた。彼はブカレスト大学で数理論理学とコンピュータサイエンスの教授であり、ブカレスト工科大学でブール論理も教えた。1957年、彼は原子物理学研究所でルーマニア初のコンピュータのセットアップに協力し、何人かの学生にコンピュータプログラミングを学ぶよう奨励した。このように、彼はルーマニアのコンピュータサイエンスの発展と、ルーマニアの第一世代のコンピュータ科学者の育成に重要な役割を果たした。さらに、モイシルの著書のいくつかは、コンピュータサイエンスの始まりに影響を与えた：Încercări Vechi și Noi în Logica Neoclasică [新古典論理における新旧のアプローチ]、1953年。彼は1959年に『オートマトン代数理論』（Teoria Algebrică a Mecanismelor Automate） 、『トランジスタ回路』 （Circuite cu Tranzistori ）を出版した。これらの本はロシア語やチェコ語を含む複数の言語に翻訳された。さらにヨーロッパや北アメリカの様々な大学で講義を行った。^[4]

モイシルはルーマニア科学アカデミーの名誉会員であり、ボローニャ科学アカデミーの会員でもありました。1996年、彼の死後、電気電子技術者協会コンピュータ協会からコンピュータパイオニア賞が例外的に授与されました。

• ブール論理
• ド・モルガン代数
• ヤン・ルカシェヴィッチ

ルカシェヴィチ論理

• 三項論理
• 格子
• 多値ロジック:

Łukasiewicz-Moisil 代数

• 量子論理:

量子コンピュータ

• 代数論理:

MV代数

• 記号論理学:

数学的論理

• 代数
• カテゴリー理論:

圏論的論理、 随伴関数

• 電気電子技術者協会

• ロジックモダーレ、ディスクィジット。数学。物理学。 2 (1942)、3–98。MR 0020524
• 代数の紹介。 I. Inele Ši Ideale [代数学の入門。 I. 指輪と理想]、Editura Academiei Republicii Popular Române、ブカレスト、1954. MR 0069136
• Teoria algebrică a mecanismelor automate [自動機械の代数理論]、Academia Republicii Popular Romîne、Editura Tehnică、ブカレスト、1959 年。MR 0120120
• Circuite cu tranzistori [トランジスタ回路]、Editura Academiei Republicii Popular Romîne、ブカレスト、1961 ～ 62 年。OCLC  15371418
• 自動化の最終構造、ゴーティエ ヴィラール、パリ、1​​967 年。OCLC  9049760
• スイッチング回路の代数理論、Pergamon Press、オックスフォード、ニューヨーク、1969年。ISBN 0-08-010148-8 

• George Georgescu、Afrodita Iorgulescu、Sergiu Rudeanu、「Grigore C. Moisil (1906–1973) and his School in Algebraic Logic」、International Journal of Computers, Communications & Control、vol. 1 (2006)、no.1、81–99。
• ソロモン・マーカス、「グリゴレ・C・モイシル：神話になる人生」、International Journal of Computers, Communications & Control、第1巻（2006年）、第1号、73-79ページ。
• Viorica Moisil、「むかしむかし... Grigore Moisil」 ( A fost odată... Grigore Moisil )、ブカレスト: Curtea Veche、2002。ISBN 973-8356-09-1 
• Sergiu Rudeanu、Afrodita Iorgulescu、George Georgescu、Cătălin Ioniţă、「GC Moisil 追悼号」、Multiple-Valued Logic 6 (2001)、no. 1-2.ゴードンとブリーチ、イベルドン、2001. MR 1817431

• オコナー、ジョン J.、ロバートソン、エドマンド F.、「グリゴーレ・モワジル」、マクチューター数学史アーカイブ、セントアンドリュース大学
• 数学系譜プロジェクトのグリゴレ・モイシル