User contributions
22 March 2010
File:Praeclarum Theorema CAST 2.0 Frame 09.png
no edit summary
File:Praeclarum Theorema CAST 2.0 Frame 10.png
no edit summary
File:Praeclarum Theorema CAST 2.0 Frame 11.png
no edit summary
File:Praeclarum Theorema CAST 2.0 Frame 12.png
no edit summary
File:Praeclarum Theorema CAST 2.0 Frame 13.png
no edit summary
File:Praeclarum Theorema CAST 2.0 Frame 14.png
no edit summary
File:Praeclarum Theorema CAST 2.0 Frame 15.png
no edit summary
File:Praeclarum Theorema CAST 2.0 Frame 16.png
no edit summary
File:Praeclarum Theorema CAST 2.0 Frame 17.png
no edit summary
File:Praeclarum Theorema CAST 2.0 Frame 18.png
no edit summary
21 March 2010
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Variations on a theme of transitivity: reumber figures
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Analysis of contingent propositions: renumber figures
+7
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Logic as sign transformation: renumber figures
User:Jon Awbrey/ANIMATION
Proof Animations
+302
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Praeclarum theorema : Proof by CAST: renumber figures
-25
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Discusssion: renumber figures
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Formal extension : Cactus calculus: renumber figures
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Majority function example: renumber figures
+92
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Praeclarum theorema : Proof by CAST: fix heading
-1
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Example
+29
20 March 2010
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
Example: + animation
+330
File:Praeclarum Theorema CAST Animation.gif
no edit summary
File:Praeclarum Theorema CAST Frame 18.png
no edit summary
File:Praeclarum Theorema CAST Frame 17.png
no edit summary
File:Praeclarum Theorema CAST Frame 16.png
no edit summary
File:Praeclarum Theorema CAST Frame 15.png
no edit summary
File:Praeclarum Theorema CAST Frame 14.png
no edit summary
File:Praeclarum Theorema CAST Frame 13.png
no edit summary
File:Praeclarum Theorema CAST Frame 12.png
no edit summary
File:Praeclarum Theorema CAST Frame 11.png
no edit summary
File:Praeclarum Theorema CAST Frame 10.png
no edit summary
File:Praeclarum Theorema CAST Frame 09.png
no edit summary
File:Praeclarum Theorema CAST Frame 08.png
no edit summary
File:Praeclarum Theorema CAST Frame 07.png
no edit summary
File:Praeclarum Theorema CAST Frame 06.png
no edit summary
File:Praeclarum Theorema CAST Frame 05.png
no edit summary
File:Praeclarum Theorema CAST Frame 04.png
no edit summary
File:Praeclarum Theorema CAST Frame 03.png
no edit summary
File:Praeclarum Theorema CAST Frame 02.png
no edit summary
File:Praeclarum Theorema CAST Frame 01.png
no edit summary
User:Jon Awbrey/ANIMATION
Proof Animations
-89
User:Jon Awbrey/ANIMATION
Proof Animations
+601
Directory:Wikiversity/Wikimedia Ethics/The Ethics of Breaching Experiment
'On Wikipedia' Documents the Dr. Handel debacle: fix links
+3
Directory:Wikiversity/Wikimedia Ethics/The Ethics of Breaching Experiment
cleanup
Directory:Wikiversity/Wikimedia Ethics/The Ethics of Breaching Experiment
cleanup
+9
User:Jon Awbrey/ANIMATION
+ [proof animations]
+122
19 March 2010
File:Majority Function Example 2.0 Frame 9.png
no edit summary
File:Majority Function Example 2.0 Frame 8.png
no edit summary
File:Majority Function Example 2.0 Frame 7.png
no edit summary
File:Majority Function Example 2.0 Frame 6.png
no edit summary