So he and Zakharevich set out to prove that you can make a computer out of origami. First they had to encode computational inputs and outputs — as well as basic logical operations like AND and OR — as ...