Ahmet ÇEVİK

193155

Hesaplanabilirlik kuramı ve Turing derecelerine giriş

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.

Anahtar Kelimeler:

Matematiksel mantık, hesaplanabilirlik, Özyineleme kuramı, Turing dereceleri, karar verilemezlik

Introduction to computability theory and Turing degrees

Computability (Recursion) Theory is a branch of mathematical logic which was begun with Gödel’s incompleteness theorem, later formalized by Alan Turing, and succeeded by Emil Post and Stephen Kleene’s work. In this survey paper, we introduce the reader recursion theory and give some of the known results in the theory of Turing degrees.

Keywords:

Mathematical logic, computability, recursion theory, Turing degrees, undecidability,

Gaziosmanpaşa Bilimsel Araştırma Dergisi-Cover

ISSN: 2146-8168
Yayın Aralığı: Yılda 3 Sayı
Başlangıç: 2012
Yayıncı: Tokat Gaziosmanpaşa Üniversitesi

Arşiv

Sayıdaki Diğer Makaleler

Bulanık parametreli bulanık esnek kümeler ve Riesz toplanabilirliliğinin bir karar verme problemine uygulaması

Şaban YILMAZ, Selim ERASLAN

Patates Yumrularının Bazı Fiziksel Özellikleri

Ebubekir ALTUNTAŞ, Güngör YILMAZ, Emre DULGER, Yasin Bedrettin KARAN

Hesaplanabilirlik kuramı ve Turing derecelerine giriş

Evli Çiftlerin Duygusal Farkındalıkları ve Gestalt Temas Biçimleri Arasındaki İlişkinin İncelenmesi

Kırmızı lahana’dan (Brassica oleracea var.capitata f.rubra) elde edilen doğal boya ile yün, pamuk ve keten kumaşların boyanması

Adem ÖNAL, F. Dilara Subasar

Kuşburnu( Rosa canina) meyvelerinden elde edilen ekstrakt ile pamuklu ve yünlü kumaşların boyanma özelliklerinin incelenmesi

Adem ÖNAL, Şeyma Oruç

Sürdürülebilir Kırsal Kalkınmada Ekoturizmin Önemi: Tokat İli Örneği

Nuray KIZILASLAN, Çiğdem ÖZYURT

Sivas İli Hafik İlçesi Tarım İşletmelerinde Toprak Analizi Uygulamalarının Benimsenmesi ve Yayılması Üzerine Bir Araştırma

Halil KIZILASLAN, Zarife Nihal Gülaç

Bazı Mahlep (Prunus mahaleb L.) Genogenotiplerinin ve SL64 Anacının Çelikle Çoğaltılabilme Özellikleri

İbrahim Kürşat ÖZYURT, Yaşar AKÇA, Hüsnü DEMİRSOY

Otomatik Depolama Sistemlerindeki Robotlar için Servo Motor Seçimi

Cemil Közkurt, Ahmet Fenercioğlu, Mehmet Akar