The wedge a ∧ b is the oriented parallelogram the two vectors already span. The Hodge star, using the metric and a choice of orientation, sends that plane element to the unique line standing perpendicular to it. Only in three dimensions does the dual of a bivector become another vector; in every other dimension the same operation yields a complementary multivector. The ordinary cross product is therefore a three-dimensional accident that Grassmann’s exterior algebra of 1844 already contained and that Gibbs later isolated.

Cauchy rejected it. Fourier died with it. The prize went to two other men. Galois submitted his memoir on equation theory several times. It was never published in his lifetime. Cauchy refused the first attempt. In February 1830, on Cauchy’s advice, Galois sent it to Academy secretary Joseph Fourier for the Grand Prix. Fourier died soon after. The memoir was lost. That year’s prize went to Niels Henrik Abel (posthumously) and Carl Gustav Jacob Jacobi. Galois published three papers anyway. One laid the foundations of Galois theory. One treated the numerical solution of equations. The third introduced the idea of a finite field.

A linear equation, first-order in time, that determines the entire future of an isolated quantum system from the present values of its wave function. iħ ∂Ψ/∂t = ĤΨ The same operator Ĥ that generates the motion is the observable whose eigenvalues are the energies a measurement can return. Schrödinger obtained the equation in 1926. When the potential does not depend on time the solutions of definite energy separate as ψ(x) e^{-iEt/ħ}, leaving the eigenvalue problem Ĥψ = Eψ whose Coulomb eigenfunctions reproduce the discrete spectrum of hydrogen.

An odd irreducible representation ρ : Gal(ℚ̄/ℚ) → GL₂(𝔽_ℓ) is modular. Serre conjectured that every such continuous homomorphism arises from a cuspidal eigenform whose weight and level are read off from the local ramification of ρ. The same Galois module that appears in the étale cohomology of an algebraic variety, or in the torsion of a modular Jacobian J_{0,ns}^+(q), also governs the Hecke eigenvalues of a holomorphic function on the upper half-plane. Formulated in a 1973 letter to Tate and given its precise shape in 1987, the statement turns questions about the absolute Galois group into questions about automorphic forms. Once proved by Khare and Wintenberger, it made Fermat’s equation a special case of a reciprocity law that identifies arithmetic monodromy with modular cohomology.

AB = BC = CA Three square beams meet pairwise at right angles and appear to bound an equilateral triangle, yet no such solid can exist in ordinary Euclidean three-space. Each corner, taken by itself, is an entirely ordinary joint; the closed circuit assigns incompatible depths and therefore cannot close. Oscar Reutersvärd first assembled the figure from cubes in 1934; Roger Penrose, independently in 1954, called the resulting tribar impossibility in its purest form. A real construction can still produce the identical image, but only from one carefully chosen viewpoint.

Natalie Behague is an Assistant Professor at Dublin City University working in extremal and probabilistic combinatorics. A Cambridge and QMUL graduate, she resolved hypergraph saturation irregularities, classified semi-perfect 1-factorizations of hypercubes, co-developed common pairs of graphs via entropy, proved rainbow saturation is linear, and helped settle the Kim–Vu sandwich conjecture - advancing discrete mathematics with containers, flag algebras and probabilistic methods.

On 23 September 1846, Neptune was discovered. French mathematician Urbain Le Verrier had calculated the position of an unseen planet from irregularities in Uranus’s orbit. Johann Galle at the Berlin Observatory, following Le Verrier’s predictions, found the planet within about 1° of the predicted spot. This was the first planet discovered by mathematics rather than by looking through a telescope. Le Verrier himself died on the same date in 1877.

Every local minimum is global. When both the objective and the feasible set are convex, a point that cannot be improved in any neighborhood cannot be improved anywhere. The geometry itself forbids hidden valleys; first-order stationarity is already optimality. The same fact, isolated in the study of convex bodies around 1900, is why linear programs, positive-semidefinite quadratic programs, and a wide family of modern learning problems can be solved to proven global optimality.

Inside the feedback loop of a sigma-delta modulator it becomes something else: a high-pass filter that leaves the signal untouched and sweeps quantization noise out of the band of interest. 1 − z⁻¹ looks like nothing more than a discrete differentiator. The linearized first-order model reads Y(z) ≈ X(z) + (1 − z⁻¹)E(z), so the signal transfer function is identically one while the noise transfer function is exactly that difference operator. After a digital low-pass filter and decimation the remaining in-band error is vanishingly small, turning a crude one-bit quantizer into a high-resolution converter. The same operator raised to higher powers yields the modulators that now achieve twenty-bit accuracy in audio and sensor applications.

Dirac wrote it in 1928 so an electron could obey both quantum mechanics and special relativity; the γ matrices mix the components precisely as Lorentz transformations demand, while the mass term couples the two chiralities. A first-order equation for a four-component spinor that simultaneously carries energy, momentum, spin and the seed of antimatter. Gauged, the same compact line becomes the starting point of quantum electrodynamics and, with the appropriate internal symmetries, of the weak and strong interactions as well.

∇ × F records the infinitesimal circulation of a vector field at every point. Integrated over a surface the same quantity becomes net rotation through that surface, and Stokes’ theorem converts it back into a line integral around the rim: ∮_∂S F · dr = ∬_S (∇ × F) · n dS. Green had already written the planar version in 1828; the three-dimensional statement first appeared as an examination question set by Stokes in 1854. The identical local-to-global translation governs the divergence theorem and the four compact field equations Maxwell assembled a decade later.

