Home Articles FAQs XREF Games Software Instant Books BBS About FOLDOC RFCs Feedback Sitemap

Peano arithmetic

You are here: irt.org | FOLDOC | 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)


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

FOLDOC, Topics, 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, ?, ALL

©2018 Martin Webb