Definitions
from Wiktionary, Creative Commons Attribution/ShareAlike License
 adj. Capable of being formalized.
Etymologies
from Wiktionary, Creative Commons Attribution/ShareAlike License
Examples

Concept formation, deduction, confirmation, and explanation all involve the same formalizable operations.

The NagelSchaffner approach to theory reduction assumes a syntactic account of theory structure such that they are axiomatized systems formalizable in first order predicate calculus.

Many of them probably do anyway  when they can  because they sense that they have things to learn from others and many of those things e.g. attitude, diplomacy, tone of voice simply are not formalizable.

Insofar as the object of this vision is not formalizable, this concept is different from all mathematical concepts of the infinite, especially those involved in Newtonian physics or what Blake sees as the Newtonian vision of the world.
Chaosmic Orders: Nonclassical Physics, Allegory, and the Epistemology of Blake's Minute Particulars.

For the ultimate structure of infinite mathematical objects, such as those of chaos theory, but also many (perhaps all) others as well, may not be mathematically formalizable either.
Chaosmic Orders: Nonclassical Physics, Allegory, and the Epistemology of Blake's Minute Particulars.

All true Blakean orders, true visions of the infinite, are irreducibly nonmathematical, or otherwise formalizable.
Chaosmic Orders: Nonclassical Physics, Allegory, and the Epistemology of Blake's Minute Particulars.

It is fair to say, however, that after about 1934 it has been almost universally accepted that the methods of proof accepted as finitary prior to GÃ¶del's results are all formalizable in PA.

As mentioned above, initially GÃ¶del and Bernays thought that the difficulty for the consistency proof of PA could be overcome by employing methods which, although not formalizable in

GÃ¶del (1931) left open the possibility that there could be finitary methods which are not formalizable in these systems and which would yield the required consistency proofs.

All the methods of finitary reasoning used in the consistency proofs up till then were believed to be formalizable in
Comments
Log in or sign up to get involved in the conversation. It's quick and easy.