⇒ (implies)

The connective in propositional calculus, which has the meaning, “if A is true, then B is also true.”

The software randomly selects a word from a thesaurus, and obtains one of its synonyms. The search continues for synonyms of those synonyms, and so on, until no more unique synonyms are available. This process continues infinitely.

Sometimes – though not always – a long chain of synonyms produces words that are not similar at all.

Built in Processing and MySQL using the WordNet lexical database. The interface shows the details of the currently-processed chain, and a brief history of recently-processed chains.

This work was featured in the Calcul*rt (Math as Art) exhibit at Krannert Art Museum in 2006.