* Freek Wiedijk, Formalizing 100 Theorems A page keeping track of the progress in the formalization of 100 common theorems.

In the 1992 article " Extending and Formalizing the Framework for Information Systems Architecture " John F. Sowa and John Zachman present the framework and its recent extensions and show how it can be formalized in the notation of conceptual graphs.

* Laura I. Meikle and Jacques D. Fleuriot ( 2003 ), Formalizing Hilbert's Grundlagen in Isabelle / Isar, Theorem Proving in Higher Order Logics, Lecture Notes in Computer Science, Volume 2758 / 2003, 319-334,

Formalizing the commonsense knowledge needed for even simple reasoning problems is a huge undertaking.

Formalizing Common Sense.

This idea leads into the understanding of how abiotic stress and endangered species are related.

However, as in Cantor's argument ( above ), this idea leads to difficulties.

Similarities can be seen along the first two rows ; the appearance of specialized characters in each species can be seen in the columns and a diagonal interpretation leads one to Haeckel ’ s idea of recapitulation.

* 1864 – American Civil War: Colonel Emory Upton leads a 10-regiment " Attack-in-depth " assault against the Confederate works at The Battle of Spotsylvania, which, though ultimately unsuccessful, would provide the idea for the massive assault against the Bloody Angle on May 12.

NPC assembly is a very rapid process yet defined intermediate states occur which leads to the idea that this assembly occurs in a stepwise fashion.

* Pushing the opponent off the board is not usually a good idea if it leads to weaknesses in the player ’ s geometry

To recant Mill's original idea in an empiricist twist: " Indeed, the very principles of logical deduction are true because we observe that using them leads to true conclusions.

Distributing the objects several at a time in each round of sharing to each portion leads to the idea of " chunking ", i. e., division by repeated subtraction.

Although the retrograde effect normally extends some years before the brain damage, in some cases older memories remain — this sparing of older memories leads to the idea that consolidation over time involves the transfer of memories out of the hippocampus to other parts of the brain.

By extension from its primary sense, the idea that a virgin has a sexual " blank slate ", unchanged by any past intimate connection or experience, leads to the abstraction of unadulterated purity.

This fact gave rise to the idea that spontaneous autoimmunity may result when the binding of antibody to certain antigens leads to aberrant signals being fed back to parent B cells through membrane bound ligands.

When he manages to trump Darcy out of her idea for a new Nike ad campaign aimed at women, he later regrets his selfishness, especially as it leads to her being fired.

Keeping fast hold of this idea of absolute position, Herbart leads us next to the quality of the real:

"- This letter compares people to plants and leads the reader to pursue the idea of whether or * not the soil has anything to do with the prosperity of the person living there.

The attempt to explain all mental disorders with the same theory leads to reductionism ( explaining a disorder or other complex phenomena using only a single idea or perspective ).

This leads to the idea of including the deduction theorem as a formal rule in the system, which happens in natural deduction.

Therefore he declares war against all speculation, and also against such persons as seek to speculate on faith and strive after an insight into the truths of revelation: for all speculation is loss of time, leads away from the subjective into the objective, from the actual to the ideal, is a dangerous distraction ; and all mediation betrays existence, leads treacherously away from the decided in actual life, is a falsifying of faith by the help of idea.

That is, schizophrenia is characterized by failing to encode themselves as the source of the idea, compounded by attributing these ideas / beliefs to an external source, all of which leads to those individuals with schizophrenia exhibiting behaviours typical of those with source amnesia ; they misattribute the source of their knowledge / ideas / beliefs.

This idea of viewing games in terms of their possible moves to other games leads to a recursive mathematical definition of games that is standard in combinatorial game theory.

This idea leads to self defense that is creative and allows one to think about what is the best response.

In popular usage, the central feature of dialectic is the concept of " thesis, antithesis, synthesis "-when an idea or phenomenon ( thesis ) arises, it carries within itself the seed of its opposite ( antithesis ), and the interplay of these polarities leads to a synthesis which is somehow beyond the scope of either polarity alone.

