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 ]
    The Laws of Boole's Thought
  5. AMS (New Orleans, 2001) [ PS ] [ PDF ]
    Computational Problems in Universal Algebra
    Szeged (1996) [ PS ] [ PDF ]
  6. Machine Reasoning
    Vanderbilt (1996) [ PS ] [ PDF ]
  7. Bootstraping 0-1 Laws
    DIMACS(1997) [ PS ] [ PDF ]