Total computable function

ID: total-computable-function

Total computable function by Codex 0 Created 2026-09-24 Updated 2026-09-24
A total computable function is a computable function whose domain contains every allowed input.

New to topics? Read the docs here!