Like his creation the Necronomicon, Alhazred is often referenced in works that are not generally considered part of the Cthulhu Mythos, either as a subtle nod to Lovecraft or to create a connection to his world.

Another early reference to Amber was Pytheas ( 330 BC ) whose work " On the Ocean " is lost, but was referenced by Pliny.

It is referenced in the 2006 film Amazing Grace, which highlights Newton's influence on the leading British abolitionist William Wilberforce.

* Obelix is referenced in The King Blues ' 2008 single " My Boulder ".

In the Book of Jeremiah, it is referenced by Jeremiah, who, speaking in the days of Josiah ( Jer.

* In the episode " 11: 59 " of Star Trek: Voyager's fifth season ( original air date: May 5, 1999 ), Earth's first self-contained ecosystem known as " The Millennium Gate " is referenced and described as one kilometer tall and having begun construction in 2001.

This is described by Donald E. Knuth and can be referenced from here The Art of Computer Programming.

In this format, the sprite is referenced to one of 8 palettes, where each palette holds 3 assignable colors.

* The title is referenced in Marvel One-Shots A Funny Thing Happened on the Way to Thor's Hammer and is included on the Captain America: The First Avenger Blu-ray Disc and DVD releases.

Cölln on the Fischerinsel is first mentioned in a 1237 document, and Berlin, across the Spree in what is now called the Nikolaiviertel, is referenced in a document from 1244.

The poem is referenced in the Super Nintendo Entertainment System game EarthBound, where a weapon is named the Casey Bat, which is the strongest weapon in the game, but will only hit 25 % of the time.

It is convenient to identify a reference configuration or initial condition which all subsequent configurations are referenced from.

The " Birth " referenced is that of Jesus.

It is also of cultural significance, as it is referenced in several songs and literature, including the Martin Fierro.

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.

Typically, these include all the objects referenced from anywhere in the call stack ( that is, all local variables and parameters in the functions currently being invoked ), and any global variables.

# Anything referenced from a reachable object is itself reachable ; more formally, reachability is a transitive closure.

The book concerned with the Negro's role in an urban society is rare indeed ; ;

This is brought out in the next to last chapter of the book, `` A Hero's Funeral '', written in the form of an impassioned prose poem.

Properly used, the present book is an excellent instrument of enlightenment.

His nationalism was not a new characteristic, but its self-consciousness, even its self-satisfaction, is more obvious in a book that stretches over the long reach of English history.

I know you are very busy now, you are writing a great deal & your book is coming out, isn't it??

Understanding, as he did, the difficulty of the art of poetry, and believing that the `` only technical criticism worth having in poetry is that of poets '', he felt obliged to insist upon his duty to be hard to please when it came to the review of a book of verse.

In his book Civilization And Ethics Albert Schweitzer faces the moral problems which arise when moral law is recognized in business life, for example.

One such is Abraham Meyer, the writer of a recent book, Speaking Of Man.

My last gift to him is complete silence until the book is out and the first heated discussion dies down.

Since the great flood of these dystopias has appeared only in the last twelve years, it seems fairly reasonable to assume that the chief impetus was the 1949 publication of Nineteen Eighty-Four, an assumption which is supported by the frequent echoes of such details as Room 101, along with education by conditioning from Brave New World, a book to which science-fiction writers may well have returned with new interest after reading the more powerful Orwell dystopia.

The work as it stands is not the entire book that Malraux wrote at that time -- it is only the first section of a three-part novel called La Lutte avec l'Ange ; ;

If we are to believe the list of titles printed in Malraux's latest book, La Metamorphose Des Dieux, Vol. 1 ( ( 1957 ), he is still engaged in writing a large novel under his original title.

This magnificent but greatly underestimated book, which bodies forth the very form and pressure of its time as no other comparable creation, has suffered severely from having been written about an historical event -- the Spanish Civil War -- that is still capable of fanning the smoldering fires of old political feuds.

His first book, Before The Brave ( 1936 ), is a collection of poems that are almost all Communistic, but after publication of this book he rejected Communism, and advocated a pacifistic anarchy, though retaining his revolutionary idiom.

In his recent book, Hurray For Anything ( 1957 ), one of the most important short poems -- and it is the title poem for one of the long jazz arrangements -- is written for recital with jazz.

Nowadays, more and more, all he needs is someone else's book.

Whether in his forthcoming book C. P. Snow commits the errors of judgment and of fact with which your heavily autobiographical critic charged him is important.

`` I have read an advance copy of the Snow book which is to be titled, ' Science And Government.

Representatives of Harvard University Press, which is publishing the book this month of April, recognize and freely acknowledge that they invited such reaction by allowing Life magazine to print an excerpt from the book in advance of the book's publication date.

`` Although it is not the best of which he is capable '', said Shelley as he closed the book, `` it is still poetry of a high order ''.

Assuming ZF is consistent, Kurt Gödel showed that the negation of the axiom of choice is not a theorem of ZF by constructing an inner model ( the constructible universe ) which satisfies ZFC and thus showing that ZFC is consistent.

In class theories such as Von Neumann – Bernays – Gödel set theory and Morse – Kelley set theory, there is a possible axiom called the axiom of global choice which is stronger than the axiom of choice for sets because it also applies to proper classes.

Basic theories, such as arithmetic, real analysis and complex analysis are often introduced non-axiomatically, but implicitly or explicitly there is generally an assumption that the axioms being used are the axioms of Zermelo – Fraenkel set theory with choice, abbreviated ZFC, or some very similar system of axiomatic set theory like Von Neumann – Bernays – Gödel set theory, a conservative extension of ZFC.

The contributions of Kurt Gödel in 1940 and Paul Cohen in 1963 showed that the hypothesis can neither be disproved nor be proved using the axioms of Zermelo – Fraenkel set theory, the standard foundation of modern mathematics, provided ZF set theory is consistent.

Church subsequently modified his methods to include use of Herbrand – Gödel recursion and then proved ( 1936 ) that the Entscheidungsproblem is unsolvable: There is no generalized " effective calculation " ( method, algorithm ) that can determine whether or not a formula in either the recursive-or λ-calculus is " valid " ( more precisely: no method to show that a well formed formula has a " normal form ").

For example, if we can enumerate all such definable numbers by the Gödel numbers of their defining formulas then we can use Cantor's diagonal argument to find a particular real that is not first-order definable in the same language.

He is best known for his book Gödel, Escher, Bach: an Eternal Golden Braid, first published in 1979.

Hofstadter's thesis about consciousness, first expressed in Gödel, Escher, Bach ( GEB ) but also present in several of his later books, is that it is an emergent consequence of seething lower-level activity in the brain.

Kurt Gödel is known to have read Cartesian Meditations.

A typical description of the problem is given in the book Gödel, Escher, Bach, by Douglas Hofstadter

Typical of these references is Gödel, Escher, Bach by Douglas Hofstadter, which accords the paradox a prominent place in a discussion of self-reference.

Exact solutions of great theoretical interest include the Gödel universe ( which opens up the intriguing possibility of time travel in curved spacetimes ), the Taub-NUT solution ( a model universe that is homogeneous, but anisotropic ), and Anti-de Sitter space ( which has recently come to prominence in the context of what is called the Maldacena conjecture ).

Gödel's ontological proof is a formal argument for God's existence by the mathematician Kurt Gödel.

" A more elaborate version was given by Gottfried Leibniz ( 1646 CE to 1716 CE ); this is the version that Gödel studied and attempted to clarify with his ontological argument.

Gödel is not known to have told anyone about his work on the proof until 1970, when he thought he was dying.

In August 1970, Gödel told Oskar Morgenstern that he was " satisfied " with the proof, but Morgenstern recorded in his diary entry for 29 August 1970, that Gödel would not publish because he was afraid that others might think " that he actually believes in God, whereas he is only engaged in a logical investigation ( that is, in showing that such a proof with classical assumptions ( completeness, etc.