希尔伯特规划与哥德尔不完备性定理 希尔伯特规划与哥德尔不完备性定理 解决数学基础问题的第三种方案是与逻辑主义、直觉主义的方案相对立，但又是在它们方案的基础之上形成的，这就是被称作形式主义的希尔伯特学派的规划。它的基本思想是：试图用有限方法解决包含无限概念的古典数学的可靠性。 希尔伯特规划的形成有一个过程。 19 世纪末，希尔伯特完成了把欧式几何抽象地公理化的任务，并证明了欧式几何相对于分析（实数理论）的无矛盾性（即若实数理论 2021-01-07 Mathematics 数学史 数学史
Haskell——Monadic-Programming-in-Haskell All About Monads A monad is more of a design pattern than a data structure. That is, there are many data structures that, if you look at them in the right way, turn out to be monads. The name &quo 2021-01-07 Computer Science Haskell Haskell
Sail——RISCV-Sail-Model Learning RISCV Sail Model Follow the github repository This repository contains a formal specification of the RISC-V architecture, written in Sail. It has been adopted by the RISC-V Foundations. 2021-01-07 Computer Science Sail Sail
集论悖论与基础危机 集论悖论与基础危机 （摘自《数学基础》，汪芳庭编著） 分析的算术化完成之后，人们欣喜地认为，数学已经有了可靠的基础。在 1900 年的国际数学家大会上，法国数学家，物理学家庞加莱断言：“今天分析领域中只剩下了整数，及整数的又有穷和无穷系统，它们由相等或不相等的关系网联结着。”他进而说：“今天我们可以宣称绝对的严密已经实现了！” 庞加莱的语音刚落，歌舞升平的数学王国在它的基础部分骤起一场风暴， 2021-01-05 Mathematics 数学史 数学史
康托尔辩辞录：数学的自由与制约 康托尔辩辞录：数学的自由与制约 （录自康托尔：《一般集合论基础》，1883） 数学在其发展中是完全自由的，它只受下述自明的关注所制约，即它的概念既要内在地不存在矛盾，还要参与确定与此前形成的，已经存在着地和已被证明地概念之关系（借助定义贯串起来）。特别地，在引入新数时，数学只遵循：在给出它们地定义时使之具有某种确定性，并且在某些情况下，使之与老数有某种关系，在特定地场合中这种关系一定会使它们（ 2021-01-05 Mathematics 数学史 数学史