E.W. Dijkstra Archive: The next fifty years (EWD1243a)

Authors: E.W. Dijkstra

Notes

2026年4月21日 20:29

Page: 4

但这无关紧要。在未来五十年，数学将作为有效形式推理的艺术与科学而崛起，我们将从学习如 何让符号完成工作（How to Let the Symbols Do the Work）中获得智识上的兴奋。

测试消息
ffdfdff

Generated by Freddie