Page history
27 March 2010
26 March 2010
→C<sub>2</sub>. Generation theorem: JPEG ---> PNG
+11
→C2. Generation theorem: break monolithic storyboard into components
+934
update with majority function example & animations
+3,227
25 March 2010
18 August 2009
17 August 2009
31 July 2009
30 July 2009
29 July 2009
→Exemplary proofs: del unnec specs
-94
→Frequently used theorems: rephrase
-7
→Frequently used theorems: del unnec specs
-189
28 July 2009
→Axioms: del unnec specs
-49
→Primary algebra as pattern calculus: del unnec specs
-54
→Primary arithmetic as semiotic system: trim
-45
→Primary arithmetic as semiotic system: inline graphics for rooted node and rooted edge
+250
→Primary arithmetic as semiotic system: fix awk
+14
→Duality : logical and topological: cleanup
+1
→Computational representation: fix format for variables
-24
→Computational representation: cleanup
-7
→Primary arithmetic as semiotic system: del unnec specs
-54
→Duality : logical and topological: del unnecessary specs
-189
→Duality : logical and topological: spacing
-1
27 July 2009
3 December 2008
19 October 2008
3 September 2008
2 September 2008
→Resources: + author link
+48
→Resources: + details
+20
→Resources
+72
→Resources: re-org links
+292
trim lead
-48
→See also: apply {{col-begin}}…{{col-break}}…{{col-end}} template
+18
→Praeclarum theorema: ASCII → JPEG
-3,676
1 September 2008
31 August 2008
30 August 2008
→Peirce's law: cleanup
-8
→Formal development: ASCII → JPEG
-1,098
→C<sub>3</sub>. Dominant form theorem: punctuation
-1
→C<sub>2</sub>. Generation theorem: grammar
