Kolmogorov's work in logic is called?
Classical logic
Intuitionistic logic
Modal logic
Fuzzy logic
Answer
Intuitionistic logic, also known as Kolmogorov's logic, is a formal system of logic developed by Andrey Kolmogorov in the 1920s. It is based on the idea that a proposition is true if there is a way to prove it, and that a proposition is false if there is no way to prove it.
Unlocking the Genius: The Andrey Kolmogorov Quiz Challenge
Subscribe Now!
Learn something
new everyday
Playing quizzes is free! We send 1 quiz every week to your inbox