第62页 数学中的意义与形式
绝望的良良 (不要温柔地走入良夜)
在读 哥德尔、艾舍尔、巴赫
- 章节名：数学中的意义与形式
- 页码：第62页
自顶向下之别于自顶向上 同构产生意义 有意义的解释与无意义的解释 主动意义之别于被动意义 在一个形式系统中，意义一定是“被动的”。 自顶向下之别于自顶向上 同构产生意义 有意义的解释与无意义的解释 主动意义之别于被动意义 传统意义 双重意义 欧几里德的证明：N！+1 不能被 1... ...N的整数整除 绕过无穷：不论N是一个什么数。假如把所有这些步骤都一行一行都写出来，这个证明会难以置信地复杂。对于我们的头脑来说，把许多步骤压缩在一起形成单个句子是最为清晰的。 无伴奏阿基里斯奏鸣曲 图形 和 衬底 传统意义 双重意义 欧几里德的证明：N！+1 不能被 1... ...N的整数整除 绕过无穷：不论N是一个什么数。假如把所有这些步骤都一行一行都写出来，这个证明会难以置信地复杂。对于我们的头脑来说，把许多步骤压缩在一起形成单个句子是最为清晰的。 无伴奏阿基里斯奏鸣曲 图形 和 衬底 引自 数学中的意义与形式 数学中的意义 是通过 人为赋予的，但是 必须符合 人类所能理解的意义。 图形 与 衬底 的 关系，非常有意思。
83人阅读
绝望的良良对本书的所有笔记 · · · · · ·
-
第39页 三部创意曲
阿基里斯悖论 二分悖论 阿基里斯悖论 的 诡局 在于 阿基里斯 的 某一步 既是 在追赶乌龟 而 ...
-
第45页 WU谜题
定理：可以在形式系统中产生出来的符号串。 公理：“无偿提供的”定理。 每一个形式系统中都...
-
第62页 数学中的意义与形式
> 查看全部4篇
说明 · · · · · ·
表示其中内容是对原文的摘抄