Ünite 14: WILLARD VAN ORMAN QUINE ve ALAN TURING — Hızlı Bakış
Sınavdan hemen önce göz gezdirmek için sıkıştırılmış özet.
Sınavda Dikkat Et
Quine'ın doktora tez danışmanının Alfred North Whitehead olduğunu unutmayın; sınavda karıştırılmaya müsait bir isimdir.
Quine'ın mantığı klasik iki değerli birinci-dereceden mantık ile sınırladığını, modalite ve ikinci-dereceden mantığı mantık dışı bıraktığını mutlaka ezberleyin.
Quine'ın 'Temel Mantık', 'Mantık Yöntemleri', 'Mantık Felsefesi' ve 'Matematiksel Mantık' kitaplarının isimlerini ve yazarlarının Quine olduğunu soru kaçırmamak için not edin.
Quine-Duhem probleminin bilim felsefesiyle ilgili olduğunu ve yalıtılmış tek bir önerme yerine bir dizi önermenin sınanmasını ifade ettiğini unutmayın.
Alan Turing'in Hilbert'in üçüncü problemi olan 'saptama sorunu'nu çözmek için Turing makinelerini geliştirdiğini ve genel bir saptama yönteminin olmadığını kanıtladığını iyi kavrayın.
Evrensel Turing Makinesi kavramının modern dijital bilgisayarların temelini oluşturduğunu ve her modern bilgisayarın bir Evrensel Turing Makinesi benzeri olduğunu kesinlikle aklınızda tutun.
Turing'in II. Dünya Savaşı sırasında Bletchley Park'ta Enigma şifreleri üzerinde çalıştığı bilgisi sınav sorularında sıkça test edilir.
Bilinmesi Gereken Kavramlar
Klasik İki Değerli Birinci-Dereceden MantıkQuine-Duhem ProblemiAnalitik ve Sentetik Önerme AyrımıHilbert'in Saptama Sorunu (Entscheidungsproblem)Turing MakinesiEvrensel Turing MakinesiEnigmaSaptama YöntemiModalitePrincipia Mathematica
Önemli Olaylar / Örnekler
Quine'ın Doktora Danışmanı: Alfred North Whitehead
