アンドレイ・ムチニク | |
|---|---|
| 生まれる | (1958-02-24)1958年2月24日 |
| 死亡 | 2007年3月18日(2007-03-18)（49歳） |
| 市民権 | ソ連 ロシア |
| 母校 | モスクワ国立大学 |
| 受賞歴 | コルモゴロフ賞（2006年） |
| 科学者としてのキャリア | |
| フィールド | 数理論理学 |
| 機関 | ソ連科学アカデミー科学評議会 新技術研究所 |
| 博士課程の指導教員 | アレクセイ・セミョーノフ |
アンドレイ・アルベルトヴィチ・ムチニク（1958年2月24日 - 2007年3月18日）は、ソビエト連邦およびロシアの 数学者であり、数理論理学を研究した。2006年にA.N.コルモゴロフ賞を受賞した。
バイオグラフィー
アンドレイ・ムチニクは1958年2月24日、ソビエト連邦で生まれました。両親はアルバート・アブラモビッチ・ムチニクとナジェージダ・ミトロファノヴナ・エルモラエワです。両親はともに数学者で、ソビエトの数学者P.S.ノビコフに師事していました。ムチニクの父、アルバート・ムチニクは、チューリング還元の非自明な可算次数の存在に関するポスト問題を解いた人物です。
アンドレイ・ムチニクはモスクワ国立大学で学問の道を歩み始めた。ムチニクは、ロモノーソフ・モスクワ国立大学機械数学部の3年生を対象に、エフゲニー・ランディスとユーリ・イリヤシェンコのゼミで数学者として働き始めた。2年目には、イリヤシェンコの指導の下、 微分方程式に関する最初の論文を発表した。
3年目から数理論理学科でアレクセイ・セミョーノフの指導の下、定義可能性理論を専攻した。1981年、ニースで開催された国際数学者会議でマイケル・ラビンが提起した問題の解決で学位を取得した。その問題は、無限木のモナド理論の可解性に関するラビンの定理の証明において、超限帰納法を除去することだった。後にムチニクは自身のアプローチを、シェラとストゥップによって発表されたラビンの定理の一般化を証明するために応用した。[1]アルフレッド・タルスキの独自のアイデアを用いて、自己定義可能性の概念を導入し、コブハム・セミョーノフの定理の証明を導出した。彼は2001年に博士号を取得した。[2]
その後、彼は新技術研究所とソ連科学アカデミー科学評議会でサイバネティクスの分野で研究を行った[要出典] 。最終的にはモスクワ国立大学のコルモゴロフ・セミナーの指導者の一人となった[要出典]。
ムチニックはアルゴリズム情報理論の分野にも成果をもたらした。[要出典]彼の成果と共同研究の多くは彼の死後に出版された。[3]
受賞歴
アンドレイ・ムチニクは数学分野での研究と「偶然性理論に関連したANコルモゴロフの洗練について」という一連の著作により、2006年にアレクセイ・セミョーノフと共にANコルモゴロフ賞を受賞した。 [4]
参考文献
- ^ Semenov, AL (1984). 「モナド理論の決定可能性」 .コンピュータサイエンスの数学的基礎, プラハ, チェコスロバキア, 1984年9月3日～7日. Proceedings. コンピュータサイエンス講義ノート. コンピュータサイエンス講義ノート. 176.ベルリン, ハイデルベルク: Springer: 162– 175. doi :10.1007/BFb0030296. ISBN 978-3-540-38929-3。
- ^ スタインホーン、チャールズ. 「2008年9月ニュースレター」(PDF) .
- ^ Адян、С. И.; Семёнов、А. Л.; Успенский、В。 А. 「Андрей Альбертович Мучник (некролог), УМН, 62:4(376) (2007), 140–144; Russian Math. Surveys, 62:4 (2007), 775–779」。www.mathnet.ru 。2023-01-02に取得。
- ^ 「名目上の賞とメダル」www.ras.ru .
外部リンク
- ロシア科学アカデミーの公式ウェブサイト上のムチニク、アンドレイ・アルベルトヴィチ
- 人物: ムチニク・アンドレイ・アルベルトヴィッチ
- "С. И. Адян, А. Л. Семёнов, В. А. Успенский, «Андрей Альбертович Мучник (некролог)», УМН, 62:4(376) (2007)、140–144"。 mathnet.ru 。2016 年 3 月 15 日に取得。
