[MD-sorular] bir soru

[Hasan Bilgin Bicer]

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ı!  http://yahoo.com.tr
İnternet üzerindeki en iyi içeriği Yahoo! Türkiye sizlere sunuyor!
-------------- sonraki bölüm --------------
Bir HTML eklentisi temizlendi...
URL: http://lists.math.bilgi.edu.tr/pipermail/md-sorular/attachments/20091116/76b3f89b/attachment.htm