Turing Makinesinde Gödelizasyon


12

Hesaplama Teorisi'nde Gödelleşme dersine bakıyordum. Gödel numaralandırma kavramlarını anlayabilirdim, ancak Hesaplama Teorisindeki önemini anlayamadım. Herkes lütfen iyi malzemelere veya önemine işaret edebilir mi?

Yanıtlar:


18

Bilgisayar bilimindeki Gödel numaralandırma, aşağı yukarı "kaynak kodu" ve "ikili biçimde veri" anlamına gelir, bu yüzden bunun gerçekten böyle olduğuna ikna edebilirsem, bunun önemi açık olmalıdır.

Modern bilgisayarların ortaya çıkışına önce, insanlar örnek birisi hesaplamak için bir makine yaptı için, (Ben değil, bir tarih size bir hikaye söylüyorum) bilgisayarların tek bir amaca yapılan ve başkasının hesaplanması için bir makine yaptı Bessel işlevi. Turing'in orijinal görüşü , herhangi bir makinenin açıklamasını girdi olarak alan ve simüle eden sadece bir makine ( evrensel olan) inşa etmemiz gerektiğiydi. Peki "bir makinenin tanımı" nedir? Bir mühendis devre tasarımlarını ve montaj talimatlarını düşünebilir. Ancak bu çok karmaşıktır ve bir makineye kolayca sunulmaz. Ve belki de her zamankinden daha karmaşık makineler her zamankinden daha karmaşık açıklamalar gerektirir?arctan

01

010101

Uygulamada biz olarak bilinen çeşitli biçimlerde programları ve verileri temsil .java, .py, .mp3, .jpgdaha kolay matematik dahilinde manipüle çünkü mantık ve insanları hesaplama Teoride, vb eski güzel sayılarla sopa tercih ederler.

0101


Bu çok açık. Bunlarla ilgili bazı teknik malzemeleri nereden bulabilirim?
user5507

"Bunlar üzerinde" ne anlama geliyor?
Andrej Bauer

Belirsiz İngilizcem için özür dilerim. Turing makinesinde Godelization hakkında kanıt içeren bazı materyaller arıyordum. Lütfen bana buradaki godel numaralandırmasının önemini anlatır mısınız? (Bir sayı itibaren bir diziyi oluşturma)
user5507

Martin Davis'in "Hesaplanabilirlik ve Çözülemezlik" adlı kitabı Turing Machines için çok ayrıntılı bir işleme sahiptir, belki de aradığınız şey budur. Ne istediđinden emin deđilim.
Andrej Bauer
Sitemizi kullandığınızda şunları okuyup anladığınızı kabul etmiş olursunuz: Çerez Politikası ve Gizlilik Politikası.
Licensed under cc by-sa 3.0 with attribution required.