Hesaplanabilirlik kuramı ve Turing derecelerine giriş

Ahmet Çevik

EN TR

Introduction to computability theory and Turing degrees

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.

Keywords

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

Details

Primary Language

Turkish

Subjects

-

Journal Section

-

Authors

Ahmet Çevik This is me

Publication Date

March 1, 2012

Submission Date

March 1, 2012

Acceptance Date

-

Published in Issue

Year 2012 Number: 1

IZ

https://izlik.org/JA76HH83FA

Cite

RIS / Bibtex

APA

Çevik, A. (2012). Hesaplanabilirlik kuramı ve Turing derecelerine giriş. Gaziosmanpaşa Bilimsel Araştırma Dergisi, 1, 1-20. https://izlik.org/JA76HH83FA

AMA

1.Çevik A. Hesaplanabilirlik kuramı ve Turing derecelerine giriş. GBAD. 2012;(1):1-20. https://izlik.org/JA76HH83FA

Chicago

Çevik, Ahmet. 2012. “Hesaplanabilirlik Kuramı Ve Turing Derecelerine Giriş”. Gaziosmanpaşa Bilimsel Araştırma Dergisi, no. 1: 1-20. https://izlik.org/JA76HH83FA.

EndNote

Çevik A (March 1, 2012) Hesaplanabilirlik kuramı ve Turing derecelerine giriş. Gaziosmanpaşa Bilimsel Araştırma Dergisi 1 1–20.

IEEE

[1]A. Çevik, “Hesaplanabilirlik kuramı ve Turing derecelerine giriş”, GBAD, no. 1, pp. 1–20, Mar. 2012, [Online]. Available: https://izlik.org/JA76HH83FA

ISNAD

Çevik, Ahmet. “Hesaplanabilirlik Kuramı Ve Turing Derecelerine Giriş”. Gaziosmanpaşa Bilimsel Araştırma Dergisi. 1 (March 1, 2012): 1-20. https://izlik.org/JA76HH83FA.

JAMA

1.Çevik A. Hesaplanabilirlik kuramı ve Turing derecelerine giriş. GBAD. 2012;:1–20.

MLA

Çevik, Ahmet. “Hesaplanabilirlik Kuramı Ve Turing Derecelerine Giriş”. Gaziosmanpaşa Bilimsel Araştırma Dergisi, no. 1, Mar. 2012, pp. 1-20, https://izlik.org/JA76HH83FA.

Vancouver

1.Ahmet Çevik. Hesaplanabilirlik kuramı ve Turing derecelerine giriş. GBAD [Internet]. 2012 Mar. 1;(1):1-20. Available from: https://izlik.org/JA76HH83FA