Talk:De Bruijn index
A fact from De Bruijn index appeared on Wikipedia's Main Page in the Did you know column on 3 April 2007. The text of the entry was as follows:
|
This article is rated Start-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | |||||||||||
|
Core "Formal definition" section has to be rewritten
edit- Contradiction:*
Acoording to current version:
(λ λ 4 2 (λ 1 3)) (λ 5 1) = λ 3 (λ 6 1) (λ 1 (λ 7 1))
(λx. λy. z x (λu. u x)) (λx. w x) = (λy. z (λx. w x) (λu. u (λx. w x)))
but (λy. z (λx. w x) (λu. u (λx. w x))) could not be written as λ 3 (λ 6 1) (λ 1 (λ 7 1)), but as λ 3 (λ 6 1) (λ 1 (λ 6 1))
- Term "ith free variable" is unclear but crucial to understanding of substitution process.
- Same for M[1.1[s'].s[s'].3[s']...]. —Preceding unsigned comment added by 46.146.233.123 (talk) 15:30, 30 January 2011 (UTC)
- I think you're mistaken. Here's some ASCII art to help you out:
,-----+ ,---+ ,-+ ,---+ λ λ λ λ λ λ 3 (λ 6 1) (λ 1 (λ 7 1)) \____________/____________/
Improper template, but more--improper capitalization throughout article as well
editDe Bruijn should always have an initial capital D when it starts a sentence, just like anything else. We don't capitalize copper all the time, but we do when it starts a sentence. And our Wikipedia article is at "Copper", with no "lowercase" template. We don't capitalize the newton all the time, but we do when it starts a sentence. And our Wikipedia article is at "Newton", with no "lowercase" template. We don't capitalize "heat index", but our article is at Heat index, with no "lowercase" template.
And it is so used at the start of a sentence in this article. That alone is enough to make the lowercase template inappropriate for this article.
But in this case it is also much more than that. De Bruin should start with a D when it starts a sentence, but also it should be De Bruin with a capital D any time this surname is not preceded by a given name or a title.
See, for example, United States Government Printing Office Style Manual, Chapter 3, Capitalization rules:[1]
- 3.13. In foreign names such particles as d', da, de, della, den, du, van, and von are capitalized unless preceded by a forename or title. Individual usage, if ascertainable, should be followed.
- Da Ponte; Cardinal da Ponte
- Den Uyl; Johannes den Uyl; Prime Minister den Uyl
- Du Pont; E.I. du Pont de Nemours & Co.
- Van Rensselaer; Stephen van Rensselaer
- Von Braun; Wernher von Braun
- but d'Orbigny; Alcide d'Orbigny; de la Madrid; Miguel de la Madrid
Need further explanation of M[1.1[s'].s[s'].3[s']...]
editCould someone please explain what the notation in the subject, which was copied from the article right after:
The rules for the application are as follows:
means?
Thanks very much.
How to bind free variables.
editWe should probably have a section on how to bind free variables. If no one is opposed, I will add it in.TheKing44 (talk) 15:46, 19 December 2018 (UTC)
You are invited to join the discussion at Wikipedia talk:WikiProject Mathematics #De Bruijn index and De Bruijn notation. Airbornemihir (talk) 11:28, 14 October 2019 (UTC)
- Now rolled off that page. Permanent (2019-10-14): De Bruijn index and De Bruijn notation
- --Mortense (talk) 23:27, 13 December 2022 (UTC)
"de Bruijn index" vs. "De Bruijn index"
editWhy is "d" capitalised when it isn't in the original name (Nicolaas Govert de Bruijn)?
It isn't capitalised in de Bruijn sequence.
It was also addressed in Gene Nygaard's entry from 2008.