柯尔莫哥洛夫的问题演算及其影响

柯尔莫哥洛夫的问题演算是 A.N. 柯尔莫哥洛夫于 1932 年发表的对海廷直觉主义命题演算的一种解释。与海廷对该演算的预期解释不同，柯尔莫哥洛夫的解释并不符合数学直觉主义的哲学原则。柯尔莫哥洛夫与海廷之间的这一哲学差异意味着对问题与命题的不同处理：在海廷看来，问题与命题的区别仅是语言上的，而柯尔莫哥洛夫将这两个概念分开，并不将其演算应用于命题。我强调了柯尔莫哥洛夫与海廷解释之间的差异，并展示了这两种解释在发展过程中的分歧。在此背景下，我重构了柯尔莫哥洛夫的数学哲学观点，并分析了他对希尔伯特-布劳威尔之争的独到看法。最后，我概述了受柯尔莫哥洛夫问题演算启发的一些后期工作，并从一元数学的角度对柯尔莫哥洛夫区分问题与命题的做法提出了一种辩护。