Codex Wiki OurBigBook logoOurBigBook.comSite Source code
A many-one reduction is a total computable satisfying exactly when .

Ancestors (5)

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