Concept

Μ operator

In computability theory, the μ-operator, minimization operator, or unbounded search operator searches for the least natural number with a given property. Adding the μ-operator to the primitive recursive functions makes it possible to define all computable functions. Suppose that R(y, x1, ..., xk) is a fixed (k+1)-ary relation on the natural numbers. The μ-operator "μy", in either the unbounded or bounded form, is a "number theoretic function" defined from the natural numbers to the natural numbers. However, "μy" contains a predicate over the natural numbers, which can be thought of as a condition that evaluates to true when the predicate is satisfied and false when it is not. The bounded μ-operator appears earlier in Kleene (1952) Chapter IX Primitive Recursive Functions, §45 Predicates, prime factor representation as: "" (p. 225) Stephen Kleene notes that any of the six inequality restrictions on the range of the variable y is permitted, i.e. y < z, y ≤ z, w < y < z, w < y ≤ z, w ≤ y < z and w ≤ y ≤ z. "When the indicated range contains no y such that R(y) [is "true"], the value of the "μy" expression is the cardinal number of the range" (p. 226); this is why the default "z" appears in the definition above. As shown below, the bounded μ-operator "μyy

Official source

https://en.wikipedia.org/wiki/Μ_operator

About this result

This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.

Related courses (22)

COM-502: Dynamical system theory for engineers

Linear and nonlinear dynamical systems are found in all fields of science and engineering. After a short review of linear system theory, the class will explain and develop the main tools for the qualitative analysis of nonlinear systems, both in discrete-t ...

CS-433: Machine learning

Machine learning methods are becoming increasingly central in many sciences and applications. In this course, fundamental principles and methods of machine learning will be introduced, analyzed and practically implemented. ...

EE-556: Mathematics of data: from theory to computation

This course provides an overview of key advances in continuous optimization and statistical analysis for machine learning. We review recent learning formulations and models as well as their guarantees

Related lectures (31)

Conditional Expectation: Properties and Examples

Explores conditional expectation properties, variance, and examples in practical applications.

GA321_20240722-161421

Operational Semantics: Amyli Language

Explores operational semantics and inductively defined relations in the Amyli language.

Related publications (8)

Search for the charged lepton flavor violating decay ψ(3686)→e±μ∓

By analyzing (2367.0 ± 11.1) × 106 ψ(3686) events collected in e+e− collisions at s=3.686GeV with the BESIII detector at the BEPCII collider, we report the first search for the charged lepton flavor violating decay ψ(3686) → e±μ∓. No signal is observed. An upper limit on the branching fraction B(ψ(3686)→e±μ∓) is determined to be 1.4 × 10−8 at the 90% confidence level.

2026

Measurement of the dineutrino system kinematic variables in dileptonic top quark pair production in proton-proton collisions at s=13 TeV

Differential top quark pair production cross sections are measured in the dilepton final states e+e−, μ+μ−, and e±μ∓, as a function of kinematic variables of the two-neutrino system: the transverse momentum pTνν of the dineutrino system, the minimum distance in azimuthal angle between p→Tνν and leptons, and in two dimensions in bins of both observables. The measurements are performed using CERN LHC proton-proton collisions at s=13 TeV, recorded by the CMS detector between 2016 and 2018, corresponding to an

2026

Differential decay rate of B+ → J/ψK+ with the LHCb Upgrade I experiment

Aurelio Bay

The normalised decay rate of B + → J/ψ (→ μ + μ − ) K + is measured as a function of the lepton helicity angle using a data sample corresponding to an integrated luminosity of 1 . 1 fb − 1 collected during October 2024 with the upgraded (Upgrade I) LHCb detector. This angular distribution can be parameterised by two coefficients, the forward-backward asymmetry, A FB , and the flatness parameter, F H , whose values are constrained by conservation of angular momentum. These coefficients are measured both inte

Springer Science and Business Media LLC2026

Related people (1)

Nicolas Henri Bernard Flammarion

