Logic

• Boolean Logic in Polynomials
  July 24, 2017
• Zero-One Laws for Random Graphs
  February 9, 2015
• A problem that is not (properly) PAC-learnable
  April 21, 2014
• Methods of Proof — Contrapositive
  February 22, 2013
• Why there is no Hitchhiker's Guide to Mathematics for Programmers
  February 8, 2013
• P vs. NP, A Primer (And a Proof Written in Racket)
  February 23, 2012
• Busy Beavers, and the Quest for Big Numbers
  February 8, 2012
• Conway's Game of Life in Conway's Game of Life
  November 3, 2011
• n-Colorability is Equivalent to Finite n-Colorability (A Formal Logic Proof)
  September 4, 2011
• False Proof—All Numbers are Describable in at Most Twenty Words
  July 28, 2011
• Set Theory—A Primer
  July 9, 2011
• Turing Machines—A Primer
  July 4, 2011
• Determinism and Finite Automata—A Primer
  July 2, 2011
• Turing Machines and Conway's Dreams
  June 30, 2011
• The Wild World of Cellular Automata
  June 29, 2011