1.Previous
3.Next

whereas first-order and higher-order logic are not. A theory (set of sentences closed under logical consequence) in a fixed logical system is decidable if there is an effective method for determining whether arbitrary formulas are included in the theory. Many important problems are undecidable,

1.Previous
3.Next