Interpretability
In mathematical logic, interpretability is a relation between formal theories that expresses the possibility of interpreting or translating one into the other. == Informal definition == Assume T and S are formal theories.
In mathematical logic, interpretability is a relation between formal theories that expresses the possibility of interpreting or translating one into the other. == Informal definition == Assume T and S are formal theories.
In mathematical logic, interpretability is a relation between formal theories that expresses the possibility of interpreting or translating one into the other. == Informal definition == Assume T and S are formal theories.
Source: Wikipedia "Interpretability" · CC BY-SA 4.0
Share this article: X · Bluesky