# 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