Page history
24 March 2010
→Axioms: try a less distracting figure numbering scheme
+7
→C<sub>3</sub>. Dominant form theorem: renumb figs
+10
→C<sub>2</sub>. Generation theorem: renumber figures
+12
→C<sub>1</sub>. Double negation theorem: renumber figures
+24
→Axioms: try a more robust figure numbering scheme
+16
→C<sub>1</sub>. Double negation theorem: + animation
+358
22 March 2010
→Praeclarum theorema : Proof by CAST
+12
→Praeclarum theorema : Proof by CAST: introduce animation & clarify awkward phrasing
+118
→Praeclarum theorema : Proof by CAST: Image:Praeclarum Theorema CAST 2.0 Animation.gif
+4
21 March 2010
→Variations on a theme of transitivity: reumber figures
→Analysis of contingent propositions: renumber figures
+7
→Logic as sign transformation: renumber figures
→Praeclarum theorema : Proof by CAST: renumber figures
-25
→Discusssion: renumber figures
→Formal extension : Cactus calculus: renumber figures
→Majority function example: renumber figures
+92
→Praeclarum theorema : Proof by CAST: fix heading
-1
→Example
+29
20 March 2010
17 March 2010
→Proof 1 : Animation
+1
→Proof 1 : Animation: revise example
+2
→Majority function example: revise example
+36
14 March 2010
→Majority function example
-18
→Proof 1 : Animation
+10
→Majority function example
+19
→Majority function example
-9
→Majority function
+297
→Majority function
+340
25 December 2009
→Majority function: decap
→Majority Function: + proof 1
+1,415
→Exemplary proofs: add [majority function] example
+170
28 August 2009
27 August 2009
21 August 2009
→Variations on a theme of transitivity: TeX markup
+349
→Proof as semiosis: del redun
-350
→Proof as semiosis: TeX markup
+237
→Proof as semiosis: TeX markup
+372
phrasing
+6
cleanup
-24
→Proof as semiosis: TeX markup
+195
→Proof as semiosis
+174
→Proof as semiosis: TeX markup
+1,035
20 August 2009
→Proof as semiosis: TeX markup
+341
→Proof as semiosis: TeX markup
+181
→Analysis of contingent propositions: convert graphics
-24,290
19 August 2009
→Analysis of contingent propositions: convert graphic
-1,532
→Analysis of contingent propositions: convert graphic
-931
→Analysis of contingent propositions: convert graphic
-1,146