海森堡测不准 哥德尔证明 NP与P问题 引申： 图灵机、停机问题、lambda演算、罗素悖论。

各类鸡汤充斥，将复杂问题错误简化，加之好友发出了逻辑专篇。启发自己来谈谈逻辑以及著名的代表论题，罗素悖论。在这里，与大家来简单做一做探讨。进而，...

数据模型即面向应用领域的信息编码，编码技术、原则都可以应用到数据模型的设计上。

软件系统的本质是数学。数据结构看作是编码，算法看作是数理逻辑。对数据结构的逻辑执行是数理逻辑对编码的作用。 数学的基本方法论是公理化。 因此，对...

衡量一个人软件产品的能力，要从宏观和微观两个维度。宏观是面向level0、level1等高层架构的抽象，逻辑思考能力，打造的是抽象软件实体概念。...

机械思维：来自牛顿力学，以宏观自然规律揭示与遵从为出发点，自顶向下的规划便是其中一类。 控制论：把过程或者系统运行作为镜像对待，认为一次镜像中发...

软件为特定领域特定用途产生，由代码构成。 软件的本质是解决特定领域特定问题的逻辑自动化。问题是否可解依赖逻辑是否可计算性，问题可解的成本依赖逻辑...