Help


[permalink] [id link]
+
Page "Kleene's recursion theorem" ¶ 12
from Wikipedia
Edit
Promote Demote Fragment Fix

Some Related Sentences

Given and natural
Given the small population of the region ( compared with the Central Canadian provinces or the New England states ), the regional economy is a net exporter of natural resources, manufactured goods, and services.
Given that a natural language such as English contains, at any given time, a finite number of words, any comprehensive list of definitions must either be circular or rely upon primitive notions.
Given two groups G and H and a group homomorphism f: G → H, let K be a normal subgroup in G and φ the natural surjective homomorphism G → G / K ( where G / K is a quotient group ).
Given that the coiled texture is the natural state of some African Americans ' hair, or perceived as being more " African ", this simple style is now often seen as a sign of self-acceptance and an affirmation that the beauty norms of the ( eurocentric ) dominant culture are not absolute.
Given an arbitrary group G, there is a related profinite group G < sup >^</ sup >, the profinite completion of G. It is defined as the inverse limit of the groups G / N, where N runs through the normal subgroups in G of finite index ( these normal subgroups are partially ordered by inclusion, which translates into an inverse system of natural homomorphisms between the quotients ).
Given that the authors were the primary developers of the Unix operating system, it is natural that QED had a strong influence on the classic UNIX text editors ed, sed and their descendants such as ex and sam.
Given a natural transformation Φ from h < sup > A </ sup > to F, the corresponding element of F ( A ) is.
Given a morphism f: B → A the associated natural transformation is denoted Hom ( f ,–).
Given a diagram F: J → C ( thought of as an object in C < sup > J </ sup >), a natural transformation ψ: Δ ( N ) → F ( which is just a morphism in the category C < sup > J </ sup >) is the same thing as a cone from N to F. The components of ψ are the morphisms ψ < sub > X </ sub >: N → F ( X ).
Given his socialist agenda in Egypt, the Ba ' ath should have been his natural ally, but Nasser was hesitant to share power.
Given the reputed humorous character of Valencians, it was natural that they began to burn figurines depicting people and events of the past year.
Given a stochastic process, the natural filtration for ( or induced by ) this process is the filtration where is generated by all values of up to time s
Given this natural tendency to glide forward, terza rima is especially well-suited to narration and description ".
Given this, it is quite natural and convenient to designate a general sequence a < sub > n </ sub > by by the formal expression, even though the latter is not an expression formed by the operations of addition and multiplication defined above ( from which only finite sums can be constructed ).
Given a series with values in a normed abelian group G and a permutation σ of the natural numbers, one builds a new series, said to be a rearrangement of the original series.
Given its central location, Athlone is a natural hub for transport, with frequent bus and rail schedules.
Given the finite supply of natural resources at any specific cost and location, agriculture that is inefficient or damaging to needed resources may eventually exhaust the available resources or the ability to afford and acquire them.
Given this difference, it is necessary that logistic regression take the natural logarithm of the odds ( referred to as the logit or log-odds ) to create a continuous criterion.
Given that the logit is not generally interpreted and that the inverse of the natural logarithm, the exponential function of the logit is generally interpreted instead, it is also helpful to examine this function ( denoted: ).
Given a presheaf, a natural question to ask is to what extent its sections over an open set U are specified by their restrictions to smaller open sets V < sub > i </ sub > of an open cover of U. A presheaf is separated if its sections are " locally determined ": whenever two sections over U coincide when restricted to each of V < sub > i </ sub >, the two sections are identical.
Given that some countries now ban docking, breeders are again attempting to select dogs with the genes for natural bob tails.
Given such a G-module M, it is natural to consider the subgroup of G-invariant elements:
Given its native distribution the species is also a potential natural vagrant to Western Europe and there have been records in areas such as Cornwall and the Isles of Scilly which some observers consider may relate to wild birds ; however, given the Wood Duck's popularity in captivity it would be extremely difficult to prove their provenance one way or another.
* Given a partial function f from the natural numbers into the natural numbers, f is a partial recursive function if and only if the graph of f, that is, the set of all pairs such that f ( x ) is defined, is recursively enumerable.

Given and number
* Given an algebraic number, there is a unique monic polynomial ( with rational coefficients ) of least degree that has the number as a root.
Given the large number of U. S. military personnel and their dependents residing in Europe, it was expected that over 7 % of donors would be deferred due to the policy.
Given is each element's name, atomic number, year of first report, name of the discoverer, and some notes related to the discovery.
The knapsack problem or rucksack problem is a problem in combinatorial optimization: Given a set of items, each with a weight and a value, determine the number of each item to include in a collection so that the total weight is less than or equal to a given limit and the total value is as large as possible.
Given infinite space, there would, in fact, be an infinite number of Hubble volumes identical to ours in the universe.
Given the increasing number of scientists who study the nervous system, several prominent neuroscience organizations have been formed to provide a forum to all neuroscientists and educators.
: Given any positive number ε, there is a sequence
Given the number of homes, it seems likely that no more than fifty people lived in Skara Brae at any given time.
Given metric spaces ( X, d < sub > 1 </ sub >) and ( Y, d < sub > 2 </ sub >), a function f: X → Y is called uniformly continuous if for every real number ε > 0 there exists δ > 0 such that for every x, y ∈ X with d < sub > 1 </ sub >( x, y ) < δ, we have that d < sub > 2 </ sub >( f ( x ), f ( y )) < ε.
Given that detecting a price cut becomes harder as the number of firms increases, the bigger are the gains from price cutting.
Given the ( period, cash flow ) pairs (, ) where is the total number of periods, the net present value is given by:
* Aggregate signature-a signature scheme that supports aggregation: Given n signatures on n messages from n users, it is possible to aggregate all these signatures into a single signature whose size is constant in the number of users.
Given the ( period, cash flow ) pairs (, ) where is a positive integer, the total number of periods, and the net present value, the internal rate of return is given by in:
( Please note that Japan has a guideline of a limit of 1 % of GDP on defense spending, however, Japan defines a number of activities as non-defense spending ) Given these circumstances, some have viewed Article 9 as increasingly irrelevant.
Given the rules of any two-person game with a finite number of positions, one can always trivially construct a minimax algorithm that would exhaustively traverse the game tree.
Given that the Masoretes would not alter the sacred consonantal text, the Kethiv-Qere notes were a way of " correcting " or commenting on the text for any number of reasons ( grammatical, theological, aesthetic, etc.
Given the number of unpleasant, harmful or even fatal consequences of coming out in world societies, it is questionable to call being closeted a choice.
Given any input, GEN generates an infinite number of candidates, or possible realizations of that input.
Given the number of times tea is poured in a meal, the tapping is a timesaver in loud restaurants or lively company, as an individual being served might be speaking to someone else or have food in their mouth.
Given an input consisting of any number of bytes, it produces as output a single byte that is strongly dependent on every byte of the input.
Given a Diophantine equation with any number of unknown quantities and with rational integral numerical coefficients: To devise a process according to which it can be determined in a finite number of operations whether the equation is solvable in rational integers.
Given the fact that the Lakeport area has an economy that is based somewhat on agricultural activities occurring in the Big Valley and Scotts Valley area which involve the growing and harvesting of food and nut crops as well as the increasing wine industry, there are a significant number of transient and seasonal farm workers.

1.090 seconds.