In density functional theory (DFT), Jacob’s ladder is a metaphor introduced by John Perdew to describe the hierarchy of increasingly accurate (and increasingly complex) exchange–correlation functionals. The idea is that each “rung” of the ladder brings you closer to the “heaven” of the exact solution of the Schrödinger equation.