> For the complete documentation index, see [llms.txt](https://mandober.gitbook.io/math-debrief/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://mandober.gitbook.io/math-debrief/600-toc/630-computability-theory/topics.md).

# Computability (recursion) theory: TOPICS

Computability theory aka Recursion theory computable functions solvability of computable functions

* Aliases
  * Computability theory `aka` Recursion theory
  * general recursive function `aka` μ-recursive function
  * computable partial function `aka` recursive partial function
  * the decision problem `aka` Entscheidungsproblem
* Opposing pairs
  * solvable `vs` unsolvable function
  * computable `vs` noncomputable function
  * total `vs` partial function
  * recursive `vs` nonrecursive function
  * primitive recursive `vs` general recursive function