Nicolas Flammarion is a tenure-track assistant professor in computer science at EPFL. Prior to that, he was a postdoctoral fellow at UC Berkeley, hosted by Michael I. Jordan. He received his PhD in 2017 from Ecole Normale Superieure in Paris, where he was advised by Alexandre d’Aspremont and Francis Bach. In 2018 he received the prize of the Fondation Mathematique Jacques Hadamard for the best PhD thesis in the field of optimization. His research focuses primarily on learning problems at the interface of machine learning, statistics and optimization.

Graph Chat

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

Official source

https://en.wikipedia.org/wiki/Μ_operator

About this result

Related courses (22)

COM-502: Dynamical system theory for engineers

CS-433: Machine learning

EE-556: Mathematics of data: from theory to computation

Related lectures (31)

Conditional Expectation: Properties and Examples

Explores conditional expectation properties, variance, and examples in practical applications.

GA321_20240722-161421

Operational Semantics: Amyli Language

Explores operational semantics and inductively defined relations in the Amyli language.

Related publications (8)

Search for the charged lepton flavor violating decay ψ(3686)→e±μ∓

2026

Measurement of the dineutrino system kinematic variables in dileptonic top quark pair production in proton-proton collisions at s=13 TeV

2026

Differential decay rate of B+ → J/ψK+ with the LHCb Upgrade I experiment

Aurelio Bay

Springer Science and Business Media LLC2026

Related people (1)

Nicolas Henri Bernard Flammarion

Related concepts (1)

Primitive recursive function

In computability theory, a primitive recursive function is, roughly speaking, a function that can be computed by a computer program whose loops are all "for" loops (that is, an upper bound of the number of iterations of every loop can be determined before entering the loop). Primitive recursive functions form a strict subset of those general recursive functions that are also total functions. The importance of primitive recursive functions lies in the fact that most computable functions that are studied in number theory (and more generally in mathematics) are primitive recursive.

Related exercises (3)

Death trap carousel

A carousel is made up of a large hollow cylinder with a vertical axis (Oz), of radius R. People get into the cylinder, their backs pressed against the interal face of the cylinder, and the whole system is put into rotation at angular velocity ω⃗. Once the rotational velocity is sufficient, the floor is removed and the people remain “stuck” to the wall.

In the carousel’s rotating referentical, enumerate the forces acting on a person that’s in equilibrium in the carousel. What hypothesis on the f

Underground cavity

Underground cavities can be detected by gravimetry.

At the surface of the earth, compute the earth’s gravitational field g₀ without any cavity and the gravitational field g₁ over a spherical cavity of radius R_(C) where the centre is at a depth of du2004≥u2004R_(C)u2006.
Let us assume that we can measure the gravitational field with a precision of (g₀−u2006g₁)/g₀u2004=u200410⁻⁶ and that we would like to detect a cavity just below the ground (R_(C)u2004=u2004d). What is the smal

Swiss spatial station

xa0 We participate in the conception of the future Swiss spatial station (SSS). The SSS has the shape of a cylindrical and hollow wheel. The spacemen live in the wheel in its external surface, their ground is a cylindrical surface of radius R. An artifical gravity is created there by the rotation of the station (constant angular velocity Ω) around its revolution axis. In this exercise, we neglect all effect coming from the proximity of the Earth and we consider that the axis of rotation of the SSS is fix

Related notebooks (1)

Modeling Epidemics with Signal Processing Techniques

Epidemics and Signal Processing[1]¶

                                      [2]Paolo Prandoni, [3]LCAV, EPFL

In [1]: import matplotlib.pyplot as plt import numpy as np import scipy.signal as sp import seaborn as sns sns.set() In [2]: plt.rcParams["figure.figsize"] = (14,4) The basic reproduction number[4]¶ The propagation mechanism of an epidemic such as the one caused by SARS-CoV-2 virus can be roughly modeled, at least in its inital phase, as a process in which each infected individ