Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

Browse Dictionary Books Food Places Asteroids Search

© 2026 Vinony · Knowledge from Wikipedia, Wikidata, and 27 public APIs.

successor function · Vinony

🌐English

English Deutsch Español Français Italiano Português Svenska Tiếng Việt Русский فارسی 한국어 中文日本語

EntityQ7632653· pop 11· linked from 72 articles

successor function

Also known as successor, successor operation, increment, zeration

elementary operation on a natural number

Available in 11 languages

Español
Français
中文
日本語
Русский
Português
Svenska
Tiếng Việt
فارسی
한국어

via Wikidata sitelinks · CC0

Connections

Categories

Arithmetic Logic in computer science Mathematical logic

Sources

wikipedia.externallinksexternallink

International Standard Book Number

Entity

John von Neumann

digital object identifier

mathematical logic

inverse function

formal language

Sign in to save

Similar entities

Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).

Entitydist 0.55

Entitydist 0.57

Entitydist 0.59

Entitydist 0.61

Entitydist 0.61

Entitydist 0.61

Entitydist 0.61

Entitydist 0.61

Entitydist 0.61

Entitydist 0.62

Entitydist 0.62

Entitydist 0.62

What links here72 pages

Richard Dedekind

primitive notion

Church encoding

Grzegorczyk hierarchy

intuitionistic type theory

Ackermann function

Knuth's up-arrow notation

functional programming

exponential growth

mathematical logic