Definitions
from Wiktionary, Creative Commons Attribution/Share-Alike License.
- adjective Capable of being
formalized .
Etymologies
from Wiktionary, Creative Commons Attribution/Share-Alike License
Support
Help support Wordnik (and make this page ad-free) by adopting the word formalizable.
Examples
-
Concept formation, deduction, confirmation, and explanation all involve the same formalizable operations.
Neo-positivist philosophy of social science Daniel Little 2009
-
Concept formation, deduction, confirmation, and explanation all involve the same formalizable operations.
Archive 2009-09-01 Daniel Little 2009
-
The Nagel-Schaffner approach to theory reduction assumes a syntactic account of theory structure such that they are axiomatized systems formalizable in first order predicate calculus.
Reductionism in Biology Brigandt, Ingo 2008
-
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.
If you haven't practiced, you haven't learned anything Clark Aldrich 2006
-
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.
Hilbert's Program Zach, Richard 2003
-
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
Hilbert's Program Zach, Richard 2003
-
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. 2001
-
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.
Hilbert's Program Zach, Richard 2003
-
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. 2001
-
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. 2001
Comments
Log in or sign up to get involved in the conversation. It's quick and easy.