Kraft des Lambda-Kalküls kann man in der Mathematik klar und eindeutig eine berechenbare Funktion bestimmen. Das Lambda-Kalkül ist eine formalisierte Sprache, mit der man Funktionen definieren kann.
Es hat seinen mathematik-historischen Ursprung in der Grundlagendebatte in der Mathematik und Logik in den 20ern und 30ern des 20. Jahrhunderts. Alonzo Church wollte dabei ein Logisches System, wie in der Principia Mathematica geschrieben, fundieren. Heute wird das System z.B. dazu verwendet, Logiken höherer Stufen zu beschreiben. Es hat dadurch auch Einzug in die theoretische Informatik gefunden.