7
Lambda analizinin hesaplama teorisi alanına katkısı nedir?
Ben sadece "onu tanımak" için lambda matematiğini okuyorum. Turing Makinesi yerine alternatif bir hesaplama biçimi olarak görüyorum. İşlevleri / azaltmaları olan şeyleri yapmanın ilginç bir yoludur (kabaca konuşma). Bazı sorular olsa da beni rahatsız ediyor: Lambda analizinin amacı nedir? Neden tüm bu işlevlerden / azaltmalardan geçtiniz? Amaç ne? Sonuç olarak …