formalizable


Also found in: Thesaurus.

for·mal·ize

 (fôr′mə-līz′)
tr.v. for·mal·ized, for·mal·iz·ing, for·mal·iz·es
1. To give a definite form or shape to.
2.
a. To make formal.
b. To give formal standing or endorsement to; make official or legitimate by the observance of proper procedure.
for′mal·iz′a·ble adj.
for′mal·i·za′tion (-mə-lĭ-zā′shən) n.
for′mal·iz′er n.
American Heritage® Dictionary of the English Language, Fifth Edition. Copyright © 2016 by Houghton Mifflin Harcourt Publishing Company. Published by Houghton Mifflin Harcourt Publishing Company. All rights reserved.

formalizable

or

formalisable

adj
able to be formalized
Collins English Dictionary – Complete and Unabridged, 12th Edition 2014 © HarperCollins Publishers 1991, 1994, 1998, 2000, 2003, 2006, 2007, 2009, 2011, 2014
References in periodicals archive ?
Much of what people do is embedded in their routine daily practices and is often not obvious--so why do we teach that the specification is formalizable at all?
Technology or management?
* Finally, many of the most important requirements of real programs are simply not formalizable. I would hate to try to come up with a formal specification for the "playability" of a video game, or the probable hostility of a radar echo.
Technical correspondence
That a proof is formalizable, that the formal proofs have the structural properties that they do, explains in part why proofs are convincing to mathematicians.
Program verification: the very idea
For example, in 1936 Gerhardt Gentzen gave a consistency proof for elementary arithmetic using extremely powerful nonelementary methods (as required by Godel's Incompleteness theorem), that is, methods not formalizable in arithmetic itself involving transfinite induction.
Undebuggability and cognitive science
Is Formalizable?, 11 LAW, PROBABILITY & RISK 225, 235 (2012)
A REPLACEMENT FOR JUSTITIA'S SCALES? MACHINE LEARNING'S ROLE IN SENTENCING
In this scenario, the observer asks a sequence of questions of nature, formalizable along the lines of "is the pointer between x and x+n?" Nature's reply is "yes" for the first 19 questions, occasioning a change in the density matrix corresponding to the wave function of the universe.
DOWNWARD CAUSATION: CONTROL THEORY, SYMMETRY BREAKING, QUANTUM FIELD THEORY, AND NEURODYNAMICS
Dictionary browser ?
Full browser ?