Informally, this means that arguments of this form do not give good reason to establish their conclusions, even if their premises are true.

Informally, this means that given a constructive proof that an object exists, then that constructive proof can be turned into an algorithm for generating an example of it.

Informally, this means that differentiable functions are very atypical among continuous functions.

Informally, the theorem says that given some formal arithmetic, the concept of truth in that arithmetic is not definable using the expressive means that arithmetic affords.

Informally, this means that if G acts unitarily on a Hilbert space and has " almost invariant vectors ", then it has a nonzero invariant vector.

Informally, lowness means that problems in B are not only solvable by machines which can solve problems in A, but are " easy to solve.

Informally, this means that whenever we are given the unit ball of some seminorm, we can find a " much smaller " unit ball of another seminorm inside it, or that any neighborhood of 0 contains a " much smaller " neighborhood.

Such a definition can be formulated in terms of equivalence classes of smooth functions on M. Informally, we will say that two smooth functions f and g are equivalent at a point x if they have the same first-order behavior near x.

Informally the Prime Minister functions as the " face " of the cabinet to the public.

Informally, C can be regarded as the *- algebra of continuous complex-valued functions over the compact matrix quantum group, and u can be regarded as a finite-dimensional representation of the compact matrix quantum group.

Informally, the function type refers to the set of functions that, given an input of type, produce an output of type.

Informally known as " The Big Book " ( with its first 164 pages virtually unchanged since the 1939 edition ), it suggests a twelve-step program in which members admit that they are powerless over alcohol and need help from a " higher power "; seek guidance and strength through prayer and meditation from God or Higher Power of their own understanding ; take a moral inventory with care to include resentments ; list and become ready to remove character defects ; list and make amends to those harmed, and then try to help other alcoholics recover.

Informally, this is true because polynomial time algorithms are closed under composition.

Informally basis vectors are like " building blocks of a vector ", they are added together to make a vector, and the coordinates are the number of basis vectors in each direction.

Informally we can think of elements of the Lie algebra as elements of the group that are " infinitesimally close " to the identity, and the Lie bracket is something to do with the commutator of two such infinitesimal elements.

Informally, a soundness theorem for a deductive system expresses that all provable sentences are true.

Informally, the term measure word is also sometimes used to refer to numeral classifiers, which are used with nouns that are countable in some languages.

Informally, such Brachyceran larvae are called maggots, but the term is nontechnical and often applied indifferently to fly larvae or insect larvae in general.

Informally listed places are:

Informally, a set of natural numbers A is Turing reducible to a set B if there is an oracle machine that correctly tells whether numbers are in A when run with B as the oracle set ( in this case, the set A is also said to be ( relatively ) computable from B and recursive in B ).

Informally, classes are also traditionally named after their lead ships.

Informally, the reconstruction conjecture in graph theory says that graphs are determined uniquely by their subgraphs.

Informally, senators are sometimes given the higher title of ' Venerable '.

Informally, the terms C standard library or C library or libc are also used to designate a particular implementation on a given system.

Informally, a free object over a set A can be thought as being a " generic " algebraic structure over A: the only equations that hold between elements of the free object are those that follow from the defining axioms of the algebraic structure.

Informally, subvarieties are in general position if they cannot be described more simply than others.

Informally, two sets are close in the Hausdorff distance if every point of either set is close to some point of the other set.

Informally, two crystals tend to be in the same crystal system if they have similar symmetries, though there are many exceptions to this.

Informally, given the prime factorization of m, take b to be the product of the prime factors of m that have an odd exponent ( if there are none, then take b to be 1 ).

Informally, medical graduates are called " Doctors.

Informally it can be considered more widely: from a post-colonial form of amical protection, or protectorate, to confederation of unequal members when the lesser partner ( s ) delegate to the major one ( often the former colonial power ) some authority normally exclusively retained by a self-governing state, often in such fields as defence and foreign relations, while often enjoying favorable economic terms such as market access.

Informally the Church – Turing thesis states that if some method ( algorithm ) exists to carry out a calculation, then the same calculation can also be carried out by a Turing machine ( as well as by a recursively definable function, and by a λ-function ).

* Informally, an insect, spider or other small pest excluding rodents ; including most arthropods, except marine crustaceans, including individuals or species of

Informally, the novels compose The Forever War series ; the novel also inspired a comic book and a board game.

Informally, they require human practices to sustain their existence, but they have an effect that is ( basically ) universally agreed upon.

Informally, they could simply spend less until utility was exactly.

Informally, the tangent bundle of a manifold ( in this case a circle ) is obtained by considering all the tangent spaces ( top ), and joining them together in a smooth and non-overlapping manner ( bottom ).

Informally, the term is often applied in a joking manner to describe any horse that acts up and bucks with or without a rider.

Informally put, the axiom of choice says that given any collection of bins, each containing at least one object, it is possible to make a selection of exactly one object from each bin.

Informally, it is a permutation of the group elements such that the structure remains unchanged.

Informally, it is the similarity between observations as a function of the time separation between them.

Informally, it asks whether every problem whose solution can be quickly verified by a computer can also be quickly solved by a computer.

Informally, the theorem says that the curvature of a surface can be determined entirely by measuring angles and distances on the surface.

Informally, w represents a " script " for the computable function f, and F represents an " interpreter " that parses the script as a prefix of its input and then executes it on the remainder of input.

Informally, an object is reachable if it is referenced by at least one variable in the program, either directly or through references from other reachable objects.

Informally, a computational problem consists of problem instances and solutions to these problem instances.

Informally, a relational database table is often described as " normalized " if it is in the Third Normal Form.

Informally, a graph is a good expander if it has low degree and high expansion parameters.

( Informally, input positions can be thought of as locations at token boundaries.

* Informally known as FORTRAN 66.

* Informally known as Fortran 90.

* Informally known as Fortran 95.

* Informally known as Fortran 2003.

* Informally known as Fortran 2008.

Informally, the expression " infinitesimal calculus " became commonly used to refer to Weierstrass ' approach but has become something of a dead metaphor.

Informally, Kajang is known as the " Satay Town ", and is famous among tourists and locals alike.

Informally, a measure has the property of being monotone function | monotone in the sense that if A is a subset of B, the measure of A is less than or equal to the measure of B.