＜#数学史などの参考書＞ 「20世紀の予想　現代数学の軌跡」 (数学セミナー編集部2000) 1章 「#結び目理論 における #予想」 #テイトの最終予想 ja.wikipedia.org/wiki/%E3%83%86… ･テイトの第一予想＋テイトの第二予想 #1987年 ごろ解決 ･#テイト の最終予想(テイトの反転予想) #1993年 に解決

＜#数学史などの参考書＞ 「20世紀の予想　現代数学の軌跡」 (日本評論社2000，数学セミナー編集部) 1章 「#結び目理論 における #予想」 ･#補空間予想 Gordon–Luecke theorem mathworld.wolfram.com/Gordon-LueckeT… posed by Tietze in 1908 and finally proved by Gordon and Luecke (1989)

＜#数学史などの参考書＞ 「20世紀の予想　現代数学の軌跡」 (日本評論社2000，数学セミナー編集部) ▶1章　20世紀に生まれ育った予想 #モーデル予想 ja.wikipedia.org/wiki/%E3%83%95… ・Mordell (1922) が提示。 ・Faltings (1983) が証明。 「#ファルティングスの定理」となる。

＜#数学史などの参考書＞ 「20世紀の予想　現代数学の軌跡」 (日本評論社2000，数学セミナー編集部) 3章 「#ウィッテン予想」 ja.wikipedia.org/wiki/%E3%82%A6… Witten (1993) において #一般化 された形で提出された #予想。

＜#数学史などの参考書＞ 「20世紀の予想　現代数学の軌跡」 (日本評論社2000，数学セミナー編集部) 3章　#他分野 と深くかかわる #予想 「P≠NP予想」(#P・NP予想) ja.wikipedia.org/wiki/P%E2%89%A… ･#P・NP問題 が #定式化 されたのは #1971年 ･誰が #提唱 したのか正確には #不明 ･#未解決

＜#数学史などの参考書＞ 「20世紀の予想　現代数学の軌跡」 (日本評論社2000，数学セミナー編集部) 2章 「#ラングランズ予想」 #ラングランズ・プログラム: ja.wikipedia.org/wiki/%E3%83%A9… ･#1960年代 に提唱。いまだ進展中。

＜#数学史などの参考書＞ 「20世紀の予想　現代数学の軌跡」 (日本評論社2000，数学セミナー編集部) 2章 「#ルスティック・プログラム」 #有限シュバレー群 の #既約指標 を #統一的 に求める. ジョージ・ルスティック (George Lusztig) ja.wikipedia.org/wiki/%E3%82%B8… ・Lusztig Programを提唱

＜#数学史などの参考書＞ 「20世紀の予想　現代数学の軌跡」 (2000，数学セミナー編集部) 2章 「#有限単純群 の #分類」 p120に 『#1980年代 のはじめに 分類 #完成』とあるが，実際には #最終的 な完成は その後 #2004年 になってから。 ja.wikipedia.org/wiki/%E6%9C%89… ・Aschbacher(2004)