Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

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

successor function · Vinony

EntityQ7632653· pop 11· linked from 72 articles

successor function

Sign in to save

elementary operation on a natural number

Connections

International Standard Book Number

John von Neumann

digital object identifier

mathematical logic

inverse function

formal language

Categories

Arithmetic Logic in computer science Mathematical logic

Sources

wikipedia.externallinksexternallink

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

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