Peano arithmetic

<mathematics> Giuseppe Peano's system for representing natural numbers inductively using only two symbols, "0" (zero) and "S" (successor).

This system 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)
(1995-03-28)

Try this search on Wikipedia, OneLook, Google

Nearby terms: PeaceNet « peak envelope power « Peano « Peano arithmetic » PEARL » Pebble » Pebbleman

Loading
Copyright 2010 Denis Howe

Try myreviewsnow.net, the number 1 social shopping site! directoryold.com. General Business Directory.