Luitzen Egbertus Jan Brouwer in the context of "Hermann Weyl"

Brouwer's fixed-point theorem is a fixed-point theorem in topology, named after L. E. J. (Bertus) Brouwer. It states that for any continuous function ${\displaystyle f}$ mapping a nonempty compact convex set to itself, there is a point ${\displaystyle x_{0}}$ such that ${\displaystyle f(x_{0})=x_{0}}$. The simplest forms of Brouwer's theorem are for continuous functions ${\displaystyle f}$ from a closed interval ${\displaystyle I}$ in the real numbers to itself or from a closed disk ${\displaystyle D}$ to itself. A more general form than the latter is for continuous functions from a nonempty convex compact subset ${\displaystyle K}$ of Euclidean space to itself.

Among hundreds of fixed-point theorems, Brouwer's is particularly well known, due in part to its use across numerous fields of mathematics. In its original field, this result is one of the key theorems characterizing the topology of Euclidean spaces, along with the Jordan curve theorem, the hairy ball theorem, the invariance of dimension and the Borsuk–Ulam theorem. This gives it a place among the fundamental theorems of topology. The theorem is also used for proving deep results about differential equations and is covered in most introductory courses on differential geometry. It appears in unlikely fields such as game theory. In economics, Brouwer's fixed-point theorem and its extension, the Kakutani fixed-point theorem, play a central role in the proof of existence of general equilibrium in market economies as developed in the 1950s by economics Nobel prize winners Kenneth Arrow and Gérard Debreu.

Intuitionistic logic, sometimes more generally called constructive logic, refers to systems of symbolic logic that differ from the systems used for classical logic by more closely mirroring the notion of constructive proof. In particular, systems of intuitionistic logic do not assume the law of excluded middle and double negation elimination, which are fundamental inference rules in classical logic.

Formalized intuitionistic logic was originally developed by Arend Heyting to provide a formal basis for L. E. J. Brouwer's programme of intuitionism. From a proof-theoretic perspective, Heyting’s calculus is a restriction of classical logic in which the law of excluded middle and double negation elimination have been removed. Excluded middle and double negation elimination can still be proved for some propositions on a case by case basis, however, but do not hold universally as they do with classical logic. The standard explanation of intuitionistic logic is the BHK interpretation.

The hairy ball theorem of algebraic topology (sometimes called the hedgehog theorem) states that there is no nonvanishing continuous tangent vector field on even-dimensional n-spheres. For the ordinary sphere, or 2‑sphere, if f is a continuous function that assigns a vector in ℝ to every point p on a sphere such that f(p) is always tangent to the sphere at p, then there is at least one pole, a point where the field vanishes (a p such that f(p) = 0).

The theorem was first proven by Henri Poincaré for the 2-sphere in 1885, and extended to higher even dimensions in 1912 by Luitzen Egbertus Jan Brouwer.