He did this by assuming that the demon is a computational device and showed that no two such devices can completely predict each other.
I bevisningen utgick han från att demonen var en dator och visade att två sådana datorer inte kan förutsäga varandra helt och hållet.