Ünite 14: WILLARD VAN ORMAN QUINE ve ALAN TURING — Örnekler
myders hazırladı Ders kitabında bu ünite için örnek kutusu yok. Aşağıdaki örnekler ünite içeriğinden hazırlandı; kavramı somut bir durumla açıklamak için.
Quine-Duhem Problemimyders hazırladı
Bir fizik laboratuvarında deney yapan araştırmacı, beklediği sonucu alamadığında sadece tek bir hipotezi hatalı ilan edemez. Quine-Duhem problemine göre, deneyde sınanan şey tek bir önerme değil, bir dizi önermeden oluşan bütünsel bir sistemdir. Bu yüzden araştırmacı, hatanın hangi önermede olduğunu bulmak için tüm sistemi yeniden değerlendirmek zorundadır.
Analitik ve Sentetik Ayrımımyders hazırladı
Bir öğrenci 'Tüm bekarlar evli değildir' cümlesini sadece kelimelerin anlamlarına bakarak doğruluğunu kesin olarak kabul eder; bu analitik bir önermedir. Ancak 'Bugün hava sıcaklığı yirmi derecedir' cümlesinin doğruluğunu anlamak için dış dünyaya, yani deney gözlemine ihtiyaç duyar ki bu da sentetik bir önermedir. Quine, bu iki önerme türü arasında temel ve aşılmaz bir ayrım olduğunu savunmuştur.
Evrensel Turing Makinesimyders hazırladı
Günümüzde kullandığımız bir dizüstü bilgisayar, aynı anda hem bir hesap makinesi hem bir kelime işlemci hem de bir video oynatıcı olarak çalışabilir. Alan Turing'in geliştirdiği 'Evrensel Turing Makinesi' kavramı, diğer tüm makinelerin işleyişini taklit edebilen bu esnek yapının temelini oluşturur. Bu kuramsal model, modern dijital bilgisayarların farklı görevleri yerine getirebilme yeteneğinin mantıksal çıkış noktasıdır.
