User contributions
MyWikiBiz, Author Your Legacy — Saturday October 04, 2025
Jump to navigationJump to search- 00:03, 26 March 2010 diff hist 0 N File:Generation Theorem 2.0 Frame 3.png current
- 00:02, 26 March 2010 diff hist 0 N File:Generation Theorem 2.0 Frame 2.png current
- 00:01, 26 March 2010 diff hist 0 N File:Generation Theorem 2.0 Frame 1.png current
- 00:00, 26 March 2010 diff hist 0 N File:Generation Theorem 2.0 Animation.gif current
- 18:10, 25 March 2010 diff hist +126 Logical graph update
- 18:08, 25 March 2010 diff hist +55 Ampheck update
- 16:44, 25 March 2010 diff hist +163 Logical graph fill out [document history]
- 16:26, 25 March 2010 diff hist +235 Ampheck update
- 15:56, 25 March 2010 diff hist +663 Ampheck + document history
- 15:48, 25 March 2010 diff hist -11 Ampheck cleanup
- 13:56, 25 March 2010 diff hist +116 Logical graph →Document history: + 1
- 13:52, 25 March 2010 diff hist +888 Logical graph update
- 03:32, 25 March 2010 diff hist +540 User:Jon Awbrey/ANIMATION
- 03:00, 25 March 2010 diff hist +6 Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems →Praeclarum theorema : Proof by CAST: animation resized to 500 x 389 px
- 02:56, 25 March 2010 diff hist 0 N File:Praeclarum Theorema CAST 500 x 389 Animation.gif current
- 02:44, 25 March 2010 diff hist +9 Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems →Two-thirds majority function: resize animation to 500 x 250 px
- 02:40, 25 March 2010 diff hist 0 N File:Two-Thirds Majority Function 500 x 250 Animation.gif current
- 21:50, 24 March 2010 diff hist -9 Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems →Variations on a theme of transitivity: use arabic numbering of figures & tables, but sequential within sections
- 21:20, 24 March 2010 diff hist -243 Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems back to arabic numbering of figures & tables, but sequential with sections
- 21:04, 24 March 2010 diff hist -23 Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems →Axioms: renumb figs
- 20:56, 24 March 2010 diff hist +12 Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems revert -- go back to arabic numbering, but sequential within section
- 20:44, 24 March 2010 diff hist -12 Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems →Variations on a theme of transitivity: renumber tables
- 20:18, 24 March 2010 diff hist +77 Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems →Analysis of contingent propositions: renumb figs
- 20:06, 24 March 2010 diff hist +5 Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems →Logic as sign transformation: renumb figs
- 20:00, 24 March 2010 diff hist +45 Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems →Case analysis-synthesis theorem: renumb figs
- 19:45, 24 March 2010 diff hist +9 Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems →Formal extension : Cactus calculus: renumb figs
- 19:40, 24 March 2010 diff hist +82 Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems →Exemplary proofs: renumb figs
- 19:25, 24 March 2010 diff hist -3 Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems →Frequently used theorems: renumb figs
- 19:22, 24 March 2010 diff hist +7 Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems →Axioms: try a less distracting figure numbering scheme
- 19:18, 24 March 2010 diff hist +10 Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems →C<sub>3</sub>. Dominant form theorem: renumb figs
- 19:15, 24 March 2010 diff hist +12 Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems →C<sub>2</sub>. Generation theorem: renumber figures
- 19:14, 24 March 2010 diff hist +24 Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems →C<sub>1</sub>. Double negation theorem: renumber figures
- 19:08, 24 March 2010 diff hist +16 Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems →Axioms: try a more robust figure numbering scheme
- 19:03, 24 March 2010 diff hist +358 Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems →C<sub>1</sub>. Double negation theorem: + animation
- 18:42, 24 March 2010 diff hist -15 User:Jon Awbrey/ANIMATION re-organize
- 17:46, 24 March 2010 diff hist +278 User:Jon Awbrey/ANIMATION →Proof Animations: + double negation
- 17:40, 24 March 2010 diff hist 0 N File:Double Negation 2.0 Animation.gif current
- 17:39, 24 March 2010 diff hist 0 N File:Double Negation 2.0 Frame 9.png current
- 17:38, 24 March 2010 diff hist 0 N File:Double Negation 2.0 Frame 8.png current
- 17:37, 24 March 2010 diff hist 0 N File:Double Negation 2.0 Frame 7.png current
- 17:36, 24 March 2010 diff hist 0 N File:Double Negation 2.0 Frame 6.png current
- 17:35, 24 March 2010 diff hist 0 N File:Double Negation 2.0 Frame 5.png current
- 17:34, 24 March 2010 diff hist 0 N File:Double Negation 2.0 Frame 4.png current
- 17:33, 24 March 2010 diff hist 0 N File:Double Negation 2.0 Frame 3.png current
- 17:32, 24 March 2010 diff hist 0 N File:Double Negation 2.0 Frame 2.png current
- 17:31, 24 March 2010 diff hist 0 N File:Double Negation 2.0 Frame 1.png current
- 20:24, 23 March 2010 diff hist +303 User:Jon Awbrey/ANIMATION →Praeclarum Theorema: + Proof by CAST : Version 2
- 13:32, 22 March 2010 diff hist +12 Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems →Praeclarum theorema : Proof by CAST
- 13:00, 22 March 2010 diff hist +118 Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems →Praeclarum theorema : Proof by CAST: introduce animation & clarify awkward phrasing
- 06:00, 22 March 2010 diff hist +4 Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems →Praeclarum theorema : Proof by CAST: Image:Praeclarum Theorema CAST 2.0 Animation.gif
