Chris Benoit died in June.
In mathematics , the Kleene -- Rosser paradox is a paradox that shows that certain systems of formal logic are inconsistent , in particular the version of Curry 's combinatory logic introduced in 1930 , and Church 's original lambda calculus , introduced in 1932 -- 1933 , both originally intended as systems of formal logic .. mathematics. mathematics. formal logic. formal logic. inconsistent. inconsistent. Curry. Haskell Curry. combinatory logic. combinatory logic. Church. Alonzo Church. lambda calculus. lambda calculus. The paradox was exhibited by Stephen Kleene and J. B. Rosser in 1935 .. Stephen Kleene. Stephen Kleene. J. B. Rosser. J. B. Rosser