想一想,那么多定理,每一个又有许多证明方法,每一个都由人编一个思考过程,那要花多少人工?

来源: 2025-02-01 17:58:44 [旧帖] [给我悄悄话] 本文已被阅读: