Inventions: Theoretical computing machine