Journals / Gaziosmanpaşa Bilimsel Araştırma Dergisi / 2012 / Sayı: 1
Introduction to computability theory and Turing degrees
- Issue
- 2012 · Sayı: 1
- Pages
- 1–20
- DOI
- —
Abstract
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.
Özet
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.