数学

140 条知识 · 7/10

数学概念、理论、谜题和应用

• 
  数学

  欧几里得的《几何原本》塑造了几千年的几何学

• 
  数学

  勾股定理揭示古老秘密

• 
  数学

  素数保护您的在线秘密

• 
  数学

  真理在形式语言中无法定义

• 
  数学

  Isabelle/HOL：计算机证明数学的正确性

• 
  数学

  计算机能精确证明数学定理

• 
  数学

  Abella揭示逻辑编程的隐藏规则

• 
  数学

  Lean的引擎自动完成复杂的数学证明

• 
  数学

  NuPRL将数学证明转化为完美程序

• 
  数学

  小模型能理解无限集吗？

• 
  数学

  计算机现在检查数学错误

• 
  数学

  代码与逻辑是同一枚硬币的两面

• 
  数学

  Twelf 分析验证数学的工具

• 
  数学

  这种逻辑拒绝排中律

• 
  数学

  Matita 帮助计算机检查数学证明

其他类别

类别 →

• 科学
• 自然
• 历史
• 文化
• 技术
• 心理学
• 艺术
• 地理
• 健康
• 商业
• 哲学
• 语言