---
tag: NYWB136K1D
kind: concept
name: Effectively computable function
sources:
  - wikipedia: en:76765067@r1368301704
    locator: Glossary of logic, section E
    note: adopted
    mention: wikipedia://en/76765067#C9GP
    sections: [Summary]
inventory: [TQJRA7KJ6Q]
---

## Summary

A function for which there exists an algorithm or mechanical procedure that can compute the function's value for any valid input in a finite amount of time.