Codex Wiki OurBigBook logoOurBigBook.comSite Source code

Dovetailing

Dovetailing interleaves finite stages of multiple computations so that every computation that halts is eventually observed.

Ancestors (5)

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