Talks

1. Understanding Boole's Algebra of Logic
   ASL Special Session, Chicago (June, 2003) [ PS ] [ PDF ] [ DVI ]
   
2. Parallels Between Additive Number Theoretic Systems and Multiplicative Number Systems
   Number Theory Seminar, Waterloo (Nov 2002) [ PS ] [ PDF ]
   
3. Number Theoretic Density and Logical Limit Laws
   Analysis Seminar, Waterloo (2001) [ PS ] [ PDF ]
   
4. Boole's Treatment of Particular Statements
   CMS, Toronto(2001) [ PS ] [ PDF ]
   
5. The Laws of Boole's Thought
   AMS (New Orleans, 2001) [ PS ] [ PDF ]
   
6. Computational Problems in Universal Algebra
   Szeged (1996) [ PS ] [ PDF ]
   
7. Machine Reasoning
   Vanderbilt (1996) [ PS ] [ PDF ]
   
8. Bootstraping 0-1 Laws
   DIMACS(1997) [ PS ] [ PDF ]