
一个世纪以来一直躲在人们的视线里?GydF4y2Ba
在GydF4y2Ba1920年12月7日,摩西·舍芬克尔介绍了S和K组合器GydF4y2Ba并且这样做提供了一个系统的第一个明确的例子,这个系统能够进行我们现在所说的通用计算。一百年后——正如我所准备的那样GydF4y2Ba庆祝组合公司诞生一百周年GydF4y2Ba我认为是时候尝试使用现代计算方法了,看看我们现在能从组合子中学到什么。在这个过程中,我得到了一个惊喜。GydF4y2Ba
S和K的通用计算已经很了不起了。但从我的探索中,我开始思考一些更了不起的事情可能是真的,事实上,S单独可能就足以实现普遍计算。换句话说,这只是应用了规则GydF4y2Ba
S f g xGydF4y2Ba→GydF4y2BaFGydF4y2Ba[GydF4y2BaxGydF4y2Ba][GydF4y2BaGGydF4y2Ba[GydF4y2BaxGydF4y2Ba]]GydF4y2Ba
一次又一次的重复可能是做任何可以做的计算所需要的全部。GydF4y2Ba
我不确定这是不是真的,虽然我GydF4y2Ba积累经验证据GydF4y2Ba这似乎指向了这个方向。今天,我宣布一项2万美元的奖金(是的,“20”与1920年发明的组合子和2020年做出我的猜想有关),用于证明(或否定)仅S组合子就能支持通用计算。GydF4y2Ba183新利