グリゴリミンツ

グリゴリー・ミンツ（1939年6月7日 - 2014年5月29日）は、数理論理学を研究したロシアの哲学者、数学者。ソビエト連邦のレニングラード（現在のロシア連邦サンクトペテルブルク）生まれ。1965年、ニコライ・アレクサンドロヴィチ・シャニン指導の下、レニングラード国立大学で「構成的数学の理論構築のための述語と演算子のバリアントについて」と題する論文で博士号を取得した。1990年、レニングラード国立大学で「プログラムの証明変換と合成」と題する論文で理学博士号を取得した。 ^[1]スタンフォード大学教授だった。^{[2] 1991年以来、グリゴリー・「グリシャ」・ミンツはスタンフォード}大学で哲学の教授であり、名誉教授として数学とコンピューターサイエンスの教授も務めている。スタンフォード大学に加わる前、ミンツ氏はステクロフ数学研究所、レニングラード大学、エストニア科学アカデミーで研究職を務めていた。

世界で最も著名な論理学者の一人とされるミンツは、論理の哲学への応用に熱心に取り組みました。彼の専門は証明理論、つまり数学的推論の構造の分析でした。ミンツは2008 年にエストニア科学アカデミーに、 2010 年に アメリカ芸術科学アカデミーに選出されました。

Mints 氏は、招待講演者、PC メンバー、PC 議長、組織委員会議長、議事録および特別号のゲスト編集者、運営委員会メンバーなど、さまざまな立場でコミュニティのメンバーを務めた後、論理と言語に関する WoLLIC シリーズのワークショップの運営委員会で非常に積極的なメンバーでした。

• Mints, G. (2013) 1次および2次述語論理のためのイプシロン置換。「Ann. Pure Appl. Logic」164(6): 733-739。
• Mints, G., Olkhovikov, GV, Urquhart, A. (2013) 定数領域直観主義論理における補間の失敗。「J. Symb. Log」78(3): 937-950。
• Mints, G. (2013) 直観主義的命題的自然演繹のための証明探索の ADC 法。「A. Avron の記念論文集」に掲載予定。
• Mints, G. (2012) 様相μ計算の断片に対する効果的なカット除去。「Studia Logica」100(1-2): 279-287。
• Mints, G. (2010)「こことそこの量化論理のためのカットフリー定式化」『Ann. Pure Appl. Logic』162(3): 237-242。
• Mints, G. (2008) イプシロン計算の簡単な定式化のためのカット除去。「Ann. Pure Appl. Logic」152(1-3): 148-160。
• Mints, G. (2006) 構成的否定に関する注記。R. Kahle および P. Schroeder-Heister (編)、「Proof-Theoretic Semantics」、Synthese 特別号、2006 年、148、第 3 号、701 ～ 717 ページ。
• Mints, G. (2006) PAepsilon の簡単な定式化のためのカット除去。「Electr. Notes Theor. Comput. Sci.」143: 159-169。
• Mints, G. (2006) S4 は (0, 1) に対して位相的に完全である: 簡単な証明。「Logic Journal of the IGPL」14(1): 63-71。
• Mints, G. (2006) S4Cのカット除去：ケーススタディ。「Studia Logica」82(1): 121-132。
• Mints, G. & Zhang, T. (2005) カントール空間における連続変換の命題論理。「Arch. Math. Log」44(6): 783-799。
• Kremer, Ph. & Mints, G. (2005) 動的トポロジカル論理。「Ann. Pure Appl. Logic」131(1-3): 133-158。
• Mints, G. & Zhang, T. (2005) (0, 1) における S4 の位相完全性の証明。「Ann. Pure Appl. Logic」133(1-3): 231-245。
• 辰田 正之 & ミンツ 剛 (2005) 順列変換による 2 次強正規化の簡単な証明。「Ann. Pure Appl. Logic」136(1-2): 134-155
• Mints, G. & Muskens, R. (編) (2003)「ゲーム、ロジック、および構成的集合」。言語情報研究センター発行 - 講義ノート (第 161 巻)、2003 年。ISBN 978-1575864501 
• Mints, G. (2001)「直観主義論理の短い入門」(University Series in Mathematics)。Kluwer Academic Publisher、2001 年発行。
• Mints, G. (1992)「様相論理の短い入門」。言語情報研究センター発行 - 講義ノート (第 30 巻)、1992 年。ISBN 978-0937073759 
• Selected Papers in Proof Theory (North-Holland)、1992 年 8 月、ISBN 978-0444896193、証明理論研究シリーズ) 
• Mints, G. & Martin-Löf, P. (編) (1990)「COLOG-88: コンピュータ ロジックに関する国際会議」、ソ連タリン、1988 年 12 月 12 ～ 16 日、議事録 - コンピュータ サイエンスの講義ノート (第 417 巻)、1990 年。ISBN 978-3540523352 

• スタンフォード大学のグリゴリー・ミンツの公式ウェブサイト
• グリゴリー・ミンツへの賛辞