engleski

Brouwer's Logic

Following the original philosophy of L. E. J. Brouwer, I will lay out some logical principles of our mathematical intuition. After that I will explore whether they are in accordance with intuitionistic logic, developed most notably by Arend Heyting. It is surprising to see that Brouwer takes as valid some principles that are not theorems of Intuitionistic logic. The most prominent example, I will argue, is the weak principle of excluded middle.

intuitionism in mathematics, intuitionistic logic, weak principle of excluded middle

nije evidentirano