tag:blogger.com,1999:blog-5240588941019541660.post6739212848643456862..comments2023-12-28T00:39:01.648-08:00Comments on Proof Theory Abridged: Kleene's second recursion theoremAnonymoushttp://www.blogger.com/profile/13839186395403550796noreply@blogger.comBlogger2125tag:blogger.com,1999:blog-5240588941019541660.post-84387520895887349712018-08-30T04:34:11.003-07:002018-08-30T04:34:11.003-07:00This comment has been removed by the author.radhahttps://www.blogger.com/profile/14429600841601246656noreply@blogger.comtag:blogger.com,1999:blog-5240588941019541660.post-4002628345090018352013-01-31T13:18:17.035-08:002013-01-31T13:18:17.035-08:00Wikipedia says that Jan Willem Klop constructed th...Wikipedia <a href="http://en.wikipedia.org/wiki/Jan_Willem_Klop" rel="nofollow">says</a> that Jan Willem Klop constructed the fixed point combinator <i>LLL</i>...<i>L</i> (26 times) where <i>L</i> := λ<i>abcdefghijklmnopqstuvwxyzr</i>.(<i>r</i>(<i>this is a fixed point combinator</i>)).Jnoreply@blogger.com