A system for representing natural numbers inductively using only two symbols, “0” (zero) and “S” (successor).
This could be expressed as a recursive data type with the following Haskell definition:
data Peano = Zero | Succ Peano
The number three, usually written “SSS0”, would be Succ (Succ (Succ Zero)). Addition of Peano numbers can be expressed as a simple syntactic transformation:
plus Zero n = n plus (Succ m) n = Succ (plus m n)
noun, Mathematics. 1. a curve that passes through every point of a two-dimensional region.
[pee-uh n] /ˈpi ən/ noun 1. . [pee-uh n] /ˈpi ən/ noun 1. any song of praise, joy, or triumph. 2. a hymn of invocation or thanksgiving to Apollo or some other ancient Greek deity. /ˈpiːən/ noun 1. a hymn sung in ancient Greece in invocation of or thanksgiving to a deity 2. any song […]
[pee-nuht, -nuh t] /ˈpiˌnʌt, -nət/ noun 1. the pod or the enclosed edible seed of the plant, Arachis hypogaea, of the legume family: the pod is forced underground in growing, where it ripens. 2. the plant itself. 3. any small or insignificant person or thing. 4. peanuts. adjective 5. of or relating to the peanut […]
noun 1. a paste made from ground roasted peanuts, used as a spread or in cookery. noun 1. a brownish oily paste made from peanuts