İronik olarak, başlık noktasında, ancak "lambda matematiği sadece bir gösterimsel kongre" olduğu anlamına gelmiyor gibi görünüyor.
Lambda terimleri işlev değildir 1 . Sözdizimi parçalarıdır, yani bir sayfadaki sembollerin koleksiyonlarıdır. Bu sembol koleksiyonlarını değiştirmek için kurallarımız var, en önemlisi beta azaltma. Birden olabilir farklı lamda terimleri karşılık aynı işleve. 2
Puanlarınızı doğrudan ele alacağım.
İlk önce, lambda yeniden kullanılan bir isim değildir. Sadece bu son derece kafa karıştırıcı olurdu, ama biz yazmayın (ya da ) eğer biz ne yaparım ki bir işlev için bir isim olduğunu biz yazmak gibi, . Olarak , biz yerine olabilir gibi bir üretim lambda terimi ile (bir lambda terimi ile tanımlandı ise) anlamı , bir işlev olmayan temsil edebilen bir ifade olan işlev bildiren bir bildirim ( adlıλ(x)(λ x)λf(x)f(x)f(λy.y)(x)(λy.y)λveya başka bir şey). Her halükarda, terminolojiyi / gösterimi aşırı yüklediğimizde, bağlam yoluyla netleştirilebilecek bir şekilde yapılır (bir umut), kesinlikle lambda terimleri için geçerli olamaz.
Bir sonraki noktan iyi, ama biraz alakasız. Bu, Takım Lambda Şartları ve Takım Fonksiyonlarının bulunduğu bir yarışma değildir ve sadece bir tanesinin kazanabileceği bir alandır. Lambda terimlerinin önemli bir uygulaması, belirli fonksiyonları araştırmak ve anlamaktır. Polinom bir fonksiyon değildir, ancak bunları sıklıkla özdeş bir şekilde tanımlarız. Polinomları incelemek, tüm fonksiyonların polinomlar olması gerektiği anlamına gelmez; polinomların da çalışmaya değer olması için "yeni" bir şey yapmaları gerektiği anlamına gelmez.
Küme teorik işlevleri kara kutu değildir, ancak bunlar tamamen girdi-çıktı ilişkileri ile tanımlanır. (Bu anlamıyla olan , girdi-çıktı ilişkisi.) Lambda terimler ayrıca olmayan kara kutular olup edilir değil , girdi-çıktı ilişki tarafından tanımlandığı gibidir. Daha önce de bahsettiğim gibi, aynı girdi-çıktı ilişkisini üreten farklı lambda terimlerine sahip olabilirsiniz. Bu aynı zamanda, lambda terimlerinin , fonksiyonlara yol açsalar da, fonksiyon olamayacağının altını çizer . 2
Aslında, polinomlar ve lambda terimleri arasındaki analoji çok yakın ve bir polinom ile temsil ettiği fonksiyon arasındaki farkı takdir edemeyeceğinizi sanıyorum, bu yüzden biraz daha ayrıntılı olacağım. 3 Genellikle polinomlar dahil edildiğinde, genellikle gerçek katsayılarla, belirli bir tipteki gerçek fonksiyonlar olarak kabul edilirler. Şimdi doğrusal geri besleme kayma kayıtlarının teorisini düşünün (LFSR'ler). Büyük ölçüde üzerindeki (tek değişkenli) polinomların , ancak bunu işlevi olarak düşünürsek, bu durumda en fazla işlev vardır. Bununla birlikte, üzerinde sonsuz sayıda polinom . 4F2 F2→F24F2Bunu görmenin bir yolu, bu polinomları fonksiyonlarından başka bir şey olarak yorumlayabilmemizdir , aslında herhangi bir yapacaktır. LFSR'ler için, genellikle polinomları bit akışlarındaki işlemler olarak yorumlarız; bu, eğer istenirse işlevleri olarak gösterilebilir . bu tür işlevlerin büyük çoğunluğu bir LFSR'nin yorumlanması görüntüsünde olmazdı.F2→F2F22N→2N
Bu lambda terimleri için de geçerlidir, ikisini de fonksiyonlar dışındaki şeyler olarak yorumlayabiliriz. Ayrıca, normal olarak sınırsız sayıda işlev kümesinden daha çok çalışılabilir nesnelerdir. Her ikisi de keyfi işlevlerden çok daha fazla hesaplamalıdır. Polinomları (en azından hesaplanabilir şekilde temsil edilebilecek katsayılarla) ve lambda terimlerini manipüle etmek için bir program yazabilirim. Gerçekten de, yazılmamış lambda terimleri, hesaplanabilir fonksiyonların orijinal modellerinden biridir. Bu daha sembolik / sözdizimsel, hesaplama / hesaplama perspektifi genellikle yazılmamış lambda matematiği için lambda matematiğinin daha semantik yorumlarından daha fazla vurgulanır . Yazılanlambda terimleri çok daha kolay yönetilebilir şeylerdir ve genellikle (ancak her zaman değil) belirlenmiş teorik fonksiyonlar olarak kolayca yorumlanabilir, ancak genellikle yazılmamış lambda hesabından çok fonksiyonlar dışında daha geniş şeyler sınıfına da yorumlanabilir. Ayrıca kendilerine ait zengin bir sözdizimsel teorisi ve mantıkla çok derin bir bağları var .
1 Sorunun başka yoldan gitmesi olası. Belki bir işlevin ne olduğu konusunda bir yanlış anlaşılma vardır.
2 Bu aslında çok kolay değil. İçin Türlenmemiş lambda matematik, gerçekten saf saf olarak keyfi lamda şartlarını yorumlayamaz mantıklı değil set-teorik fonksiyonlar . Bunu, yorumlamanın etki alanının ne olması gerektiğini ifade etmeye çalıştığınızda görmeye başlayabilirsiniz. Bir lambda terimini set bir elemanı olarak yorumlarsam, uygulamayı fonksiyon uygulaması olarak yorumlamak istediğim için ve bir fonksiyon olarak yorumlayabilmek istiyorum. Sen ile bitirmek (ya da bunun bir zayıflaması) sadece tekil kümesinin doğrudur. Yazılmamış lambda matematiği için ihtiyacımız olan şey, dönüşlü bir nesnedir.DDDDD⊆Dve kümeler kategorisi için önemsiz olmayan dönüşlü nesneler yoktur. Hikaye, yazılan lambda terimleri için biraz farklı , ancak yine de önemsiz olabilir.
3 Bu ayrım konusunda net iseniz, analoji oldukça bilgilendirici olmalıdır.
4 Bu sayı, karmaşık sayılar, gerçekler, gerekçeler veya tam sayılar gibi karakteristik 0 alanlarıyla ortaya çıkmaz, bu nedenle ayrım hala var olmasına rağmen keskin değildir.