Inter-universal geometry と ABC予想 (応援スレ) 65

[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 65 (1002ﾚｽ)
上下前次1-新
抽出解除必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞あぼーん

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

782(1): 2022/04/30(土)09:46 ID:iasFv4zS(1/2) AAS
>>687のライブアーカイブがyoutubeに上がった
動画ﾘﾝｸ[YouTube]
残念ながら自分はドイツ語が全く聞き取れないが

785(1): 2022/04/30(土)09:53 ID:iasFv4zS(2/2) AAS
>>691
日本がその分野で遅れているからでは
トークセッションに参加していたミヒャエルコールハースも計算機科学者で数学の自動定理証明の専門家だが、そういう人が少ないから考え方も浸透しないし解説もない