User loginNavigation |
The Development of Intuitionistic LogicMark van Atten (2008). The Development of Intuitionistic Logic. Stanford Encyclopedia of Philosophy. This article gives an excellent account of the development of intuitionistic logic, from its roots in Brouwer's theological metaphysics, through to its formal presentation by Heyting in 1956. The account is strong on the tensions between the subjectivist motif and the urge to formalise. Via Richard Zach. |
Browse archivesActive forum topics |
Recent comments
8 weeks 2 days ago
8 weeks 4 days ago
8 weeks 5 days ago
15 weeks 5 days ago
21 weeks 3 days ago
21 weeks 4 days ago
22 weeks 3 days ago
25 weeks 1 day ago
26 weeks 4 days ago
26 weeks 5 days ago