Philosophy of mathematics asks what numbers are and whether they exist beyond human thought. This chart outlines the major schools. - Platonism says mathematical objects exist independently of us. - Formalism treats math as shuffling symbols under rules. - Logicism grounds everything in pure logic. - Intuitionism says math arises from valid mental constructions. - Structuralism studies structures and relations. - Fictionalism claims the entities need not literally exist; they just have to work. Suddenly algebra feels like philosophy.

W(q, p) is allowed to be negative. That single liberty turns a classical phase-space density into a complete encoding of a quantum state. Wigner defined it in 1932 so that the ordinary integrals W(q, p) = (1/π) ∫ ψ*(q + y) ψ(q − y) exp(2 i p y) dy recover the correct position and momentum probabilities as marginals, while expectation values of Weyl-ordered operators become ordinary averages against W. Only Gaussian wave packets stay non-negative everywhere; every other pure state must oscillate through negative regions, the visible imprint of quantum interference. The same idea, discretized by parity, paints each point of the Bloch sphere with a characteristic pattern of positive and negative values.

Magnetic field lines have neither beginning nor end. Slice a bar magnet and two complete magnets appear; the lines simply close through the fresh faces. ∮ 𝐁⃗ · d𝐀⃗ = 0 The identical surface integral for the electric field equals the enclosed charge, exposing sources and sinks that magnetism has never supplied. Maxwell wrote the magnetic statement into his 1861 paper on physical lines of force, where it stands as one of the four equations that bind electricity and magnetism together.

∇²V = −ρ/ε A single operator applied to the electrostatic potential recovers, up to a constant, the charge density that produces it. Where the density vanishes the same equation collapses to Laplace’s and the potential becomes harmonic: its value at any interior point equals its average over every surrounding sphere. Poisson wrote the inhomogeneous form in 1813 after observing that Laplace’s equation holds only outside matter. With a change of constants the identical relation governs Newtonian gravity and steady heat flow.

Volumes that remain Euclidean in the small still swell or shrink once they travel along geodesics; the single tensor that records that average distortion is Ricci curvature. Ricci isolated the contraction from the full Riemann tensor around 1900. In coordinates it is the trace R_{ij}=R^k_{ikj}, and it already contains enough geometric information to decide whether nearby volumes expand or collapse. When the metric itself is set in motion by ∂g_{ij}/∂t=-2R_{ij}, the same quantity that measures bending becomes the force that smooths it. The resulting Ricci flow turns an instantaneous snapshot of curvature into a dynamical process that can dissolve singularities and reveal hidden topology.

From a blacksmith’s son to powering the modern world. On this day in 1791 Michael Faraday was born in Newington Butts, the son of a poor London blacksmith. Formal schooling barely lasted long enough to teach him to read. At fourteen he was apprenticed to a bookbinder. He bound the books. Then he read them. That was his university. In 1812 he sat through Humphry Davy’s lectures at the Royal Institution, bound his notes into a book, and sent it to Davy asking for work. A year later he was Davy’s laboratory assistant. The rest is the electrical age. He made a wire rotate around a magnet in 1821: the first electric motor. In 1825 he isolated benzene. In 1831 he discovered electromagnetic induction — a changing magnetic field produces an electric current — the principle inside every generator and transformer. He wrote the laws of electrolysis, discovered diamagnetism, and in 1845 found that a magnetic field can rotate the plane of polarised light: the Faraday effect, the first hard link between electromagnetism and light. He thought in lines of force. Maxwell later turned those lines into field theory. The farad, the Faraday cage and the Faraday constant still carry his name. The Royal Society gave him the Copley Medal twice, the Royal Medal twice and the Rumford Medal. Oxford made him an honorary doctor. He declined a knighthood. Twice he refused the presidency of the Royal Society. He preferred to remain plain Mr Faraday. Self-taught. Relentlessly experimental. The man who took electricity out of the laboratory and put it into the world.

F = q(E + v × B) A single compact law that tells every free charge how the electromagnetic field will act on it. The electric term accelerates the particle along the field lines whether it is at rest or in motion. The magnetic term, born of the cross product, appears only when the particle moves and then stands forever perpendicular to the velocity, bending paths into circles and helices without ever changing the particle’s kinetic energy. Lorentz assembled the complete expression in 1895 while constructing his electron theory of matter. The same relation later became one of the constraints that special relativity had to preserve in every inertial frame.

An innocent linear test decides the fate of every explicit integrator. Write y′ = λy with Re(λ) ≪ 0. While |λ| stays modest a fifth-order Runge–Kutta pair advances with large, inexpensive steps; the moment |λ| grows the stability region collapses and those same steps shrink until the computation is useless. Stiffness is that mismatch of time scales. The solution itself may already be smooth, yet an explicit method is still forced to resolve the fastest decaying transient. Implicit formulae (BDF, Radau collocation, Rosenbrock) replace the explicit update with a linear or nonlinear solve and remain stable on the slow manifold. Curtiss and Hirschfelder first called such equations “stiff” in 1952; the same test still separates the solvers that finish from those that do not.