*

  • 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)
  • en cakal ispat hilelerinden biri olsa gerek. gun batimiyla kapisabilecek derecede guzeldir; ki david hilbert ve dadaslari icin bir nevi gunesin batisi anlamina gelmistir vakti zamaninda.
  • hofstadter adlı eleman tanımlamış bunu ama türkçeleştireceğiz diye bokunu çıkarmışlar; kim çevirmiş bilemem ama iki kelam etmek gerek.
    türkiyede aydınların halka inememesinin bir başka sebebi de bu. kelime bazında baktığında hepsi gayet makul çeviri gibi görünse de, bir bütünden yoksun laf salatasına dönüşüyor iş. sonra matematik çok zor. onu zorlaştıran siz çok sevgili türkçe fetişistleri olmayasınız?

    --- spoiler ---

    herhangi bir biçimsel dizgedeki simgeler dizilerinin uzun doğrusal düzenlenişlerinin, belli tamsayılar arasındaki matematiksel ilişkiler tarafından tam olarak yansıtıldığı bir haritalama

    --- spoiler ---
hesabın var mı? giriş yap