Formalization Quotes & Sayings

Cooking allows you to have travels, adventures and journeys without going anywhere. The running joke between my partner and me is that I'm not really concerned about how long it takes, or how much I destroy the kitchen, because I just have such a good time doing it. — Ted Allen

Even in the same family, one child will always instinctively know when to ask for things, and another won't. — Mignon McLaughlin

The development of mathematics toward 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 ... One might therefore conjecture that these axioms and rules of inference are sufficient to decide any mathematical question that can at all be formally expressed in these systems. It will be shown below that this is not the case, that on the contrary there are in the two systems mentioned relatively simple problems in the theory of integers that cannot be decided on the basis of the axioms. — Kurt Godel

the overzealous institutionalization of social relationships, which comes along with the increasing formalization and physical and numerical growth of modern settlements and societies, makes people unhappy and undermines the moral legitimacy of political authorities. The more powerful the institutions, the more 'rights' and vested interests they will have in the affairs and interactions of the ordinary citizen, and the more marginal individuals will be compared to the interests of the institutions. The ultimate form of this trend is a situation where institutions become not only a burden, but a threat to public well-being, even to public security. I argue in the book that there are ways to revive organic communities in modern political systems by conducting decentralization, and by adopting models from the existing — Aleksandar Fatic

We haven't seen any African country talk about recession. — Oscar N. Onyema

It is well for the world that in most of us, by the age of thirty, the character has set like plaster, and will never soften again. — William James

Science in its everyday practice is much closer to art than to philosophy. When I look at Godel's proof of his undecidability theorem, I do not see a philosophical argument. The proof is a soaring piece of architecture, as unique and as lovely as Chartres Cathedral. Godel took Hilbert's formalized axioms of mathematics as his building blocks and built out of them a lofty structure of ideas into which he could finally insert his undecidable arithmetical statement as the keystone of the arch. The proof is a great work of art. It is a construction, not a reduction. It destroyed Hilbert's dream of reducing all mathematics to a few equations, and replaced it with a greater dream of mathematics as an endlessly growing realm of ideas. Godel proved that in mathematics the whole is always greater than the sum of the parts. Every formalization of mathematics raises questions that reach beyond the limits of the formalism into unexplored territory. — Freeman Dyson

For the moment they wanted to live with the least expenditure, economize words, gestures, thoughts, float: they had only one day in which to smooth out their wrinkles, their crow's feet, the bitter lines made by a hard week's work. One day only. — Jean-Paul Sartre

It is clear that for many of our members two websites would make things more difficult, so we are going to keep Netflix as one place to go for streaming and DVDs. — Reed Hastings

Build the prisons and they will commit the crimes. — Brian Spellman

While any software system introduces some kind of formalization of the world, HCI (like AI) deals with formalizations of human cognition and activity. These are the issues that have lay at the heart of philosophical debate for centuries. In some ways, it would be hard to imagine a more philosophical enterprise. — Paul Dourish

Vaults. In due time, the fraud is manifest, and words lose all power to stimulate the understanding or the affections. Hundreds of writers may be found in every long-civilized nation, who for a short time believe, — Ralph Waldo Emerson

All the way to heaven is heaven.' It is not just about the happy ending, but making every step along the way matter. It is a good way to live a life, do you think? — Becky Doughty

The low cost of aggregating information also allowed the formalization of sharing [ ... ]. — Clay Shirky

It is not that things are delusory but their separateness in the fabric of the Whole that is illusory ... — Frederick Franck

If we have dwelled on Godel's work at some length, is it because we see it in the mathematical analogy of what we would call the the ultimate paradox of man's existence. Man is ultimately subject and object of his quest. While the question whether the mind can be considered to be anything like a formalized system, as defined in the preceding paragraph, is probably unanswerable, his quest for an understanding of the meaning of his existence is an attempt at formalization. — Paul Watzlawick

Do you know what the mathematical expression is for longing? ... The negative numbers. The formalization of the feeling that you are missing something. — Peter Hoeg

One of the most helpful things I introduced (and of very considerable consequence to Canadians) was my ultimate success in persuading my colleagues (after continuing battle)to reduce the qualifying age for aged pensioners from seventy to sixty-five over a five year period. — Judy LaMarsh

We must move into the universe. Mankind must save itself. We must escape the danger of war and politics. We must become astronauts and go out into the universe and discover the God in ourselves. — Ray Bradbury

To be fertile in hypotheses is the first perquisite of creativity and to be willing to throw them away the moment experience contradicts them is the next. — William James