20/04/19 12:53:13 ijGx7lvx.net
>>147
> 2005年にオランダの計算機科学者Jan Bergstraはワイルズの証明をコンピューターで真偽の判定をできるような形にする場合の問題点を発表した[25]
>[25]
>URLリンク(www.cs.rug.nl)
>Last modified: 2008
ワイルズの証明が1995年
2005年にコンピュータの証明が言われたが
2020年のいま
まだ、コンピュータの証明が行われたと聞かない
いまからIUTをコンピュータ証明にかけようとしても
どれくらいの歳月とお金がかかるのか?
だれにもわからない
それが現実