Meertens
Meertens is a Dutch patronymic surname (son of Meerten/Maarten). It may refer to: * Jacques Meertens (born 1948), Dutch clarinetist * Lambert Meertens (born 1944), Dutch computer scientist ** Bird–Meertens formalism, Meertens number * Piet Meertens (1899–1985), Dutch dialectologist and ethnologist ** Meertens Institute, research institute for Dutch language and culture See also * Mertens __NOTOC__ Mertens () is a surname of Flanders, Flemish origin, meaning "son of Merten" (Martin (name), Martin). It is the fifth most common name in Belgium with 18,518 people in 2008. Geographical distribution As of 2014, 43.4% of all known bearer ... {{surname Dutch patronymic surnames Surnames from given names ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Piet Meertens
Pieter Jacobus (Piet) Meertens (Middelburg (Zeeland), Middelburg, 6 September 1899 – Amstelveen, 28 October 1985) was a Dutch scholar of literature, dialects, and ethnology. He founded the institutes which later merged into the Meertens Instituut (a research institute operated by the Royal Netherlands Academy of Arts and Sciences), of which he was the director until 1965. Education Meertens attended the Stedelijk Gymnasium Middelburg, and studied Dutch in Utrecht. He was promoted in 1943 with a dissertation on literary life in Zeeland in the 16th and 17th centuries, under the direction of Cornelis de Vooys. Career After his studies, Meertens taught school for a few years. On 1 July 1930 he became secretary of the committee of dialects for the Royal Netherlands Academy of Arts and Sciences (KNAW); starting with only two assistants he built a system of documentation that employed two thousands correspondents throughout the country who reported on local dialects. In 1934 the KNAW ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Lambert Meertens
Lambert Guillaume Louis Théodore Meertens or L.G.L.T. Meertens (born 10 May 1944, in Amsterdam) is a Dutch computer scientist and professor. , he is a researcher at the Kestrel Institute, a nonprofit computer science research center in Palo Alto's Stanford Research Park. Life and career As a student at the Ignatius Gymnasium in Amsterdam, Meertens designed a computer with Kees Koster, a classmate. 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 International Federation for Information Processing (IFIP) Congress in Edinburgh for his computer-generated string quartet, Quartet No. 1 in C major for 2 violins, viola and violoncello, based on the first non- context-free affix grammar. The string quartet was published in 1968, as ''Mathematical Centre Report MR 96''. Meertens was one of the editors of the Revised ALGOL 68 Report. He was the originator and one of the designers of th ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Meertens Institute
The Meertens Institute (Dutch ''Meertens Instituut'') in Amsterdam Amsterdam ( , ; ; ) is the capital of the Netherlands, capital and Municipalities of the Netherlands, largest city of the Kingdom of the Netherlands. It has a population of 933,680 in June 2024 within the city proper, 1,457,018 in the City Re ... is a research institute which studies and documents language and culture in the Netherlands as well as Dutch language and culture throughout the world. The institute is part of the Royal Netherlands Academy of Arts and Sciences (''Koninklijke Nederlandse Akademie van Wetenschappen'' or KNAW). Its two departments are ''Ethnology and oral culture'', which studies and documents culture of everyday life in the Netherlands from an international, comparative, and historical perspective, and ''Language variation'', which studies and documents language, language variation and language change in the Netherlands, as well as Dutch languages in the world. History The instit ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Meertens Number
In number theory and mathematical logic, a Meertens number in a given number base b is a natural number that is its own Gödel number. It was named after Lambert Meertens by Richard S. Bird as a present during the celebration of his 25 years at the CWI, Amsterdam. Definition Let n be a natural number. We define the Meertens function for base b > 1 F_ : \mathbb \rightarrow \mathbb to be the following: :F_(n) = \prod_^ p_^. where k = \lfloor \log_ \rfloor + 1 is the number of digits in the number in base b, p_i is the i-th prime number (starting at 0), and :d_i = \frac is the value of each digit of the number. A natural number n is a Meertens number if it is a fixed point for F_, which occurs if F_(n) = n. This corresponds to a Gödel encoding. For example, the number 3020 in base b = 4 is a Meertens number, because :3020 = 2^3^5^7^. A natural number n is a sociable Meertens number if it is a periodic point for F_, where F_^k(n) = n for a positive integer k, and forms a ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Bird–Meertens Formalism
The Bird–Meertens formalism (BMF) is a calculus for deriving programs from program specifications (in a functional programming setting) by a process of equational reasoning. It was devised by Richard Bird and Lambert Meertens as part of their work within IFIP Working Group 2.1. It is sometimes referred to in publications as BMF, as a nod to Backus–Naur form. Facetiously it is also referred to as ''Squiggol'', as a nod to ALGOL, which was also in the remit of WG 2.1, and because of the "squiggly" symbols it uses. A less-used variant name, but actually the first one suggested, is ''SQUIGOL''. Martin and Nipkow provided automated support for Squiggol development proofs, using the Larch Prover. Basic examples and notations Map is a well-known second-order function that applies a given function to every element of a list; in BMF, it is written *: :f* _1,\dots,e_n= \ e_1,\dots,f\ e_n Likewise, reduce is a function that collapses a list into a single value by repeated appli ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Jacques Meertens
Jacques Meertens (born 16 April 1948) is a Dutch clarinetist. He was the principal clarinetist of the Royal Concertgebouw Orchestra from September 1990 until his retirement in April 2013. He plays on a German Reform- Boehm system clarinet. A native of Limburg, Meertens studied at the Conservatorium van Amsterdam with Bram de Wilde, who was principal clarinetist at the Concertgebouw Orchestra between 1940 and 1975. Meertens was clarinetist at the and in Haarlem Haarlem (; predecessor of ''Harlem'' in English language, English) is a List of cities in the Netherlands by province, city and Municipalities of the Netherlands, municipality in the Netherlands. It is the capital of the Provinces of the Nether ... before he joined the Concertgebouw Orchestra. [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Maarten
Maarten (IPA: �maːrtə(n) is a Dutch language male given name. It is a cognate to and the standardized Dutch form of Martin, as in for example Sint Maarten (named after Martin of Tours). People bearing the name include: * Maarten Altena (born 1943), Dutch composer and contrabassist * Maarten Arens (born 1972), Dutch judoka * Maarten Atmodikoro (born 1971), Dutch retired footballer * Maarten Baas (born 1978), Dutch furniture designer * Maarten Biesheuvel (1939–2020), Dutch writer of short stories and novellas * Maarten Boddaert (born 1989), Dutch footballer * Maarten Boudry (born 1984), Flemish philosopher and skeptic * Maarten Bouwknecht (born 1994), Dutch basketball player * Maarten Brzoskowski (born 1995), Dutch swimmer * Maarten J. M. Christenhusz (born 1976), Dutch botanist and plant photographer * Maarten de Bruijn (born 1965), Dutch engineer * Maarten de Jonge (born 1985), Dutch former racing cyclist * Maarten de Niet Gerritzoon (1904–1979), Dutch politician * Maa ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Mertens
__NOTOC__ Mertens () is a surname of Flanders, Flemish origin, meaning "son of Merten" (Martin (name), Martin). It is the fifth most common name in Belgium with 18,518 people in 2008. Geographical distribution As of 2014, 43.4% of all known bearers of the surname ''Mertens'' were residents of Germany (frequency 1:2,728), 34.8% of Belgium (1:487), 8.8% of the United States (1:60,847), 5.9% of the Netherlands (1:4,188), 1.7% of France (1:57,632) and 1.0% of Brazil (1:299,871). In Belgium, the frequency of the surname was higher than national average (1:487) only in one region: Flemish Region (1:367). In Germany, the frequency of the surname was higher than national average (1:2,728) in the following regions: * 1. North Rhine-Westphalia (1:970) * 2. Saxony-Anhalt (1:1,361) In the Netherlands, the frequency of the surname was higher than national average (1:4,188) in the following provinces:. * 1. Limburg (Netherlands), Limburg (1:959) * 2. North Brabant (1:2,002) Noble House of Me ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Patronymic
A patronymic, or patronym, is a component of a personal name based on the given name of one's father, grandfather (more specifically an avonymic), or an earlier male ancestor. It is the male equivalent of a matronymic. Patronymics are used, by custom or official policy, in many countries worldwide, although elsewhere their use has been replaced by or transformed into patronymic surnames. Examples of such transformations include common English surnames such as Johnson (surname), Johnson (son of John). Origins of terms The usual noun and adjective in English is ''patronymic'', but as a noun this exists in free variation alongside ''patronym''. The first part of the word ''patronym'' comes from Greek language, Greek πατήρ ''patēr'' 'father' (Genitive case, GEN πατρός ''patros'' whence the combining form πατρο- ''patro''-); the second part comes from Greek ὄνυμα ''onyma'', a variant form of ὄνομα ''onoma'' 'name'. In the form ''patronymic'', this stand ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Dutch Language
Dutch ( ) is a West Germanic languages, West Germanic language of the Indo-European language family, spoken by about 25 million people as a first language and 5 million as a second language and is the List of languages by total number of speakers, third most spoken Germanic language. In Europe, Dutch is the native language of most of the population of the Netherlands and Flanders (which includes 60% of the population of Belgium). "1% of the EU population claims to speak Dutch well enough in order to have a conversation." (page 153). Dutch was one of the official languages of South Africa until 1925, when it was replaced by Afrikaans, a separate but partially Mutual intelligibility, mutually intelligible daughter language of Dutch. Afrikaans, depending on the definition used, may be considered a sister language, spoken, to some degree, by at least 16 million people, mainly in South Africa and Namibia, and evolving from Cape Dutch dialects. In South America, Dutch is the native l ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Dutch Patronymic Surnames
Dutch or Nederlands commonly refers to: * Something of, from, or related to the Netherlands ** Dutch people as an ethnic group () ** Dutch nationality law, history and regulations of Dutch citizenship () ** Dutch language () * In specific terms, it reflects the Kingdom of the Netherlands ** Dutch Caribbean ** Netherlands Antilles Dutch may also refer to: Places * Dutch, West Virginia, a community in the United States * Pennsylvania Dutch Country People Ethnic groups * Pennsylvania Dutch, a group of early German immigrants to Pennsylvania Specific people * Dutch (nickname), a list of people * Johnny Dutch (born 1989), American hurdler and field athlete * Dutch Schultz (1902–1935), American mobster born Arthur Simon Flegenheimer * Dutch Mantel, ring name of American retired professional wrestler Wayne Maurice Keown (born 1949) * Dutch Savage, ring name of professional wrestler and promoter Frank Stewart (1935–2013) Arts, entertainment, and media Fictional characters * ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |