gödel numbering
-
bir formal sistemin tüm sembollerini sayılara, tüm tipografik kurallarını da aritmetik kurallara dönüştürme yöntemi. böylece tüm formal sistemler sayılar teorisi içinde irdelenebilir.
(bkz: kurt gödel)
(bkz: gödel teoremleri)
(bkz: gödel escher bach)
ekşi sözlük kullanıcılarıyla mesajlaşmak ve yazdıkları entry'leri
takip etmek için giriş yapmalısın.
hesabın var mı? giriş yap