Özellikle, yeni bir olarak
yerine
olur -calculus bir rekabet temeli?
Tahminim "hayır", çünkü , ve birleştiricilerinden normal K birleştiricisini oluşturamıyorum gibi görünüyor , ama takip edecek bir algoritmam yok, ne de iyi sezgim yok bu birleştiricilerden bir şeyler yapma konusunda.
Görünüşe göre
normal hesabı ile tanımlayabilirsiniz, ancak ve geri kalanı açısından bir türevini elde etmek için bundan geriye .
İşlevsel olarak tamamlanmadığına dair bir kanıt denemem, hangi birleştiriciler kullandığınıza bakılmaksızın çıkmaz bir noktaya (daha önce gördüğünüz bir işlev) ulaştığınızı göstermek için bu birleştiricilerden elde edilebilen her işlevi kapsamlı bir şekilde inşa etmeye çalıştı. Bunun mutlaka işlevsel olarak eksik birleştiriciler setleri için doğru olmayacağını anlıyorum (örneğin, birleştiricisi kendi kendine uygulandığında asla bitmeyecek), ama bu benim en iyi düşüncemdi. Sonunda çıkmaz olduğunu düşündüğümden kaçmak için birleştiriciyi her zaman kullanabildim , bu yüzden bu yaklaşımın fizibilitesinden artık o kadar emin değilim.
StackOverflow bu soruyu sordum ama burada göndermek için teşvik edildi. Bu yazı hakkında birkaç yorum aldım, ancak onları doğru anladığımdan emin değilim.
Bonus: tam bir temel değilse, ortaya çıkan dil yine de Turing-complete mi?