The use of a program to prove the 4-color theorem will not change mathematics - it merely demonstrates that the theorem, a challenge for a century, is probably not important to mathematics.
美国国家工程院院士、美国艺术与科学院院士、第一届图灵奖得主
艾伦·佩利(1922年4月1日-1990年2月7日),出生于美国宾夕法尼亚州的匹兹堡,美国国家工程院院士,美国艺术与科学院院士,第一届图灵奖得主,耶鲁大学尤金·希金斯计算机科学教授。