义和直觉主义水火不容，而计算机是形式主义数学家鼓捣出来的。

  但是，后来计算机发展，却是仰仗了亨利庞加莱的一干徒子徒孙！