什麼是「會數學」
的
（操作型）定義？

兩百多年前，需要世界上最優秀的數學腦袋來證明 n = 5 的費瑪數不是質數。 今天的學生可以說

ifactor(2^(2^5) + 1);

(641)(6700417)

堅持古典數學方法的優美、嘲笑電腦操作的粗俗，不就像
戰場上嘲笑用槍人是鄙俗的懦夫，而堅持

以肌肉和武士刀來對抗毛瑟槍？

如果費瑪手上有電腦軟體，他會提出費瑪質數猜想嗎？
如果歐拉手上有電腦軟體，他會堅持使用數學方法嗎？