Inter-universal geometry と ABC予想 50

Inter-universal geometry と ABC予想 50at MATH

Inter-universal geometry と ABC予想 50 - 暇つぶし2ch660:１３２人目の素数さん
20/04/19 13:15:12 UbuHltnc.net
Jan Bergstra　オランダの計算機科学者だね

オランダは証明系に関してはAUTOMATH以来の長い伝統があるんだよ

de Bruijnはその筋ではいろいろ有名だよね

名前、正しく読めるかな

次ページ

続きを表示

1を表示