[MD-sorular] Re: MD-sorular Toplu Mesaji, Sayi 10, Konu 1

[Demirhan Ramazan Tunc]

Oktay Bey,
Alttaki teoremin tam olarak ingilizce statement'ini biliyor musunuz? Daha once hic duymadigim bir teorem. Sayilar kurami derken dogal sayilarin teorisi mi kastedilmis? esbicimlilik model teoretik esbicimlilik mi?
Demirhan
 
>Ama Gödel'e baktigimizda 1931 deki kitabinda bir teorem vermis: "Tüm biçimsel dizgeler sayilar kuramina >esbiçimlidir". (Dizge=sistem, kurallar bütünü; biçimsel=formel, esbiçimlilik=izomorphizma). Yani yazili >kurallara dökebilecegimiz her sistem sayilar kurami ile de betimelenebilir. 
-------------- sonraki bölüm --------------
Bir HTML eklentisi temizlendi...
URL: http://lists.math.bilgi.edu.tr/pipermail/md-sorular/attachments/20051101/39236d32/attachment.htm