Page history
Talk: Logical graph
11 December 2008
→Tables: add explanation
+122
→Tables: interpretation of alpha & beta in terms of the implication lattice
+381
→Functional Quantifiers: bold definienda, tabular formating
+353
→Functional Quantifiers: \langle \rangle
+107
→Functional Quantifiers: trim
-17
→Functional Quantifiers
-8
→Functional Quantifiers
+141
→Functional Quantifiers: rephrase one more time for good measure
+126
→Functional Quantifiers
+366
→Functional Quantifiers
-27
reorganize
-12
→Functional quantifiers
-49
→Functional quantifiers: + definition
+412
→Oct 2008 : Classical vs. Constructive Mathematics
+6
→Bridges And Barriers: wikify
+131
→Bridges And Barriers: wikify
-93
→Bridges And Barriers: wikify
+52
→Inquiry Into Intuitionism: sp
+1
→Bridges And Barriers: + section + notes
+7,906
10 December 2008
→Inquiry Into Intuitionism
+35
reorganize
+28
→Inquiry Into Intuitionism: space
+1
→Inquiry Into Intuitionism: + note
+249
add section [inquiry into intuitionism]
+31
9 December 2008
8 December 2008
→Exercise 1
+265
→Exercise 1: fix typo
-4
→Functional quantifiers: TeX doesn't work well in headings
+108
→Functional quantifiers: + link
+230
→Functional quantifiers
+114
→Functional Logic : Differentials, Integrals, Measures, Quantifiers: reorganize
-119
→Logical Graph Sandbox
+78
→Logical Graph Sandbox: add exercise
+284
→Functional Logic : Differentials, Integrals, Measures, Quantifiers: adjust head
+1
→Logical Graph Sandbox: + § [Functional Logic : Differentials, Integrals, Measures, Quantifiers]
+73
7 December 2008
→Reports of my counter-intuitiveness are greatly exaggerated
+7
→Reports of my counter-intuitiveness are greatly exaggerated: upshot
+55
→Reports of my counter-intuitiveness are greatly exaggerated: intuitionistic
+6
→Reports of my counter-intuitiveness are greatly exaggerated
+9
→Reports of my counter-intuitiveness are greatly exaggerated: another guess?
+412
→Reports of my counter-intuitiveness are greatly exaggerated: fix typos
+1
→Reports of my counter-intuitiveness are greatly exaggerated: my guess
+486
6 December 2008
→More thoughts on Peirce's law: + usual formulas
+130
→Reports of my counter-intuitiveness are greatly exaggerated: sp [intuitionistic]
+18
→Reports of my counter-intuitiveness are greatly exaggerated: cleanup typos
-4
→Reports of my counter-intuitiveness are are greatly exaggerated
+46
→The allegedly counterintuitive dichotomy law: add explanation
+334
→The allegedly counterintuitive dichotomy law: + proof
+404