«combinatory-logic» etiketlenmiş sorular

Kombinatörlerin uygulaması ve terim yeniden yazımı yoluyla tanımlanan mantıksal sistemler hakkındaki sorular için. Bu sistemlerin genellikle lambda hesabıyla yakın bir bağlantısı vardır.

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 …



2
Birleştirici hesabı için temel kümeler
S ve K birleştiricilerinin, diğer tüm birleştiricilerin kendileri cinsinden ifade edilebileceği anlamında, birleştirici hesabı için bir temel oluşturduğu iyi bilinmektedir. Aynı özelliğe sahip Curry's B, C, K, W temeli de vardır. Sonsuz sayıda bu tür üsler olmalı, ama başka birini bilmiyorum. Iota birleştirici ve Fokker tarafından inşa edilen / gözden …

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( …

1
Birleştirici matematik ifadeleri hangi işlevleri hesaplayabilir?
Bir birleştirici ifadesi (SK bazında diyelim), birleştirici hesap ifadelerini birleştirici hesap ifadelerine eşleyen bir işlev olarak düşünülebilir. Yani, ifadesi fonksiyonu olarak düşünülebilir ; burada , SK bazında tüm sözdizimsel olarak geçerli birleştirici ifadelerin kümesidir. Bu eşleme, girdiyi ifadeye uygulayarak ve ardından çıktıyı almak için normal forma indirgeyerek gerçekleştirilir.XXXX:L→LX:L→LX:L \to LLLL …


2
Lambda hesabının birleşik yorumu
Göre Peter Selinger , Lambda Matematik Cebirsel olan (PDF). Bu makalenin başlarında şöyle diyor: Bu tatmin etmez, çünkü lambda hesabın kombinatoriyel yorumlanması, kusurlu olduğu bilinen ξξξ üstünlüğü: yorumuyla, M=NM=NM = N anlamına gelmez λx.M=λx.Nλx.M=λx.N\lambda x.M = \lambda x.N (Barendregt, 1984). Sorular: Burada ne tür bir denklik kastedilmektedir? Bu denklik tanımı …

1
Düz ifadeler için en basit kombine taban çifti
Chris Okasaki'nin " Düzleştirme Kombinatörleri: Parantez Olmadan Hayatta Kalma " başlıklı makalesinde, iki birleştiricinin bir uygulama operatörü veya parantez olmadan Turing-tamam ifadelerini kodlamak için hem yeterli hem de gerekli olduğunu göstermektedir. John Trump'ın , bir uygulama operatörü ile S ve K birleştiricilerini kodlayan ön kod kodlamasıyla " Binary Lambda Calculus …

1
Birleşik mantık terimleri her zaman daha mı büyük?
Bu nedenle , lambda hesabı terimlerini SK birleştiricileri kullanarak birleşik mantığa dönüştüren bir algoritma vardır . Boyut olarak patlayan şeyler üretir . Bu patlama hakkında daha fazla bilgi edinmek istiyorum. Ancak daha iyi bir algoritma düşünemiyorum. İşlevsel dillerin pratik olarak birleştiricilere derlendiğini duydum, bu yüzden daha iyi bir algoritma var …
Sitemizi kullandığınızda şunları okuyup anladığınızı kabul etmiş olursunuz: Çerez Politikası ve Gizlilik Politikası.
Licensed under cc by-sa 3.0 with attribution required.