Üye : Giriş |Kayıt |Yükleme bilgisi
Arama
Saptanabilirlik: mantık
1.Hesaplanabilirlik ile ilişkisi
2.Mantıksal bir sistemin karar verilebilirliği
3.Bir teorinin karar verebilirliği
4.Bazı kararlı teoriler
5.Oyunlar bağlamında
6.Bazı kararsız teoriler [Değişiklik ]
içerir (Monk 1976, s. 279):

Eşitlik ile herhangi bir birinci dereceden imzanın mantıksal geçerlik setidir ve her ikisi de en az 2 olan bir ilişki sembolü veya iki tekil işlev sembolü veya 1953'te Trakhtenbrot tarafından kurulan 2'den az olmayan bir fonksiyon sembolü.
1949'da Tarski ve Andrzej Mostowski tarafından kurulan ek sayı, çarpma ve eşitliğe sahip doğal sayıların birinci dereceden teorisi.
1949'da Julia Robinson tarafından kurulan ek, çarpma ve eşitliğe sahip rasyonel sayıların birinci dereceden teorisi.
1953'te Alfred Tarski tarafından kurulan grupların birinci dereceden teorisi. Dikkat çekici bir şekilde, yalnızca genel grup teorisi tartışılmaz değil, aynı zamanda bazı daha spesifik teoriler, örneğin (Mal'cev 1961 tarafından belirlendiği gibi) sonlu grupların teorisi. . Mal'cev ayrıca semigrupların teorisinin ve halkaların teorisinin kararsız olduğunu ortaya koydu. Robinson 1949'da alan teorisinin kararsız olduğunu belirtti.
Robinson aritmetiği (ve dolayısıyla Peano aritmetiği gibi herhangi bir tutarlı uzama), 1950'de Raphael Robinson tarafından belirlendiği gibi, kesinlikle kabul edilemez.
Eşitlik ve iki işlev sembolüyle birinci dereceden teori

Yorumlanabilirlik metodu genellikle teorilerin kararsızlığını sağlamak için kullanılır. Temel olarak kabul edilemez bir teori T tutarlı bir teoride S yorumlanabilirse, o zaman S de esasen kararsızdır. Bu, hesaplanabilirlik teorisinde birebir bir azalma kavramı ile yakından ilişkilidir.
7.Semidecidability
8.Bütünlük ile ilişki
[Yükle Daha fazla Içindekiler ]


Telif hakkı @2018 Lxjkh