Formalization Quotes

Decision theory, as it has grown up in recent years, is a formalization of the problems involved in making optimal choices. In a certain sense - a very abstract sense, to be sure - it incorporates among others operations research, theoretical economics, and wide areas of statistics, among others. (Kenneth Arrow)
The formalization of behavior takes formal power away from the workers and the managers who supervise them and concentrates it near the top of the line hierarchy and in the technostructure, thus centralizing the organization in both dimensions. The result is Type A decentralization. Training and indoctrination produces exactly the opposite effect: it develops expertise below the middle line, thereby decentralizing the structure in both dimensions (Type E). Putting these two conclusions together, we can see that specialization of the unskilled type centralizes the structure in both dimensions, whereas specialization of the skilled or professional type decentralizes it in both dimensions. View quote
Henry Mintzberg
The development of mathematics towards greater precision has led, as is well known, to the formalization of large tracts of it, so that one can prove any theorem using nothing but a few mechanical rules. View quote
Kurt Gödel
Isaac Newton's Philosophae Naturalis Principia Mathematica abstracted time from events, establishing its tractability to scientific calculation. Conceived as pure, absolute duration, without qualities, it conforms perfectly to its mathematical idealization (as the real number line). Since time is already pure, its reality indistinguishable from its formalization, a pure mathematics of change – the calculus – can be applied to physical reality without obstruction. The calculus can exactly describe things as they occur in themselves, without straying, even infinitesimally, from the rigorous dictates of formal intelligence. In this way natural philosophy becomes modern science. View quote
Nick Land
Whether in number theory, or space-time cosmology, Gödel's method was to advance the formalization of the system under consideration and then test it to destruction upon the ‘strange loops' it generated (paradoxes of self-reference and time-travel). In each case, the system was shown to permit cases that it could not consistently absorb, opening it to an interminable process of revision, or technical improvement. It thus defined dynamic intelligence, or the logic of evolutionary imperfection, with an adequacy that was both sufficient and necessarily inconclusive. What it did not do was trash the very possibility of arithmetic, mathematical logic, or cosmic history - except insofar as these were falsely identified with idols of finality or closure. View quote
Nick Land