Takeuti Gaisi -Wikipedia

Takeuti gaisi （ジャップ。 歴史 、 Takeuchi Gaishi ; * 1926年1月25日、石川県kizu、日本。 †2017年5月10日） ^[初め] 証拠理論への貢献で知られる日本の数学論理学者でした。

Tkeutiは、1956年に東京大学で数学的論理の博士号を取得しました。 1950年から彼は当初、東京大学の教授であり、1966年にイリノイ大学アーバナチャンペイの教授でした。 1996年には魅力的でした。

1950年代のTakeutiの目標は、分析を含む正式なシステムの矛盾の自由の証拠を獲得することでした。これを行うために、彼はさらにゲルハルト紳士の方法を開発しました（とりわけ彼が率いたことの中でも 順序図 a）。

1967年、Tkeutiは矛盾の証拠に成功しました

分析（分析の一部。これは、最大1つの数量量子を持つ任意の式に理解度が制限されています）。 KurtSchütteによると、それは非常に印象的な最初の矛盾の自由でした ^[2] 部分的に数学と分析の。 ^[3]

Takeutiの1953年の推定によると、切断ルールは有限レベルの論理計算に適用されていると述べています（Gentzenscher Hauptsatzを参照）。 William W. Tait（1966）とDag Prawitz（1967年、1969年の高次）による計算第2段階で証明され、タカハシモトゥー（1967年、高次）とジャンドイフスジラードに関係なく証明されました。

2つの教科書と標準的な作品は、証拠の理論の1つであり、1つは公理的量理論に関するものです。

1950年代の初めに彼はホモトープ理論も扱った ^[4] 結び目理論（彼は1952/53年に博士課程の学生クニオ・ムラサギが訪れたセミナーを開催しました）。

1959/60年、1966年から1968年、1971年から1972年、彼はカートゲーデルとの高度な研究研究所にいました。 ^[5]

2003年から2009年、彼はカートゲーデル協会の会長でした。 1998年、彼はチェコのボルツァーノメダルを受賞し、出版物のために大川賞を受賞しました。 1982年に彼は浅野賞を受賞しました。

• 証明理論 。ノースホランド1975、ドーバー2013
• MIT Wilson M. Zaring： 公理セット理論の紹介 。 Springer 1971、1973（ALS Axiomatic Set Theory）
• 数学へのロジックの2つのアプリケーション （=日本の数学協会の出版物13）。プリンストン大学出版局、プリンストン（ニュージャージー州）、1978年
• 証明理論家の回顧録。ゲーデルと他の論理学者 。ワールドサイエンティフィックリバーエッジ（ニュージャージー州）、1998、2003
• 一般化された論理計算で 。 In：Journal of Mathematics、Band 23、1953、S。39–96、Errata Band 24、1954、S。149–156
• 分析の一部のサブシステムの一貫性証明 。 In：Annals of Mathematics、Band 86、1967、S。299–348

1. ↑ その後の生活 科学のアメリカ人男性と女性 、Thomson Gale 2004。
   ノーバートプリニング： Gaisi Takeuti、1926-2017 。 Norbert Preinings Webサイト、2017年5月12日、2017年5月14日アクセス
2. ↑ 用語は、それが属する全体によってのみ定義される場合に与えることを意味します。このような印象的な用語は、たとえば関数の最大値の概念など、分析で広まっています。 20世紀初頭のアンリ・ポアンカレとバートランド・ラッセルの努力は、数学の基礎におけるそのような用語を避けることでした。
   KurtSchütte、Helmut Schwichtenberg： 数学的論理 。 In：Gerd Fischer（編）： 数学の世紀：DMVの記念日の記念出版物 （=数学の歴史に関する文書、6）。 Vieweg、Braunschweig / Wiesbaden、1990、ISBN 978-3-528-06326-9、p。726。
3. ↑ カート・シューテ： 証拠理論の最近の結果 （ 記念 2013年12月28日から インターネットアーカイブ ; PDF; 1,28 MB）。 ICM 1966
4. ↑ ホモトピエット理論に関する出版物は、すでにJ.Math。Soc。ジョージ・W・ホワイトヘッドが予測されたことを知ったとき、日本は受け入れました。 Jozef H. Przytycki：日本の結び目理論の初期の歴史へのメモ、2001年、arxiv
5. ↑ メンバーブックIAS 1980

日本語名： 日本ではいつものように、姓はこの記事にあります 前 名。そうです タケティ 姓、 ガイシ 名。