Analysis · Concept hubDeep story

Function

1673 CE17th-century Germany (Leibniz)

Concept

A rule assigning exactly one output to each input. The notion grew from quantities attached to curves into a central language for mathematical relations and computation.

Understand it in one breath

"A machine that takes an input and gives an output." The most fundamental and most flexible tool across mathematics and science. "How does y change as x changes?" — that single question is the seed of calculus, analysis, machine learning, and signal processing.

At a glance

f(x) = x²g(x) = sin xh(x) = x

Key formula

f: X \to Y,\quad x \mapsto f(x)

Worked examples

1
Q.f(x) = 2x + 1, f(3) = ?
2
Q.sin(0) = ?

Key moments

1673 CE

Leibniz uses the word function

Leibniz used functio for quantities associated with a curve, an early step toward treating dependence itself as a mathematical object.

1748 CE

Euler — functions as analytic expressions

Euler’s Introductio in analysin infinitorum defined functions through analytic expressions, a conception that became standard in the 18th century.

1837 CE

Dirichlet — an arbitrary correspondence

Dirichlet broadened the idea of a function beyond a single formula: each allowed input is assigned a definite output by some rule.

1930 CE

Lambda calculus — function becomes computation

Church’s lambda calculus showed how computation could be expressed through functions and application alone, laying theoretical groundwork for functional programming.

Modern applications

Functions in programming, machine-learning models as vast functions, graphics shaders, and database queries. Functional programming makes the concept itself the center of computation.

Beyond MathVoyage

Loading…