Meertens number

Meertens number

In mathematical logic, a Meertens number is an integer that is its own Gödel number.

The Gödel encoding of a decimal number with n digits is the product of the first n primes raised to the values of their corresponding digits in the sequence.

The only Meertens number that has been found is 81312000 = 28315371112130170190.

It was "given" to Lambert Meertens by Richard S. Bird as a present during the celebration of his 25 years at the CWI, Amsterdam. [1]

References

  1. ^ Richard S. Bird (1998). "Meertens number". Journal of Functional Programming 8 (1): 83–88. doi:10.1017/S0956796897002931. 

Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать курсовую

Look at other dictionaries:

  • Meertens — is a Dutch patronymic surname (son of Meerten/Maarten). It may refer to: Jacques Meertens, Dutch clarinetist Lambert Meertens (b. 1944), Dutch computer scientist Meertens number Meertens Institute, research institute for Dutch language and… …   Wikipedia

  • Lambert Meertens — (born 1944) is a Dutch computer scientist and professor.In the 1960s, Meertens applied affix grammars to the description and composition of music, and obtained a special prize from the jury at the 1968 IFIP Congress in Edinburgh for his computer… …   Wikipedia

  • List of people by Erdős number — Paul Erdős was one of the most prolific writers of mathematical papers. He collaborated a great deal, having 511 joint authors, a number of whom also have many collaborators. The Erdős number measures the collaborative distance between an author… …   Wikipedia

  • Dutch name — See also: List of Dutch family names and List of most common surnames Netherlands. Dutch names consist of one or more given names and a surname. The given name, as in English, is usually gender specific. Contents 1 Dutch given names 1.1 Dutch… …   Wikipedia

  • Dutch units of measurement — Relief on the gable of De Waag at the Markt in Gouda The Dutch units of measurement used today are those of the metric system. Before the 19th century, a wide variety of different weights and measures were used by the various Dutch towns and… …   Wikipedia

  • One of Our Aircraft Is Missing — theatrical poster Directed by Michael Powell Emeric Pressburger …   Wikipedia

  • Lady of Stavoren — The Lady of Stavoren (Dutch: Vrouwtje van Stavoren , Frisian: Frouke fan Starum ) is a folk tale from the Netherlands which originated in the 16th century.The tale has inspired songs, plays, operas and films. Since 1969, a statue of the fabled… …   Wikipedia

  • Tragedy of the commons — Cows on Selsley Common. The tragedy of the commons is one way of accounting for overexploitation. The tragedy of the commons is a dilemma arising from the situation in which multiple individuals, acting independently and rationally consulting… …   Wikipedia

  • Dutch (ethnic group) — Infobox Ethnic group group=The Dutch (Nederlanders) Dutch people talking on the street poptime= 20 million 31.5 million(Blue → Dutch born) (Green → Reported ancestry) region1 = flagcountry|Netherlands pop1 = 13,186,600 (Ethnic Dutch)… …   Wikipedia

  • List of compositions by Juan María Solare — This is a fairly complete list of works by composer and pianist Juan María Solare.tage works* Veinticinco de agosto, 1983 August 25 1983. (1992/1993) * Diez Estudios Escénicos [Ten scenic Etudes] (Cologne Mollina, June July 1996) * Trio for One… …   Wikipedia

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”