Help


[permalink] [id link]
+
Page "Theory of descriptions" ¶ 16
from Wikipedia
Edit
Promote Demote Fragment Fix

Some Related Sentences

Informally and reads
Informally, this reads as follows: there is something such that it is D and A.

Informally and something
Informally, the expression " infinitesimal calculus " became commonly used to refer to Weierstrass ' approach but has become something of a dead metaphor.
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, reification is often referred to as " making something a first-class citizen " within the scope of a particular system.
Informally, if F is '= y ', G is ' is Pegasus ', and we substitute ' Pegasus ' for y, then ( 4 ) appears to allow us to infer from ' everything identical with Pegasus is Pegasus ' that something is identical with Pegasus.

Informally and exists
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, 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, the non-commissioned officers with portepee are often called " the Feldwebel ranks " or even altogether Feldwebel, which creates a similar confusion as exists already with the word Unteroffizier.

Informally and with
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 the word is also used to describe a procedure or process with a specific purpose.
Informally, the " P vs. NP " question asks whether every optimization problem whose answers can be efficiently verified for correctness / optimality can be solved optimally with an efficient algorithm.
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.
In other words, L can be solved in polynomial time by an oracle machine with an oracle for H. Informally, we can think of an algorithm that can call such an oracle machine as a subroutine for solving H, and solves L in polynomial time, if the subroutine call takes only one step to compute.
Informally, the Fatou set of the function consists of values with the property that all nearby values behave similarly under repeated iteration of the function, and the Julia set consists of values such that an arbitrarily small perturbation can cause drastic changes in the sequence of iterated function values.
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, the algorithm constructs a finite state machine that resembles a trie with additional links between the various internal nodes.
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, in the tradition of the Afro-Brazilian syncretic religion Umbanda, Sebastian is often associated with Oxossi, especially in the state of Rio de Janeiro itself.
Informally, free abelian groups or formal sums may also be seen as signed multisets with elements in B.
Informally, dogs may be studied by those with no specific scientific training, such as publicists and authors, breeders, trainers, police dog handlers, animal communicators and others, through literature, history, and personal experience.
Informally, such an object can be thought of as an assemblage of one or more chunks of rubber ( cells ), each shaped like a convex polytope, which are glued to each other by their facets — possibly with much stretching and twisting.
Informally, a language L is in MA if for all strings in the language, there is a polynomial sized proof that Merlin can send Arthur to convince him of this fact with high probability, and for all strings not in the language there is no proof that convinces Arthur with high probability.
Informally stated, with certain technical assumptions, every representation of the Heisenberg group is equivalent to the position operators and momentum operators on R < sup > n </ sup >.
In the mathematical fields of linear algebra and functional analysis, the orthogonal complement of a subspace W of a vector space V equipped with a bilinear form B is the set W < sup >⊥</ sup > of all vectors in V that are orthogonal to every vector in W. Informally, it is called the perp, short for perpendicular complement.
Informally, flak jacket may refer to a ballistic vest, particularly Type III and above, which is reinforced with either steel, titanium, ceramic, or polyethylene plates.
Informally, there are city areas with colloquial labels.

Informally and property
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.
Informally, a topological property is a property of the space that can be expressed using open sets.
Informally, the term " graph invariant " is used for properties expressed quantitatively, while " property " usually refers to descriptive characterizations of graphs.

Informally and F
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, we can consider these products on the left hand side as being elements of the free group F =
Informally, one might say that the Dirac string carries away the " excess curvature " that would otherwise prevent F from being a closed form, as one has that everywhere except at the location of the monopole.

Informally and there
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 put, the idea behind the proof of the no-trade theorem is that if there is common knowledge about the structure of a market, then any bid or offer ( i. e. attempt to initiate a trade ) will reveal the bidder's private knowledge and will be incorporated into market prices even before anyone accepts the bid or offer, so no profit will result.

Informally and is
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, this is true because polynomial time algorithms are closed under composition.
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 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, Kajang is known as the " Satay Town ", and is famous among tourists and locals alike.
Informally, word formation rules form " new words " ( that is, new lexemes ), while inflection rules yield variant forms of the " same " word ( lexeme ).
Informally speaking, the prime number theorem states that if a random integer is selected in the range of zero to some large integer N, the probability that the selected integer is prime is about 1 / ln ( N ), where ln ( N ) is the natural logarithm of N. For example, among the positive integers up to and including N = 10 < sup > 3 </ sup > about one in seven numbers is prime, whereas up to and including N = 10 < sup > 10 </ sup > about one in 23 numbers is prime ( where ln ( 10 < sup > 3 </ sup >)= 6. 90775528. and ln ( 10 < sup > 10 </ sup >)= 23. 0258509 ).
Informally, he may have been known as " Dickon ", according to a sixteenth-century legend of a note, warning of treachery, that was sent to the Duke of Norfolk on the eve of Bosworth: " Jack of Norffolke be not to bolde ,/ For Dyckon thy maister is bought and solde ".
Informally, a permutation of a set of objects is an arrangement of those objects into a particular order.
Informally, a set of strategies is a Nash equilibrium if no player can do better by unilaterally changing his or her strategy.

0.406 seconds.