Turing İLE Church İLE Lambda ile Hesaplanabilirlik
Matematik
Normal
Özet
Hesaplama modellerinin eşdeğerliliği.
Ayrıntılı Açıklama
Hesaplama modelleri:
- Turing Makinesi: Alan Turing
- Church Lambda: Alonzo Church
- λ-calculus: İşlevsel programlama
Church-Turing tezi eşdeğerliği önerir.
- Turing Makinesi: Alan Turing
- Church Lambda: Alonzo Church
- λ-calculus: İşlevsel programlama
Church-Turing tezi eşdeğerliği önerir.
Formül
λx.x+1 (lambda gösterimi)