Λ-hesabı ile ilgili felsefi bir soru diyorum.
Λ-calculus'u keşfettiğinizde orada yapabileceğiniz her şeyi görmekten şaşıracaksınız. Tamsayılar, aritmetik işlemler, booleans, if-then-else deyimleri, döngüler, özyinelemeli işlevler, vb. Tanımlayabilirsiniz. Hesaplamanın tamamlandığı kanıtlanmıştır.
Ancak diğer tarafta, eğer λ-calculus'taki işlevlerle neler yapabileceğinizi düşünürseniz, yapabileceğiniz tek şeyin onu bir işlevi beslemek olduğunu ve başka bir işlevi döndürdüğünü fark edersiniz. Ve bu süreç asla bitmez.
Öyleyse bir hesaplamadan nasıl sonuç çıkarabilirsiniz?
Bir ifadenin sonucunun işlev olduğunu varsayalım f
. f
Beklediğiniz şeyin olup olmadığını kontrol etmek istiyorsunuz. Test edebilir, bildiğiniz bir işlevi alabilir, uygulayabilir f
ve alabilirsiniz g
. Ancak kontrol etmek g
doğrudur, şimdi ne yaptığını doğrulamanız gerekir g
. Ve baştan başladın. Peki nasıl bir şey anlatabilirsin f
?
Bana öyle geliyor ki λ hesabındaki tüm fonksiyonları tek bir fonksiyonla, kimlik fonksiyonuyla değiştirebiliyorsunuz I = λx.x
ve her şey λ hesabında tarif edildiği gibi çalışıyor. Kilise numarası 3
verildiğinde f
ve x
geri döndüğünde f(f(f(x)))
. Ama sadece f
ve beri x
olabilir I
, o geri döner I
. I
uygulanır I
ve I
ayrıca geri döner I
. Yani I
tanımını tatmin eder 3
. “Mantıksal ifadenin” (λxy.x)
ve (λxy.y)
olacak 2 bağımsız değişken, ihtiyaç I
ve I
her iki mantıksal ifadenin dönecektir böylece I
. Tanımlarına göre tam olarak davransalar da, her biri kimliğe eşdeğerdir.
Farkı nasıl yaratıyorsunuz? Λ-hesabının tek bir fonksiyondan daha fazlasını ele aldığını nasıl gösterirsiniz?
Kimlik kavramı var mı? Bir işlevi değerlendirmeden hemen tanımlayabilir misiniz? Eşitlik için 2 işlevi test etmenin bir yolu olmadığını kanıtladım.
Ya da λ-hesabı fonksiyonlar hakkında değil, yaptıkları şeyin resmi tanımı hakkında mı? Bu, λ ifadelerinin sadece işlevlerin ne yaptığını tanımlamakla kalmayıp, aynı zamanda işlevlerin manipüle ettiği verilerdir. Eğer yazdığınızda A B
, geçerli olmayan A
için B
, ama bir dizeyle açıklanabilir işlevi uygulamak A
bir fonksiyonun formal tanımına yer alan B
başka resmi tanımını dönüyor.
Λ-hesabında gerçekte neler oluyor? İlgilendiği matematiksel nesneler nedir?
Takip et:
Tamam, aşağıdaki cevaba göre, λ-hesabı matematiksel anlamda fonksiyonlar hakkında değil, λ ifadeleri olarak ifade edilebilecek fonksiyonların alt kümesi hakkında görünüyor. Veya λ ifadelerinin manipülasyonu hakkında daha fazla bilgi.