kleene

September 9 ( Wednesday)... Alan Turing came... He has come for a farewell visit before going out to America for 9 months ( Princetown) to study under great authorities on his subject: Godel ( Warsaw) Alonso Church and Kleene.

9月9日（星期三）……艾伦·图灵来了……他过来道别，要去美国普林斯顿九个月，与几位顶尖学者一起研究他的课题，哥德尔，阿隆佐·丘奇，还有克林。

So he studied Church's work from the papers which he and S.C. Kleene had produced in 1933 and 1935, and sketched out the required demonstration in an appendix to the paper which was finished on 28 August.

λ算子表达式。因此，艾伦研究了丘奇和S.C.克林1933年和1935年的论文，并于8月28日完成了论文的附录，来扩展上述必需的证明。

He had developed a formalism called the 'lambda-calculus' and, with the logician Stephen Kleene, had discovered that this formalism could be used to translate all the formulae of arithmetic into a standard form.

丘奇提出了一个叫作“λ算子”的模型注，逻辑学斯蒂芬·克林发现，这个模型可以将所有的算术公式变形为标准形式。