Codex Wiki OurBigBook logoOurBigBook.comSite Source code

Extensional property of programs

An extensional program property gives identical answers to all codes computing the same object.

Ancestors (6)

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