1.
karar verilemezlik sorunu veya decision problem cart curt.. en sevilenlerdendir. çünkü her şey onunla başladı..
asıl perdeyi açan leibniz'dir onu söylemeden başlamayalım. perdeyi açan leibniz'dir derken burdaki kasıt leibniz'in olasılık için yapmış olduğu tanımdır. olasılık ve yetersiz neden ilkesine kadar geri gitmek gerekse de uzatamam o kadar üst solunum yollarım tıkalı. o yüzden hilbert, ackermann ve gödel isimleri başlangıç için zikredilmeli.
first order * logic'te verili olan herhangi bi cümlenin totoloji olup olmadığını sonlu bi yöntemle anlama çabasıdır. alonzo church boşuna uğraşıyosunuz bulamazsınız demiş ve ispatlamış 30'lu yıllarda. bikaç sene sonra da turing mevzuyu göstererek anlatmış. hatta turing'in kanıtlayıcısının adı neydi hatırlayanlar olacak elbet.. computer.. computer bilgisayar anlamında değil tabi o zaman turing için ispat yapan matematikçi daha çok.. şimdi buraya turing makinasının geçiş fonksiyonlarını yazamam ama şöyle ki bölünmüş sonsuz bi banttan, sembollerden oluşan sonlu bi kümeden, banttaki sembolleri okuyan ve iki yöne hareket eden bir bant kafasından, sonlu bi durum kümesinden müteşekkildir. buradaki geçiş fonksiyonu banttan sembol okur ve sembole göre durumu değiştirir*. bu geçiş fonksiyonları algoritmanın ta kendisidir. algoritmaların tanımı elbette sonludur ve fonksiyonların listelenişi gibi algoritmayı da listeleyebiliriz. işte burda turing makinasının karar veremeyeceği bir problem tanımlandığında ortaya halting problem çıkıyo ki bu da bildiğimiz russell paradoksu*..
asıl perdeyi açan leibniz'dir onu söylemeden başlamayalım. perdeyi açan leibniz'dir derken burdaki kasıt leibniz'in olasılık için yapmış olduğu tanımdır. olasılık ve yetersiz neden ilkesine kadar geri gitmek gerekse de uzatamam o kadar üst solunum yollarım tıkalı. o yüzden hilbert, ackermann ve gödel isimleri başlangıç için zikredilmeli.
first order * logic'te verili olan herhangi bi cümlenin totoloji olup olmadığını sonlu bi yöntemle anlama çabasıdır. alonzo church boşuna uğraşıyosunuz bulamazsınız demiş ve ispatlamış 30'lu yıllarda. bikaç sene sonra da turing mevzuyu göstererek anlatmış. hatta turing'in kanıtlayıcısının adı neydi hatırlayanlar olacak elbet.. computer.. computer bilgisayar anlamında değil tabi o zaman turing için ispat yapan matematikçi daha çok.. şimdi buraya turing makinasının geçiş fonksiyonlarını yazamam ama şöyle ki bölünmüş sonsuz bi banttan, sembollerden oluşan sonlu bi kümeden, banttaki sembolleri okuyan ve iki yöne hareket eden bir bant kafasından, sonlu bi durum kümesinden müteşekkildir. buradaki geçiş fonksiyonu banttan sembol okur ve sembole göre durumu değiştirir*. bu geçiş fonksiyonları algoritmanın ta kendisidir. algoritmaların tanımı elbette sonludur ve fonksiyonların listelenişi gibi algoritmayı da listeleyebiliriz. işte burda turing makinasının karar veremeyeceği bir problem tanımlandığında ortaya halting problem çıkıyo ki bu da bildiğimiz russell paradoksu*..
devamını gör...
2.
(bkz: evrensel turing makinesi)
devamını gör...