人工智能的第一性原理
首页
作者
《深入高可用系统原理与设计》
讨论
GitHub仓库
首页
作者
《深入高可用系统原理与设计》
讨论
GitHub仓库
  • 前言
  • 第一章:计算的进化
    • 1.1 数学的诞生
    • 1.2 思维的形式化
    • 1.3 公理化的逻辑系统
    • 1.4 莱布尼茨之梦
    • 1.5 数理逻辑的复兴
    • 1.6 公理化的危机
    • 1.7 小结
  • 第二章:计算的边界
    • 可计算性理论
    • 计算复杂性问题

1.3 公理化的逻辑系统

约9字
Prev
1.2 思维的形式化
Next
1.4 莱布尼茨之梦