b. 1937
Lachlan is a contemporary figure associated with technical results in computability theory, specifically concerning the non-primitive-recursive nature of universal functions for primitive recursive functions. The name most likely refers to Alistair H. Lachlan, a Scottish-Canadian mathematical logician known for contributions to recursion theory and model theory.
Contributions to recursion theory, including results on recursively enumerable degrees
Work on the structure of the Turing degrees
Research in model theory and stability theory
Demonstrated limitations of primitive recursive universal functions