[MD-sorular] bir soru

[Metin Odun]

"Sonlu sürede kontrol edilebilmek" ne demek?

Metin

16 Kasım 2009 21:54 tarihinde Hasan Bilgin Bicer <hb_bicer at yahoo.com.tr>yazdı:

> P(n) n dogal sayisina bagli bir onerme olsun.
> Q onermesi, " P(n) her n dogal sayisi icin dogrudur." olsun.
> Ve Q onermesini yanlislayan bir kanit vermenin mumkun olmadiginin
> kaniti verilmis olsun. Buna A kaniti diyelim.
> O halde, " her n dogal sayisi icin, P(n) onermesinin dogru olup olmadigi
> sonlu surede kontrol edilebiliyorsa, Q dogrudur." diyebilir miyiz?
> Mesela, soyle bir akil yurutme yapsak dogru olur mu :
>
> P(n) onermesi her n icin sonlu surede kontrol edilebilir olsun.
> A'dan dolayi Q onermesi hicbir t aninda  yanlislanamiyor. Q onermesi ya
> yanlis ya dogrudur. Eger
> Q yanlissa, bunu P(n) yi her n icin kontrol ede ede sonlu bir surede, belli
> bir t=t0 aninda ispatlariz. Bu ise A ile celisir. O halde Q yanlis olmamali,
> yani dogru olmalidir.
>
> ------------------------------
> Yahoo! Türkiye açıldı!
> Haber, Ekonomi, Videolar, Oyunlar hepsi Yahoo! Türkiye'de!
> www.yahoo.com.tr <http://tr.yahoo.com/>
>
> _______________________________________________
> MD-sorular e-posta listesi
> sorular at matematikdunyasi.org
> http://lists.math.bilgi.edu.tr/cgi-bin/mailman/listinfo/md-sorular
>
-------------- sonraki bölüm --------------
Bir HTML eklentisi temizlendi...
URL: http://lists.math.bilgi.edu.tr/pipermail/md-sorular/attachments/20091117/b765ef85/attachment.htm