0%

peano arithmetic

P p

Transcription

    • US Pronunciation
    • US IPA
    • US Pronunciation
    • US IPA

Definition of peano arithmetic words

  • noun Technical meaning of 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) 1
Just one definition for peano arithmetic

Information block about the term

Parts of speech for Peano arithmetic

noun
adjective
verb
adverb
pronoun
preposition
conjunction
determiner
exclamation
Full grammatical hierarchy of Peano arithmetic

See also

Matching words

Was this page helpful?
Yes No
Thank you for your feedback! Tell your friends about this page
Tell us why?