PhilSci Archive

Kolmogorov's Calculus of Problems and Its Legacy

Rodin, Andrei (2023) Kolmogorov's Calculus of Problems and Its Legacy. [Preprint]

[img]
Preview
Text
kolmoeng.pdf

Download (415kB) | Preview

Abstract

Kolmogorov's Calculus of Problems is an interpretation of Heyting's intuitionistic propositional calculus published by A.N. Kolmogorov in 1932. Unlike Heyting's intended interpretation of this calculus, Kolmogorov's interpretation does not comply with the philosophical principles of Mathematical Intuitionism. This philosophical difference between Kolmogorov and Heyting implies different treatments of problems and propositions: while in Heyting's view the difference between problems and propositions is merely linguistic, Kolmogorov keeps the two concepts apart and does not apply his calculus to propositions. I stress differences between Kolmogorov's and Heyting's interpretations and show how the two interpretations diverged during their development. In this context I reconstruct Kolmogorov's philosophical views on mathematics and analyse his original take on the Hilbert-Brouwer controversy. Finally, I overview some later works motivated by Kolmogorov's Calculus of Problems and propose a justification of Kolmogorov's distinction between problems and propositions in terms of Univalent Mathematics.


Export/Citation: EndNote | BibTeX | Dublin Core | ASCII/Text Citation (Chicago) | HTML Citation | OpenURL
Social Networking:
Share |

Item Type: Preprint
Creators:
CreatorsEmailORCID
Rodin, Andreiandrei@philomatica.org
Keywords: Calculus of Problems, BHK-interpretation, Univalent Mathematics
Subjects: Specific Sciences > Mathematics > History
Specific Sciences > Mathematics > Logic
Depositing User: Dr. Andrei Rodin
Date Deposited: 18 Jul 2023 16:04
Last Modified: 18 Jul 2023 16:04
Item ID: 22316
Subjects: Specific Sciences > Mathematics > History
Specific Sciences > Mathematics > Logic
Date: July 2023
URI: https://philsci-archive.pitt.edu/id/eprint/22316

Monthly Views for the past 3 years

Monthly Downloads for the past 3 years

Plum Analytics

Actions (login required)

View Item View Item