Biçimsel Sistemlerde Transverberasyonu Anlamak

Transverberasyon, matematikçi ve filozof Gottlob Frege tarafından belirli biçimsel sistemlerde ortaya çıkan bir tür kendine referansı tanımlamak için icat edilen bir terimdir. Bu, bir ifadenin veya formülün doğrudan veya dolaylı olarak kendisine bir referans içermesi durumunda ortaya çıkan bir olgudur. ) ifadenin kendisi de dahil olmak üzere sistemdeki tüm ifadeler veya formüller kümesini kapsar. İfade, kendi anlamıyla tutarlı olmayan bir şekilde kendisine gönderme yapıyor olabileceğinden, bu durum paradoksal veya tutarsız sonuçlara yol açabilir.

Örneğin, "bu cümle yanlıştır" ifadesini düşünün. Bu ifadenin doğru olduğunu varsayarsak, o zaman yanlış olması gerekir, bu da onun doğru olamayacağı anlamına gelir. Bu mantıksal bir çelişki yaratır ve ifadenin çarpıtıldığı söylenir.

Çevirileme, Peano aritmetiği gibi belirli biçimsel sistemlerde ortaya çıkan ve paradoksal sonuçlara yol açabilen bir olgudur. Ayrıca, biçimsel sistemlerin sınırlamalarını ve kendine referans vermenin doğasını araştırmak için kullanıldığı model teorisi ve kanıt teorisi bağlamında da incelenmiştir.