Combinatory logic

tags
Logic
papers
(Cardone and Hindley, n.d.)

It was independently invented by Moses Schönfinkel, John Von Neumann and Haskell Curry.

A Turing-complete basis of operators is:

  • \(If\quad\triangleright\quad f\)
  • \(Kfg \quad\triangleright\quad f\)
  • \(Sfgx \quad\triangleright\quad fx(gx)\)

Bibliography

  1. . n.d. "History of Lambda-Calculus and Combinatory Logic", 95.

← Back to Notes