algorithmic communication systems are a relatively new field within ceti. in these systems, which build upon early work on mathematical languages, the sender describes a small set of mathematic and logic symbols that form the basis for a rudimentary programming language that the recipient can run on a virtual machine. algorithmic communication has a number of advantages over static pictorial and mathematical messages, including: localized communication (the recipient can probe and interact with the programs within a message, without transmitting a reply to the sender and then waiting years for a response), forward error correction (the message might contain algorithms that process data elsewhere in the message), and the ability to embed proxy agents within the message. in principle, a sophisticated program when run on a fast enough computing substrate, may exhibit complex behavior and perhaps, intelligence.