Word:

Peano arithmetic

(mathematics)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)
Browse
Peagrit
Peahen
Peak
Peak arch
peak season
peak-seaason
Peaked
peaked cap
Peaking
Peakish
Peaky
Peal
peal out
pealing
Pean
Peanism
-- Peano arithmetic --
Peanut
peanut bar
peanut brittle
Peanut butter
Peanut gallery
peanut oil
peanut vine
peanut worm
peanuts
Pear
pear blight
Pear family
Pear gauge
pear haw
pear hawthorn
Pear shell
Index: # A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

About this site and copyright information - Online Dictionary Home