Computing from First Principles

Here's my "Computing from First Principles" proposal.