検索結果- 英語 - 多言語
検索内容:
Bates numberings
plural of Bates numbering
Bates numbering
A sequence of Bates numbers in a particular set of documents. / The action of creating or assigning such a sequence for identification.
Bates numbering
present participle of Bates number
Gödel numberings
plural of Gödel numbering
Gödel numbering
(logic) A function assigning a Gödel number to each well-formed formula of some formal language.
triangular number
(mathematics) Any integer that is the sum of n natural numbers from 1 to n.
figurate numbers
plural of figurate number
regnal number
An ordinal number that distinguishes a monarch from others of the same name.
Gödel number
(logic) A number uniquely assigned to each symbol, and to each well-formed formula of some formal language.
Proth number
(number theory) Any number of the form k·2ⁿ + 1, where k is odd, n is a positive integer, and 2ⁿ > k.