Of particular importance in most of his music is the concept of repeating loops, ostinatos, or isorhythms of different lengths going out of phase with each other ; the idea leads to simultaneous layers of different, mutually prime tempo relationships in his Disklavier and electronic works, and is used in a less obvious structural way in his live-ensemble music.

This has important applications in quantum mechanics, as the study of representations of SU ( 2 ) leads naturally to the idea of spin.

Outstanding among these is the idea of human nature itself, including the many definitions that have been advanced over the centuries ; ;

:"< sup >†</ sup > We shall use the expression ' computable function ' to mean a function calculable by a machine, and let ' effectively calculable ' refer to the intuitive idea without particular identification with any one of these definitions.

While Safran's definitions were influenced by the idea of the Jewish diaspora, he recognised the expanding use of the term.

Wittgenstein rejects the idea that ostensive definitions can provide us with the meaning of a word.

Smith identified six significant ideas to the New Theory that he claimed Marcus had developed: ( 1 ) The idea that proper names are direct references, which don't consist of contained definitions.

The idea of Chinese reunification is controversial, as is the term " reunification " itself, with varying and sometimes conflicting definitions.

American linguists such as Leonard Bloomfield and Zellig Harris took this idea a step further by attempting to formalize language and its study in terms of formal definitions and procedures ( around 1920 – 1960 ).

In quantum mechanics the notion of operational definitions is closely related to the idea of observables, that is, definitions based upon what can be measured.

Henceforth, postmodern usage of the idea of civil society became divided into two main: as political society and as the third sector – apart from plethora of definitions.

Starting with Marxist definitions of consumption and production, he introduces Mauss ’ s idea of " objects that are not consumed " and posits that the majority of human behavior consists of activities that would not be properly categorized as either consumption or production.

These definitions of efficiency are not exactly equivalent, but they are all encompassed by the idea that a system is efficient if nothing more can be achieved given the resources available.

The word " romance " has also developed with other meanings in other languages such as the early nineteenth century Spanish and Italian definitions of " adventurous " and " passionate ", sometimes combining the idea of " love affair " or " idealistic quality.

Although it has definitions in the theory of the field that have been formulated from the early 20th century onwards, it has suffered in more recent years from being blurred, as a result of conflation of the idea of a public with the notions of audience, market segment, community, constituency, and stakeholder.

The works in this series took the form of photostat reproductions of dictionary definitions of words such as “ water ,” “ meaning ,” and “ idea .” Accompanying these photographic images are certificates of documentation and ownership ( not for display ) indicating that the works can be made and remade for exhibition purposes.

Hume's fork is the idea that all items of knowledge are either based on logic and definitions, or else on observation.

Nevertheless, he used the idea of comic definitions in his columns dated November 17, 1877, and September 14, 1878.

In Ethics he recognised only a two-fold division of virtue, the theoretical and the practical, answering to the dianoietic and the ethical of Aristotle ; endeavoured to bring the ultimate object of life into nearer relation to natural impulses, and to show by similes the inseparability of the virtues ; pointed out that the recognition of the moral, as something to be striven after for its own sake, was a leading fundamental idea in the speeches of Demosthenes ; would not admit the harsh doctrine of apatheia, and, on the contrary, vindicated the claim of certain pleasurable sensations to be regarded as in accordance with nature, while he also insisted that moral definitions should be laid down in such a way that they might be applied by the man who had not yet attained to wisdom.

The IPX used 24 byte cells instead of ATM's 53 byte cells, and the field definitions were slightly different, but the basic idea of using short, fixed length cells was identical.

Although most of Clements ecosystem definitions have been greatly revised, initially by Henry Gleason and Arthur Tansley, and later by contemporary ecologists, the idea that physiological processes are fundamental to ecosystem structure and function remains central to ecology.

While trying to define and quantify normality is a good start, all definitions confront the problem of whether we are even describing an idea that even exists since there are so many different ways of viewing the concept.

However, if one does some simple thought experiments using the Newtonian definitions of momentum and energy, one sees that these quantities are not conserved in SR. One can rescue the idea of conservation by making some small modifications to the definitions to account for relativistic velocities.

As concepts of clinical audit have developed, so too have the definitions which sought to encapsulate and explain the idea.