Lamda kalkülüs

Vikipedi, özgür ansiklopedi
Şuraya atla: kullan, ara

Lamda kalkülüs, herhangi bir tek bantlı Turing makinesini simule edebilen evrensel bir hesaplama modelidir. Soyutlama ve işlev çağırmaya dayanmaktadır. Matematikçi Alonzo Church tarafından 1930'larda matematiğin temelleri üzerine bir araştırma olarak ortaya koyulmuştur.