2
Y birleştiricisi Curry-Howard yazışmalarıyla çelişiyor mu?
Y birleştiricisi türüne sahiptir . Curry-Howard Yazışması ile, tipinde yerleşim olduğu için, gerçek bir teorime karşılık gelmelidir. Bununla birlikte, her zaman doğrudur, bu nedenle Y birleştiricisinin türü , her zaman doğru olmayan teoremine karşılık gibi görünür . Bu nasıl olabilir?( a → a ) → a(bir→bir)→bir(a \rightarrow a) \rightarrow a( …