[permalink] [id link]
:: Boone-Rogers Theorem: There is no uniform partial algorithm which solves the word problem in all finitely presented groups with solvable word problem.
from
Wikipedia
Some Related Sentences
:: and Theorem
:: Theorem ( Lefschetz theorem on ( 1, 1 )- classes ) Any element of H < sup > 2 </ sup >( X, Z ) ∩ H < sup > 1, 1 </ sup >( X ) is the cohomology class of a divisor on X.
:: and There
:: There arrived ( at the Diet of Quedlinburg ) also, among many other princes: Mieszko, Mściwoj and Boleslav and promised to support him under oath as the king and ruler.
:: Captain Aubrey: " There, I have you !... Do you not know that in the Service, one must always choose the lesser of two weevils?
:: Example: There is no inconsistency between Mr. Coristine's defense theories and therefore no prejudice attends the affirmative defense.
There have been various re-implementations of the original binary L4 kernel interface ( ABI ) and its higher level successors, including L4Ka :: Pistachio ( Uni Karlsruhe ), L4 / MIPS ( UNSW ) and Fiasco ( TU Dresden ).
There are also partnerships with companies such as Cycling 74 ( Max / MSP ) and Flux :: ( Ircam Tools ) for the development of proprietary software.
:: 30 .- There shall be a Governor-General of Belize who shall be a citizen of Belize appointed by Her Majesty and shall hold office during Her Majesty's pleasure and who shall be Her Majesty's representative in Belize.
:: There is a certain kind of humility in hell which is one of the worst things in hell, and which is infinitely far from the humility of the saints, which is peace.
:: and is
:: One consequence is that people are more cooperative if it is more likely that individuals will interact again in the future.
Some pairs of consonants like p :: b, t :: d are sometimes called fortis and lenis, but this is a phonological rather than phonetic distinction.
:: Christ is raised with his own body: " See my hands and my feet, that it is I myself "; but he did not return to an earthly life.
:: Let no-one deceive you by any means, for that day will not come unless the falling away comes first, and the man of sin is revealed, the son of perdition, who opposes and exalts himself above all that is called God or that is worshiped, so that he sits as God in the temple of God, showing himself that he is God. Thess 2: 3-4
:: Life, Truth, and Love constitute the triune Person called God, — that is, the triply divine Principle, Love.
Some of these perform bootstrapping tasks, such as ExtUtils :: MakeMaker, which is used for building and installing other extension modules ; others, like CGI. pm, are merely commonly used.
CPAN module distributions usually have names in the form of CGI-Application-3. 1 ( where the :: used in the module's name has been replaced with a dash, and the version number has been appended to the name ), but this is only a convention ; many prominent distributions break the convention, especially those that contain multiple modules.
The Acme :: hierarchy is reserved for joke modules ; for instance, Acme :: Don't adds a function that doesn't run the code given to it ( to complement the built-in, which does ).
Even outside the Acme :: hierarchy, some modules are still written largely for amusement ; one example is Lingua :: Romana :: Perligata, which can be used to write Perl programs in a subset of Latin.
0.604 seconds.