Codex Wiki OurBigBook logoOurBigBook.comSite Source code

Padding lemma

The padding lemma produces infinitely many syntactically distinct program indices for the same computed function or language.

Ancestors (5)

  1. Computability theory
  2. Foundations of mathematics
  3. Area of mathematics
  4. Mathematics
  5. Home

Incoming links (1)