Ünite 14: WILLARD VAN ORMAN QUINE ve ALAN TURING — Alıştırmalar
Ders kitabının açık uçlu alıştırmaları. Bunlar çoktan seçmeli sınav sorusu değil — düşünmeni, araştırmanı, kendi cümlelerinle anlatmanı isteyen etkinlikler. Kitabın verdiği örnek yanıtlar kapalı duruyor; önce kendin dene.
Alıştırma 1myders hazırladı
Quine'ın mantık anlayışını, ikinci-dereceden mantık ve modal mantık gibi formel sistemlere bakışı üzerinden değerlendiriniz. Neden bu alanları mantık kapsamı dışında tuttuğunu tartışınız.
Yanıt / ipucu
Quine, mantığı birinci-dereceden yüklemler mantığı ile sınırlandırır. İkinci-dereceden mantık ve modalite gibi kavramların, mantığın temel yapısını bozduğunu veya gereksiz karmaşıklıklar içerdiğini savunur.
Alıştırma 2myders hazırladı
Quine-Duhem problemini kendi cümlelerinizle açıklayarak, bu problemin bilimsel deneylerin yorumlanması üzerindeki etkisine dair bir örnek senaryo kurgulayınız.
Yanıt / ipucu
Quine-Duhem problemi, deneylerde tek bir hipotezin değil, bir önermeler bütününün test edildiğini savunur. Örneğin, başarısız bir deneyde hatanın temel teoride mi yoksa yardımcı bir varsayımda mı olduğunu tek başına belirlemek imkansızdır.
Alıştırma 3myders hazırladı
Alan Turing'in geliştirdiği 'Turing Makinesi' modelinin temel çalışma prensiplerini ve bu modelin günümüz dijital bilgisayarlarının gelişimindeki rolünü araştırarak özetleyiniz.
Yanıt / ipucu
Turing makinesi, bant üzerinde okuma, yazma ve hareket etme prensibiyle çalışan kuramsal bir modeldir. Bu modeldeki 'Evrensel Turing Makinesi' kavramı, farklı işlemleri taklit edebilme yeteneğiyle modern bilgisayarların mimari temelini oluşturmuştur.
Alıştırma 4myders hazırladı
Quine ve Turing'in II. Dünya Savaşı dönemindeki katkılarını karşılaştırınız. Her iki ismin de matematiksel ve mantıksal yeteneklerinin savaşın seyrine nasıl etki ettiğini analiz ediniz.
Yanıt / ipucu
Quine Amerikan Donanması'nda şifre çözücü olarak görev alırken, Turing Bletchley Park'ta Enigma makinesinin kırılmasında kritik bir rol oynamıştır. Her ikisi de soyut mantık yeteneklerini pratik ve stratejik birer araç olarak kullanmışlardır.
Alıştırma 5myders hazırladı
Hilbert'in 'matematiğin saptanabilirliği' problemini ve Turing'in bu soruya verdiği negatif yanıtı, mantık felsefesi açısından neden bir dönüm noktası olarak kabul edebileceğimizi tartışınız.
Yanıt / ipucu
Turing, saptama yönteminin olmadığını kanıtlayarak matematiğin her sorusunun mekanik bir yöntemle çözülemeyeceğini göstermiştir. Bu, mantık ve matematik dünyasında 'her şeyin hesaplanabilir olduğu' inancını yıkan devrimsel bir sonuçtur.
