• 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
  • 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
  • Thumbnail for Constructible polygon
    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
  • Thumbnail for Constructible number
    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,922 words) - 19:45, 28 June 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) - 19:30, 6 July 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
  • 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
  • assumed. □ The above theorem implies the necessity of the space-constructible function assumption in the space hierarchy theorem. L = DSPACE(O(log n))...
    8 KB (1,239 words) - 05:25, 28 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
  • 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
  • Thumbnail for Gamma function
    The gamma function then is defined in the complex plane as the analytic continuation of this integral function: it is a meromorphic function which is holomorphic...
    90 KB (13,547 words) - 17:59, 24 June 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
  • Thumbnail for Dirac delta function
    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,279 words) - 23:16, 6 July 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
  • Thumbnail for Loss function
    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) - 06:57, 24 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
  • Thumbnail for Wave function
    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,584 words) - 18:24, 21 June 2025
  • Thumbnail for Cumulative distribution function
    cumulative distribution function (CDF) of a real-valued random variable X {\displaystyle X} , or just distribution function of X {\displaystyle X} ,...
    26 KB (4,110 words) - 15:38, 29 June 2025
  • Thumbnail for Riemann zeta function
    The Riemann zeta function or Euler–Riemann zeta function, denoted by the Greek letter ζ (zeta), is a mathematical function of a complex variable defined...
    74 KB (10,718 words) - 01:21, 7 July 2025
  • Thumbnail for Aleph number
    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) - 10:45, 21 June 2025
  • Thumbnail for Window function
    processing and statistics, a window function (also known as an apodization function or tapering function) is a mathematical function that is zero-valued outside...
    74 KB (8,875 words) - 04:15, 25 June 2025
  • Thumbnail for Hash function
    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) - 01:15, 2 July 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
  • Thumbnail for Trigonometric functions
    mathematics, the trigonometric functions (also called circular functions, angle functions or goniometric functions) are real functions which relate an angle of...
    77 KB (10,653 words) - 18:24, 2 July 2025
  • Thumbnail for Green's function
    In mathematics, a Green's function (or Green function) is the impulse response of an inhomogeneous linear differential operator defined on a domain with...
    43 KB (5,810 words) - 23:26, 15 June 2025
  • Thumbnail for Logarithm
    of x to base b, written logb x, so log10 1000 = 3. As a single-variable function, the logarithm to base b is the inverse of exponentiation with base b....
    98 KB (11,674 words) - 13:55, 4 July 2025
  • Thumbnail for Busy beaver
    Retrieved 7 July 2022. Green recursively constructs machines for any number of states and provides the recursive function that computes their score (computes...
    67 KB (7,988 words) - 19:44, 6 July 2025
  • 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
  • set theory (with or without the axiom of choice), by developing the constructible universe of set theory in which the continuum hypothesis must hold....
    69 KB (8,370 words) - 19:12, 10 June 2025
  • as λ-calculus) is a formal system for expressing computation based on function abstraction and application using variable binding and substitution. Untyped...
    90 KB (12,117 words) - 02:29, 15 June 2025