人工智能教程：数学基础（第1.5节）与离散数学证明（第1节）

证明(proof)

是一种确定事实的方法

(A proof is a method for ascertaining the truth)

物理上和平时：

• 实验探究与观测研究(Experimentation & observation)
  • 采样分析与反驳案例(Sampling & counterexamples)
  • 审 judgments and juries (Judge & jury)
  • 高级管理层(Boss)
  • 内在信念(inner conviction)
    例如在计算机科学领域非常流行的句子:"是否相信它？我的程序中不存在错误！"(In computer science,it's a very popular saying.believe it or not,it's a well-known fact that there are no bugs in my program.)

数学证明

证明是通过一系列公理的逻辑推理来验证一个命题

A mathematical proof is the verification of a proposition through a series of logical deductions based on a set of axioms.

命题者是正确