Intuitionistic logic: Revision history

17 February 2023

• curprev 03:0303:03, 17 February 2023‎ Archangel talk contribs‎ m 788 bytes 0‎ Text replacement - "tbe" to "the"

15 February 2023

• curprev 16:2616:26, 15 February 2023‎ WikiSysop talk contribs‎ m 788 bytes 0‎ Text replacement - "the" to "tbe"

26 January 2023

• curprev 17:2317:23, 26 January 2023‎ Bacchus talk contribs‎ 788 bytes +788‎ Created page with "'''Intuitionistic Logic''' is the logical branch of Mathematical intuitionism. Roughly speaking, 'intuitionism' holds that logic and math are 'constructive' mental activities. That is, they are not analytic activities wherein deep properties of existence are revealed and applied. Instead, logic and math are the application of internally consistent methods to realize more complex mental constructs (really, a kind of game). In a stricter sense, intuitionistic logic can b..."