Hesap kuramı ve felsefe
Theory of computation and philosophy
- Tez No: 651060
- Danışmanlar: PROF. DR. AHMET AYHAN ÇİTİL
- Tez Türü: Yüksek Lisans
- Konular: Felsefe, Philosophy
- Anahtar Kelimeler: Matematiksel nesneler, biçimselcilik, Hilbert, Turing makinesi, hesap kuramı, saf görü, hesap karmaşıklığı, P vs. NP problemi, kriptografi, sıfır bilgi ispatları, Mathematical objects, formalism, Hilbert, Turing machine, theory of computation, pure intuition, complexity theory, P vs. NP problem, cryptography, zero-knowledge proofs
- Yıl: 2020
- Dil: Türkçe
- Üniversite: İstanbul 29 Mayıs Üniversitesi
- Enstitü: Sosyal Bilimler Enstitüsü
- Ana Bilim Dalı: Felsefe Ana Bilim Dalı
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: 93
Özet
Kant'ın Saf Aklın Eleştirisi eseriyle reddettiği akli görü ve onun aracılığıyla bilinebilen soyut nesne anlayışı matematiksel nesneler ve matematiğin mahiyetinin ne olduğu tartışmalarına kapı açmıştır. Kant'ın sentetik a priori bilgi olarak matematiksel bilgi anlayışının eleştirisi ile matematiğin temellerinin ne olduğu tartışması da beraber yürütülmüştür. Frege matematiği mantığa indirgeme projesini yürütürken Hilbert'in başını çektiği biçimselci anlayış matematiği görüde verili somut işaretlerin sentaktik manipülasyonundan ibaret bir sistem olarak kurup, bu şekilde ihata etmeye çalışmıştır. Hilbert'in projesinin sınırlarını Gödel tamamlanamazlık teoremleriyle belirlemiş, diğer taraftan bahsettiği biçimsel dizgelerin tam bir temsili ilk kez Turing makineleri kavramsallaştırmasıyla verilebilmiştir. Modern bilgisayarların da kuramsal temeli olan Turing makineleri ve hesap kuramı denilebilir ki bir felsefi tartışmanın ürünü olarak doğmuştur. Hesap kuramı, onun devamı olarak gelişen hesap karmaşıklığı ve modern kriptografi sadece teknik bir alan gibi görünse de bu alanların felsefi tartışmalarla ciddi bir ilgisi vardır ve her iki alanın birbirine yapabileceği katkıyı dikkate almak gerekmektedir.
Özet (Çeviri)
Kant's denial of the legitimacy of noesis and abstract objects which can be known through it started another debate about mathematical objects and nature of mathematics. His own account of mathematics as synthetic a priori knowledge has been criticized as well which simultaneously brought about discussions concerning the foundations of mathematics. On the one hand Frege tried to reduce mathematics to logic, on the other hand formalist project which was led by Hilbert tried to establish mathematics as a syntactic manipulation of concrete objects given in intuition and tried to cover all mathematics as a formal system. While Gödel's incompleteness theorems pointed out the boundaries of formalist project, a complete representation of a formal system could only be given with Turing machine conceptualization. Therefore, it can be said that theory of computation and Turing machine, which is the theoretical foundations of modern computers, are products of a philosophical debate. Theory of computation, complexity theory and modern cryptography -which are continuations of theory of computation- are regarded as mostly technical fields, however they are actually related to philosophical issues in more than one way. Therefore, it is necessary to take into consideration the contributions these fields and philosophy can make to one another.
Benzer Tezler
- Transandantal felsefe açısından hesapkuramsal karmaşıklık ve saptanamazlık sorunu
The problem of computational complexity and undecidability from the perspective of transcendental philosophy
ÜMİT TAŞTAN
Doktora
Türkçe
2024
Felsefeİstanbul 29 Mayıs ÜniversitesiFelsefe Ana Bilim Dalı
PROF. DR. AHMET AYHAN ÇİTİL
- Leibniz'den yapay zekâya: Biçimsel diller üzerine mantıksal ve epistemolojik bir inceleme
From Leibniz to artificial intelligence: A logical and epistemological study on formal languages
ZUHAL HAZAR
- Ekolojik dünya tasarımı: Medya ve reklamcılık endüstrisinde sürdürülebilirliğin temsili ve alımlanması üzerine karşılaştırmalı bir analiz
Ecological world design: A Comparative analysis of the representation and reception of sustainability in the media and advertising industry
ESRA AKARSU
Doktora
Türkçe
2024
Halkla İlişkilerAnkara ÜniversitesiHalkla İlişkiler ve Tanıtım Ana Bilim Dalı
PROF. DR. SEMA BECERİKLİ
- Başkaları adına haklı savaş kuramının tarihsel dönüşümü
The historical transformation of the concept of just war on behalf of others / La transformation historique du concept de guerre juste au compte d'autres
ABDULKADİR ÖZTÜRK
Yüksek Lisans
Türkçe
2022
HukukGalatasaray ÜniversitesiKamu Hukuku Ana Bilim Dalı
DOÇ. DR. BİRDEN GÜNGÖREN BULGAN
- Okul yöneticilerinin görüşlerine göre koronavirüs pandemi sürecinde eğitimin kaos kuramı ve hesap verebilirlik ilkesi bağlamında incelenmesi
Examination of education in the context of chaos theory and accountability pinciple in the coronavirus pandemic process according to the opinions of school principals
TUĞÇE YARICI
Yüksek Lisans
Türkçe
2022
Eğitim ve ÖğretimErzincan Binali Yıldırım ÜniversitesiEğitim Bilimleri Ana Bilim Dalı
DOÇ. DR. FETHİ KAYALAR