2
Y birleştiricisi “Lambda matematiği tutarsızlığını” nasıl örneklemektedir?
Sabit Nokta Kombinatorleri için Wikipedia sayfasında oldukça gizemli metinler yazılmıştır. Y birleştiricisi, Lambda hesabını tutarsız kılanın bir örneğidir. Bu yüzden şüphe ile kabul edilmelidir. Bununla birlikte, Y birleştiricisini yalnızca matematik mantığında tanımlandığı zaman düşünmek güvenlidir. Bir çeşit casus romanına girdim mi? Dünyada “ calculus ” un “tutarsız” olduğu ve “şüphe …