John Gough (natural philosopher) wife and seven of their children. He was buried in the parish churchyard of Kendal. Gough had wide-ranging scientific interests. He published papers in natural history, mechanics, mathematics, chemistry, and experimental physics. One of his most interesting pieces of work was an investigation into the properties of natural rubber or Caoutchouc. He was the first to describe the heat released when a rubber band is quickly stretched, the heat being detected by the lips to which the band is pressed. When stretched rubber is heated, it contracts, a reversal of the normal behaviour of materials when heated. Gough published these
History of type theory derivations in logics. Howard showed that the typed lambda calculus corresponded to intuitionistic natural deduction. (That is, natural deduction without the Law of excluded middle.) The connection between types and logic lead to a lot of subsequent research to find new type theories for existing logics and new logics for existing type theories. Nicolaas Govert de Bruijn created the type theory Automath as a mathematical foundation for the Automath system, which could verify the correctness of proofs. The system developed and added features over time as type theory developed. Per Martin-Löf found a type theory that corresponded to predicate logic