Definition and Overview
A Conway chain (or chain for short) is defined as follows:
- Any positive integer is a chain of length 1.
- A chain of length n, followed by a right-arrow → and a positive integer, together form a chain of length .
Any chain represents an integer, according to the four rules below. Two chains are said to be equivalent if they represent the same integer.
If and are positive integers, and is a subchain, then:
- The chain represents the number .
- represents the exponential expression .
- is equivalent to .
- is equivalent to
(with p copies of X, p − 1 copies of q, and p − 1 pairs of parentheses; applies for q > 0).
Note that the last rule can be restated recursively to avoid the ellipses:
- 4a.
- 4b.
Read more about this topic: Conway Chained Arrow Notation
Famous quotes containing the word definition:
“Mothers often are too easily intimidated by their children’s negative reactions...When the child cries or is unhappy, the mother reads this as meaning that she is a failure. This is why it is so important for a mother to know...that the process of growing up involves by definition things that her child is not going to like. Her job is not to create a bed of roses, but to help him learn how to pick his way through the thorns.”
—Elaine Heffner (20th century)