User contributions
MyWikiBiz, Author Your Legacy — Saturday November 22, 2025
Jump to navigationJump to search- 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
- 05:54, 22 March 2010 diff hist 0 N File:Praeclarum Theorema CAST 2.0 Animation.gif current
- 05:53, 22 March 2010 diff hist 0 N File:Praeclarum Theorema CAST 2.0 Frame 01.png current
- 05:52, 22 March 2010 diff hist 0 N File:Praeclarum Theorema CAST 2.0 Frame 02.png current
- 05:52, 22 March 2010 diff hist 0 N File:Praeclarum Theorema CAST 2.0 Frame 03.png current
- 05:52, 22 March 2010 diff hist 0 N File:Praeclarum Theorema CAST 2.0 Frame 04.png current
- 05:52, 22 March 2010 diff hist 0 N File:Praeclarum Theorema CAST 2.0 Frame 05.png current
- 05:51, 22 March 2010 diff hist 0 N File:Praeclarum Theorema CAST 2.0 Frame 06.png current
- 05:51, 22 March 2010 diff hist 0 N File:Praeclarum Theorema CAST 2.0 Frame 07.png current
- 05:51, 22 March 2010 diff hist 0 N File:Praeclarum Theorema CAST 2.0 Frame 08.png current
- 05:51, 22 March 2010 diff hist 0 N File:Praeclarum Theorema CAST 2.0 Frame 09.png current
- 05:50, 22 March 2010 diff hist 0 N File:Praeclarum Theorema CAST 2.0 Frame 10.png current
- 05:50, 22 March 2010 diff hist 0 N File:Praeclarum Theorema CAST 2.0 Frame 11.png current
- 05:50, 22 March 2010 diff hist 0 N File:Praeclarum Theorema CAST 2.0 Frame 12.png current
- 05:50, 22 March 2010 diff hist 0 N File:Praeclarum Theorema CAST 2.0 Frame 13.png current
- 05:49, 22 March 2010 diff hist 0 N File:Praeclarum Theorema CAST 2.0 Frame 14.png current
- 05:49, 22 March 2010 diff hist 0 N File:Praeclarum Theorema CAST 2.0 Frame 15.png current
- 05:49, 22 March 2010 diff hist 0 N File:Praeclarum Theorema CAST 2.0 Frame 16.png current
- 05:49, 22 March 2010 diff hist 0 N File:Praeclarum Theorema CAST 2.0 Frame 17.png current
- 05:48, 22 March 2010 diff hist 0 N File:Praeclarum Theorema CAST 2.0 Frame 18.png current
- 04:36, 21 March 2010 diff hist 0 Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems →Variations on a theme of transitivity: reumber figures
- 04:20, 21 March 2010 diff hist +7 Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems →Analysis of contingent propositions: renumber figures
- 04:11, 21 March 2010 diff hist 0 Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems →Logic as sign transformation: renumber figures
- 03:50, 21 March 2010 diff hist +302 User:Jon Awbrey/ANIMATION →Proof Animations
- 01:56, 21 March 2010 diff hist -25 Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems →Praeclarum theorema : Proof by CAST: renumber figures
- 01:46, 21 March 2010 diff hist 0 Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems →Discusssion: renumber figures
- 01:42, 21 March 2010 diff hist 0 Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems →Formal extension : Cactus calculus: renumber figures
- 01:40, 21 March 2010 diff hist +92 Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems →Majority function example: renumber figures
- 01:34, 21 March 2010 diff hist -1 Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems →Praeclarum theorema : Proof by CAST: fix heading
- 01:30, 21 March 2010 diff hist +29 Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems →Example
- 23:00, 20 March 2010 diff hist +330 Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems →Example: + animation
- 22:48, 20 March 2010 diff hist 0 N File:Praeclarum Theorema CAST Animation.gif current
- 22:18, 20 March 2010 diff hist 0 N File:Praeclarum Theorema CAST Frame 18.png current
- 22:17, 20 March 2010 diff hist 0 N File:Praeclarum Theorema CAST Frame 17.png current
- 22:16, 20 March 2010 diff hist 0 N File:Praeclarum Theorema CAST Frame 16.png current
- 22:15, 20 March 2010 diff hist 0 N File:Praeclarum Theorema CAST Frame 15.png current
