Definition:Decidable/Formal System
Jump to navigation
Jump to search
Definition
A formal system $\FF$ is decidable if and only if there exists an effective procedure for determining whether a WFF of $\FF$ is a theorem of $\FF$.
Also see
- Results about decidability can be found here.
Sources
- 1998: David Nelson: The Penguin Dictionary of Mathematics (2nd ed.) ... (previous) ... (next): decidable
- 2008: David Nelson: The Penguin Dictionary of Mathematics (4th ed.) ... (previous) ... (next): decidable