1892-1945. Polish mathematician, co-founder of functional analysis.
Proved the Banach fixed-point theorem (1922): every contraction mapping on a complete metric space has a unique fixed point, and iterative application converges to it.
This theorem is the mathematical engine behind convergent computation: the cyber tri-kernel is a contraction map, so repeated application converges to the unique focus distribution $\phi^*$.
Founded the Lwów School of Mathematics, one of the most productive mathematical communities of the 20th century.
Introduced Banach spaces, the framework for infinite-dimensional analysis that underpins quantum mechanics, signal processing, and functional programming semantics.
Co-authored the Banach-Tarski paradox, demonstrating the counterintuitive consequences of the axiom of choice.