Mathematicians, logicians, and computer scientists have developed various calculi, including lambda calculus, relational calculus, and predicate calculus. Lambda calculus, created by Alonzo Church, serves as a foundational model of computation, while relational calculus underpins SQL and predicate calculus is essential in formal methods.