formalizable
Able to codify
Formalizable describes something that can be expressed in a precise, systematic form—typically mathematical notation, logical symbols, or rule-based structures.
A formalizable argument can be translated into symbolic logic; a formalizable process can be captured in an algorithm.
Some aspects of human reasoning may not be formalizable.
The term appears mainly in philosophy, mathematics, and computer science.
Form a mental picture
- articulateExpress clearly, or well-spoken
- specifyState in detail
- characterizeDescribe distinctive qualities
- delineateDescribe with precision
explicate · formulate · model · represent · translate · encode · abstract · generalize
Accepted starting principles
- propositionsStatements asserted for consideration
- inferenceConclusion reached through reasoning
- deductionConclusion from premises
- theoremDemonstrated logical conclusion
proof · validity · soundness · syllogism · predicate · quantifiers · contradiction · tautology
Finite problem-solving procedure
- methodologyFormal procedural framework
- procedurePrescribed sequence of actions
- frameworkUnderlying support system
- protocolPrescribed conduct rules
specification · codification · taxonomy · classification · standardization · schema · notation · syntax
conceptualize
Form a mental picture
- articulateExpress clearly, or well-spoken
- specifyState in detail
- characterizeDescribe distinctive qualities
delineate · explicate · formulate · model · represent · translate · encode · abstract · generalize · theorize
axioms
Accepted starting principles
- propositionsStatements asserted for consideration
- inferenceConclusion reached through reasoning
- deductionConclusion from premises
theorem · proof · validity · soundness · syllogism · predicate · quantifiers · contradiction · tautology · entailment
algorithm
Finite problem-solving procedure
- methodologyFormal procedural framework
- procedurePrescribed sequence of actions
- frameworkUnderlying support system
protocol · specification · codification · taxonomy · classification · standardization · schema · notation · syntax · semantics
formalizablenon-computable
No algorithm exists
ineffable · informal · undefinable · informalized · intractable
formalizablevague
Unclear, ill-defined
indefinite · ambiguous · fuzzy · imprecise · indeterminate
form, inform, uniform, formal, reform, information, informal, formation, transform