是多么的贫乏，而且它也证实了可以在纯数学研究中利用计算机。但对于将近200年来搞不清楚的问题，很难对其在计算机帮助下所取得的惊人进展提出异议。