Ünite 14: WILLARD VAN ORMAN QUINE ve ALAN TURING — Sınav Hazırlık Notları
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.
