# Computability

> What is computable?

Record: `reasoning:node-for-computation`
Kind: node
Canonical: https://banes-lab.com/ontology/reasoning#reasoning-node-for-computation

Listed in [Reasoning records](https://banes-lab.com/api/records/reasoning.md), after [Uncertainty](https://banes-lab.com/records/reasoning/node-for-uncertainty.md) and before [Abstraction](https://banes-lab.com/records/reasoning/node-for-abstraction.md).

## Axis

- [formalization](https://banes-lab.com/records/reasoning/axis-formalization.md)

## Math type

- [computation](https://banes-lab.com/records/reasoning/math-type-computation.md)

## Linked from

- [The axes](https://banes-lab.com/ontology/reasoning/the-axes.md)