Jonathan Ly

Student at the University of Washington - B.Sc. in Computer Science

\[\Gamma \cup \{A\} \vdash B\] \[\Gamma \vdash A \to B \]

The Deduction Theorem

Or, an introduction to the metatheory of propositional logic.

Read more.
turing machine tape encoding of ram

Complexity Analysis and Hidden Assumptions

A lesson in Turing machines, complexity theory, and a note to myself to be careful for implicit assumptions.

Read more.
Contact Me