**math.LO Logic** * Lambda calculus, the theoretical basis for [functional programming][1] (Lisp in particular), was developed by Alonzo Church in the 1930's as part of his research on recursion and the foundations of mathematics. * [Formal verification][2] is used to verify software and hardware in which failure rates need to be as close to zero as possible (e.g. avionics) [1]: http://en.wikipedia.org/wiki/Functional_programming [2]: http://en.wikipedia.org/wiki/Formal_verification