Peano arithmetic

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)


Read Also:

  • Peano-curve

    noun, Mathematics. 1. a curve that passes through every point of a two-dimensional region.

  • Peans

    [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 […]

  • Peanut

    [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 […]

  • Peanut-butter

    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

Disclaimer: Peano arithmetic definition / meaning should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional. All content on this website is for informational purposes only.