[MD-sorular] DUZELTME Turing makinasi

barýþ uðurcan barisevren19 at yahoo.com
9 Oca 2009 Cum 19:12:47 EET


bir onceki (asagidaki) mesajdaki kitap kralin yeni usu I olacak (II degil).

baris


________________________________
From: barýþ uðurcan <barisevren19 at yahoo.com>
To: tibetefendi at yahoo.com; md <md-sorular at matematikdunyasi.org>
Sent: Friday, January 9, 2009 7:08:59 PM
Subject: Re: [MD-sorular] Turing makinasi


tabii burda diger bir soru hesaplanabilmenin ne demek oldugu.  roger penrose un kralin yeni usu II kitabinin evrensel turing makinasiyla ilgili bolumunde hesaplananamamayi turing makinasinin verilen kodu sonlu adimda yerine getirememesi olarak tanimliyordu yanlis hatirlamiyorsam.  daha sonra da verilen tum temel turing makinalarinin bir islemi sonlu zamanda gerceklestirip gerceklestirmeyecegini bulabilen bir evrensel turing makinasinin olup olmadigini arastiriyordu.  hatta olmadiginin ispatini, irrasyonellerin sayilabilir olmadigini gosterirken de kullanilan, cantor un dioganal yontemini kullanarak yapiyordu...bir bakin isterseniz. bu arada mesajinizdaki "bos" un ne anlama geldigini anlamadim. mesaji da o kelimeyi yok sayarak cevapladim.

iyi calismalar,

baris




________________________________
From: tibet efendi <tibetefendi at yahoo.com>
To: Matematik Dunyasi <md-sorular at matematikdunyasi.org>
Sent: Friday, January 9, 2009 3:41:00 AM
Subject: [MD-sorular] Turing makinasi


Herhangi bir Turing makinasinin Gödel kodu girdi olarak verildiginde bize o makinanin bos kelimeyi hesaplayip hesaplayamadigini hesaplayan bir Turing makinasi yapilabilir mi?


      
-------------- sonraki bölüm --------------
Bir HTML eklentisi temizlendi...
URL: http://lists.math.bilgi.edu.tr/pipermail/md-sorular/attachments/20090109/c16f42b5/attachment.htm 


MD-sorular mesaj listesiyle ilgili daha fazla bilgi