【转】计算机思惟，数学思惟，本质的区别

计算机思惟和数学思考，都包括了抽象和逻辑。 数学的抽象，在于剥离具体。数学研究从公理出发，能够变成纯思惟的活动，和具体的的现实脱离关系。数学上的人为”定义”，就是为了尽量给出范围明确，不冗余的信息抽象。之后在利用这些信息，得出范围明确不冗余的抽象信息(证实的过程)，如此反复。可见这里，数学须要的是一个自洽信息结构和关系。这些信息是架空具体和现实的。虽然，数学在极力的寻找关系，但这个行为发生在圈定好

>>阅读原文<<