Nis 172009
 

 

terminator-4

Alman matematikçi David Hilbert (1862-1943) ‘genel’ bir matematik probleminin çözümü için algoritmik bir yöntemin ilke olarak var olup olmadığı sorusunu ortaya koyar. Entscheidungs problem ya da hilbert problemi olarak bilinen problem budur: 

İyi tanımlanmış ‘tüm’ matematik problemlerini çözecek ‘mekanik’ bir yöntem var mıdır? 

 

Buna karşın, bir Turing Makinası’nın ‘mekanik’ olarak belirlenebilecek ‘her’ mantıksal veya matematiksel işlemi kapsayıp kapsamadığını da sorabiliriz. N. turing makinasını  tn ile gösterelim. p sayısının ikilik kodlamasını da tn(m) = p şeklinde gösterelim. Bu durum, tn , m sayısına uygulandığında p sayısını üretir demektir. Bu işlem algoritmik bir yöntemdirve evrensel turing makinasına (u) uygulanabilir. 

Continue reading »