正确性、人工智能与数学证明的认知价值

我们认为，数学证明具有认知价值既非必要也非充分条件，即它不必在形式证明系统中可形式化。接着，我们提出一种关于数学与逻辑关系的观点，阐明形式正确性在数学中的作用。最后，我们讨论这些论证对于近期关于自动定理证明器及人工智能在数学中应用的讨论的意义。