Ünite 14: WILLARD VAN ORMAN QUINE ve ALAN TURING — Kelime Bul

Tanımı oku, kavramı harf harf bul. 7 kelime var.

1 / 70 doğru

Alan ••• tarafından saptama yöntemi kavramını formalize etmek için geliştirilen kuramsal bir hesap •••. Hesaplamalarını kutucuklara bölünmüş, üzerinde semboller bulunan bir bant üzerinde okuma, yazma ve ilerleme basit işlemleriyle gerçekleştirir.

Hilbert'in Saptama Sorunu (Entscheidungsproblem) — David ••• ortaya attığı ve herhangi bir matematiksel önermenin doğruluğuna ya da yanlışlığına karar vermek için evrensel bir ••• yönteminin var olup olmadığını irdeleyen ünlü matematik problemidir. Alan Turing bu ••• çözümü olmadığını kanıtlamıştır.

Turing Makinesi — Alan ••• tarafından saptama yöntemi kavramını formalize etmek için geliştirilen kuramsal bir hesap •••. Hesaplamalarını kutucuklara bölünmüş, üzerinde semboller bulunan bir bant üzerinde okuma, yazma ve ilerleme basit işlemleriyle gerçekleştirir.

Evrensel Turing Makinesi — Diğer tüm ••• makineleri ile aynı prensipler üzerine inşa edilen ve başka herhangi bir ••• ••• çalışmasını taklit edebilen kuramsal modeldir. Günümüzdeki her dijital bilgisayar bu ••• makinenin bir benzeri ve somut karşılığıdır.

Enigma — II. Dünya Savaşı sırasında Naziler tarafından kullanılan ve haberleşme şifrelemesinde üstün güvenlik sağlayan şifreleme makinesidir. Alan Turing, Bletchley Park'taki çalışmalarıyla bu makinenin şifrelerinin çözülmesinde kilit rol oynamıştır.

Saptama Yöntemi — Matematiksel önermelerin doğruluğunu veya yanlışlığını mekanik ve kesin bir prosedürle belirlemeye yarayan karar verme •••. Turing, makalesinde genel bir ••• var olamayacağını kanıtlamıştır.

Modalite — Quine'ın mantık kapsamı dışında tuttuğu, 'zorunluluk' veya 'olabilirlik' gibi yönelim kavramları barındıran formel sistemler ve kiplik mantığı alanıdır. Quine, bu tür kavramların mantığın sınırları içinde yer almadığını savunmuştur.

Principia Mathematica — Bertrand Russell ve Alfred North Whitehead kaleme aldığı devasa mantık eseridir. Quine, 'Matematiksel Mantık' adlı kitabında bu eserin binlerce sayfada anlattığı konuların kendi yöntemleriyle 250 sayfada özetlenebileceğini göstermiştir.