math.LO Logic
- Lambda calculus, the theoretical basis for functional programming (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 is used to verify software and hardware in which failure rates need to be as close to zero as possible (e.g. avionics)
- Finite Model Theory is used to design and improve database query systems.
- logical reasoning is widely and sometime non-trivial used in law application in courts, and in should be in parliaments during setting a law systems
