definitions of a time-constructible function. In the first definition, a function f {\displaystyle f} is called time-constructible if there exists a Turing...
6 KB (918 words) - 01:32, 10 March 2025
is constructible if any root of the nth cyclotomic polynomial is constructible. Restating the Gauss–Wantzel theorem: A regular n-gon is constructible with...
16 KB (2,194 words) - 13:18, 19 May 2025
coordinate system, a point is constructible if and only if its Cartesian coordinates are both constructible numbers. Constructible numbers and points have also...
33 KB (4,921 words) - 20:46, 11 June 2025
In mathematics, in set theory, the constructible universe (or Gödel's constructible universe), denoted by L , {\displaystyle L,} is a particular class...
32 KB (6,103 words) - 15:18, 3 May 2025
The axiom of constructibility is a possible axiom for set theory in mathematics that asserts that every set is constructible. The axiom is usually written...
8 KB (1,064 words) - 09:57, 4 February 2025
B over A Constructible universe, Kurt Gödel's model L of set theory, constructed by transfinite recursion Constructible function, a function whose values...
1 KB (225 words) - 20:35, 11 April 2019
assumed. □ The above theorem implies the necessity of the space-constructible function assumption in the space hierarchy theorem. L = DSPACE(O(log n))...
7 KB (1,047 words) - 07:21, 26 April 2023
notion of a time-constructible function. A function f : N → N {\displaystyle f:\mathbb {N} \rightarrow \mathbb {N} } is time-constructible if there exists...
17 KB (2,511 words) - 13:43, 5 June 2025
common functions that we work with are space-constructible, including polynomials, exponents, and logarithms. For every space-constructible function f :...
16 KB (2,784 words) - 01:28, 10 March 2025
mathematics, a function from a set X to a set Y assigns to each element of X exactly one element of Y. The set X is called the domain of the function and the...
76 KB (11,410 words) - 20:15, 22 May 2025
sorted array sorted list sort in-place sort merge soundex space-constructible function spanning tree sparse graph sparse matrix sparsification sparsity...
35 KB (3,135 words) - 18:46, 6 May 2025
mathematics, the trigonometric functions (also called circular functions, angle functions or goniometric functions) are real functions which relate an angle of...
77 KB (10,740 words) - 23:12, 14 June 2025
mathematics, the gamma function (represented by Γ, capital Greek letter gamma) is the most common extension of the factorial function to complex numbers....
90 KB (13,517 words) - 14:18, 9 June 2025
NTIME is also related to DSPACE in the following way. For any time constructible function t(n), we have N T I M E ( t ( n ) ) ⊆ D S P A C E ( t ( n ) ) {\displaystyle...
2 KB (414 words) - 18:54, 19 December 2024
A hash function is any function that can be used to map data of arbitrary size to fixed-size values, though there are some hash functions that support...
50 KB (7,455 words) - 21:00, 27 May 2025
complexity functions, then f + g, fg, and 2f are also proper complexity functions. Similar notions include honest functions, space-constructible functions, and...
956 bytes (107 words) - 03:16, 6 April 2022
Definable real number (section Constructible numbers)
are constructible, and all constructible numbers are algebraic. There are numbers such as the cube root of 2 which are algebraic but not constructible. The...
11 KB (1,502 words) - 02:55, 9 April 2024
Aleph number (redirect from Aleph function)
all prime numbers, the set of all rational numbers, the set of all constructible numbers (in the geometric sense), the set of all algebraic numbers,...
17 KB (2,453 words) - 23:44, 20 June 2025
In algebraic geometry, the Behrend function of a scheme X, introduced by Kai Behrend, is a constructible function ν X : X → Z {\displaystyle \nu _{X}:X\to...
1 KB (179 words) - 02:17, 24 April 2024
optimization and decision theory, a loss function or cost function (sometimes also called an error function) is a function that maps an event or values of one...
21 KB (2,800 words) - 01:13, 17 April 2025
In quantum physics, a wave function (or wavefunction) is a mathematical description of the quantum state of an isolated quantum system. The most common...
99 KB (13,587 words) - 10:15, 17 June 2025
cardinals that cannot exist in the constructible universe (L) of any model of set theory. Nevertheless, the constructible universe contains all the ordinal...
8 KB (1,260 words) - 13:02, 3 October 2024
Field (mathematics) (section Constructible numbers)
using the field of constructible numbers. Real constructible numbers are, by definition, lengths of line segments that can be constructed from the points...
87 KB (10,305 words) - 21:38, 10 June 2025
mathematical analysis, the Dirac delta function (or δ distribution), also known as the unit impulse, is a generalized function on the real numbers, whose value...
96 KB (14,230 words) - 16:33, 16 June 2025
The function assigning to α {\displaystyle \alpha } the α {\displaystyle \alpha } th level L α {\displaystyle L_{\alpha }} of Godel's constructible hierarchy...
5 KB (564 words) - 06:34, 24 December 2022
formula 7.2) extended the formula to constructible sheaves over a curve (Raynaud 1965). Suppose that F is a constructible sheaf over a genus g smooth projective...
3 KB (271 words) - 02:05, 14 January 2021
In mathematics, the inverse function of a function f (also called the inverse of f) is a function that undoes the operation of f. The inverse of f exists...
43 KB (5,224 words) - 09:30, 6 June 2025
language constructs, not functions. So while (true) is a language construct, while add(10) is a function call. In PHP print is a language construct. <?php...
2 KB (186 words) - 22:03, 7 July 2024
cumulative distribution function (CDF) of a real-valued random variable X {\displaystyle X} , or just distribution function of X {\displaystyle X} ,...
26 KB (3,993 words) - 17:49, 18 April 2025
In mathematics, theta functions are special functions of several complex variables. They show up in many topics, including Abelian varieties, moduli spaces...
70 KB (14,667 words) - 23:32, 8 June 2025