他们从另一个和谐社会来 《街灯》根据美国芝加哥黑人青年查尔斯的真实故事改编。他践行非暴力斗争与仁爱，遭到了种族主义者的多次袭击。在1969年6月24日深夜遭到帮派枪击。 【专栏】康托尔、哥德尔、图灵（7） Y是一个lambda函数，它接受一个伪递归F，在内部生成一个f_gen，然后把f_gen应用到它自身（记得power_gen(power_gen)吧），得到的这个f_gen(f_gen)也就是F的不动点了（因为f_gen(f_gen) = F(f_gen(f_gen))），而根据不动点的性质，F的不动点也就是那个对应于F的真正的递归函数！
