- Gaziosmanpaşa Bilimsel Araştırma Dergisi
- Issue: 1
- Hesaplanabilirlik kuramı ve Turing derecelerine giriş
Hesaplanabilirlik kuramı ve Turing derecelerine giriş
Authors : Ahmet Çevik
Pages : 1-20
View : 7 | Download : 5
Publication Date : 2012-03-01
Article Type : Other
Abstract :Hesaplanabilirlik ( Özyineleme) kuramı Gödel'in eksiklik teoremiyle başlamış, Alan Turing'in Turing makineleriyle biçimsel bir hale getirilmiş, Emil Post ve Stephen Kleene ile devam etmiş bir matematiksel mantık dalıdır. Bu makalede hesaplanabilirlik kuramına giriş yapaca¸gız ve Turing dereceleriyle ilgili literatürde bilinen sonuçları vereceğiz.Keywords : Matematiksel mantık, hesaplanabilirlik, Özyineleme kuramı, Turing dereceleri, karar verilemezlik