Merhabalar, Aslinda benim gordugum kadariyla tam olarak ayni terimlerle dusunmuyoruz. Dolayisiyla simdi gercekten her dediginizi hakkini vererek takdir edebildim dersem yalan olur. Mesela ben reel sayilari dusunurken aklimda dogal ve rasyonel sayilari tanimlayabildigimiz bir model var. Digerleriyle hic muhatap olmadigim icin birsey soyleyemem.
> Sanirim sorun ayni olduklarini dusunmenizden > kaynaklaniyor. > Ikincisi birincisinin ispatlayabildigi herseyi > ispatlayabiliyor, ama > tersi dogru degil. .... > > Ama iki tanimlayici axiom sitemi birini > > digerinden cikaramiyorsak zaten ayni sistemi > temsil > > edemezler. Burada her iki sistemin ayni primitive > > terimlere sahip oldugunu kabul ediyorum. Yani eger > > burada sacmalamiyorsam, Euclid geometrisini temsil > > eden boyle iki farkli sistem nasil var oluyor, > bunu > > anlamadim. > > Euclid geometrisi de ayni degil. Ikincisini > gelistirilmis euclid > geometrisi olarak dusunebilirsiniz. (Kusura bakmayin > biraz "redundant" > olduysa) Evet ben ayni sistemlerden bahsedildigini farzediyordum. O zaman sorun terimlerde, esasta sorun yok. > sanırım bu konuda yanlıŠanlamamız yok. Tam > derken neyi kastetmediÄiniz > açık da, neyi kastettiÄiniz biraz dalgalı > bulutlu. > Makaledeki (ya da yapıÅtırdıÄınız > kısımdaki) bütün tamlar teorilerin > (Gödel) eksiksizliÄi anlamında kullanılmıŠ> (modeller için). Ve ben bir çeliÅki > göremedim. Terim karisikligi... Tanimlarimiz farkli olunca bahsettigimiz seyler de farkli oluyor dolayisiyla. Simdi ben reel sayi deyince kasdettigim sistem belirli bir sistem ve bundan daha eksik bir sistemi ben zaten reel sayi sitemi olarak dusunmuyordum. Bu sistem dogal sayi aksiyomlarini da kapsiyor. Dolayisiyla anladigimiz modeller farkli. Siz sistemi yeniden axiomatize ettiginizde biri digerini genellestirdiginde halen ikisine ayni terimlerle isaret ediyorsunuz gordugum kadariyla. Benim icin bunlar farkli objeler artik... Bu cok onemli ve karisikliga neden olan ana nokta galiba. Tamliktan kasdettigim sey, modelinizdeki terimlerle olusturabildiginiz tum onermelerin axiom sisteminin disina cikmadan dogrulanabilmesi veya yanlislanabilmesi (tutarli olarak). Problem bu degil sanirim: modellerimiz farkli: benim reel sayi modelim rasyonel Cauchy dizilerinin mutlak deger fonksiyonuyla olusturulan dogal metrigine gore denklik siniflari + siralanmis cisim yapisi. Bundan fazlasi tamam (var olan eleman kumesini degistirmedigi surece), ama azi tamam degil... Eminim siz bundan bahsetmiyorsunuz. Tabii yazar da ;). Dolayisiyla yazinin bana terimlerimi degistirmedigim surece anlam ifade etmemesi de dogal. Guzel oldu, aydinlanmis oldum. Tesekkur ederim, Nusret __________________________________________________ Do You Yahoo!? Tired of spam? Yahoo! Mail has the best spam protection around http://mail.yahoo.com _______________________________________________ cs-lisp mailing list cs-lisp@cs.bilgi.edu.tr http://church.cs.bilgi.edu.tr/lcg http://cs.bilgi.edu.tr/mailman/listinfo/cs-lisp
