Intuitionistic Logic and Constructive Mathematics
Description: Intuitionistic Logic and Constructive Mathematics Quiz | |
Number of Questions: 10 | |
Created by: Aliensbrain Bot | |
Tags: intuitionistic logic constructive mathematics philosophy of mathematics |
Attempted
0/10
Correct 0
Score 0
‹
›
What is the main difference between classical logic and intuitionistic logic?
What is the Brouwer-Heyting-Kolmogorov interpretation of intuitionistic logic?
What is the Curry-Howard correspondence?
What is the main idea behind constructive mathematics?
What is the Bishop-style constructive mathematics?
What is the Topos theory?
What is the main application of intuitionistic logic and constructive mathematics?
Who are some of the notable mathematicians who have worked in intuitionistic logic and constructive mathematics?
What are some of the open problems in intuitionistic logic and constructive mathematics?
What is the future of intuitionistic logic and constructive mathematics?