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
Definitions 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