12/01/15 07:49:19.21 ZGJ97qHv0
>>902
マジレスすると、それは無理。
でも、有限回で計算が終わるものなら、今でもコンピュータ（というか、プログラムのアルゴリズム）は
数学の証明で使われている。
有名なものなら、20世紀の最大の成果の１つの、有限体の分類がそれ。
12/01/15 07:49:19.21 ZGJ97qHv0
>>902
マジレスすると、それは無理。
でも、有限回で計算が終わるものなら、今でもコンピュータ（というか、プログラムのアルゴリズム）は
数学の証明で使われている。
有名なものなら、20世紀の最大の成果の１つの、有限体の分類がそれ。