İçerik

• Tutarlı, istikrarlı

  
  

  Klasik tümdengelimli mantıkta tutarlı bir teori, çelişki içermeyen bir teoridir. Çelişki eksikliği, anlamsal veya sözdizimsel terimlerle tanımlanabilir. Anlamsal tanım, bir teorinin, yalnızca bir modele sahip olması durumunda tutarlı olduğunu, yani teoride yer alan tüm formüllerin geçerli olduğu bir yorum bulunduğunu belirtir. Bu, geleneksel Aristoteles mantığında kullanılan anlamdır, ancak çağdaş matematik mantığında yerine tatmin edici terim kullanılır. Sözdizimsel tanım, T { displaystyle T} teorisini, eğer hem φ { displaystyle varphi} hem de olumsuzlama ¬ φ { displaystyle varphi} ve ation { displaystyle varphi} formüllerinin olmaması durumunda tutarlıdır. varphi}, T { displaystyle T} kümesinin öğeleridir. A { displaystyle A} bir kapalı cümle kümesi (gayrı resmi olarak "aksiyomlar") ve ⟨A⟩ { displaystyle langle A rangle} bazılarının altında {{displaystyle A} 'dan ispatlanabilen kapalı cümle kümesi olsun (belirtilen, muhtemelen örtük olarak) resmi tümdengelim sistemi. A { displaystyle A} aksiyomları kümesi ⟨A⟩ { displaystyle langle A rangle} olduğunda tutarlıdır. Eğer bu semantik ve sözdizimsel tanımların belirli bir tümdengelimde formüle edilen herhangi bir teori için eşdeğer olduğu bir tümdengelim sistemi varsa mantık, mantık tam olarak adlandırılır. Cümle hesabının bütünlüğü 1918'de Paul Bernays ve 1921'de Emil Post, 1930'da ise emir hesabının bütünlüğü 1930'da Kurt Gödel tarafından kanıtlanmış ve indüksiyon aksiyom şemasına göre kısıtlanan aritmetik tutarlılık kanıtları Ackermann tarafından kanıtlanmıştır. (1924), von Neumann (1927) ve Herbrand (1931). İkinci dereceden mantık gibi daha güçlü mantıklar tam değil. Bir tutarlılık kanıtı, belirli bir teorinin tutarlı olduğunun matematiksel bir kanıtıdır. Matematiksel kanıt teorisinin erken gelişimi, Hilberts programının bir parçası olarak tüm matematiğe parasal tutarlılık kanıtları sağlama arzusundan kaynaklandı. Hilberts programı, yeterince güçlü kanıt teorilerinin kendi tutarlılıklarını ispatlayamayacağını (aslında tutarlı olmaları şartıyla) kanıtlayan eksiklik teoremlerinden etkilenmiştir. Tutarlılık model teorisi ile kanıtlanabilse de, genellikle mantık modeline referans vermeksizin tamamen sözdizimsel bir şekilde yapılır. Kesilmenin ortadan kaldırılması (veya eğer varsa temelde hesabın normalizasyonunun eşit olması normaldedir) hesabın tutarlılığına işaret eder: açık bir şekilde kesin olmayan bir sahtekârlık kanıtı olmadığı için, genel olarak herhangi bir çelişki yoktur.

  
  

• Tutarlı (sıfat)

  tutarlı yazım hatası

• Tutarlı (sıfat)

  Düzenli olarak meydana gelen, güvenilir bir doğa. 16'nın sonundan itibaren c. eski anlamda sense oluşan ’

  “Çin'de Chinglish'in tutarlı bir şekilde kullanılması, bazı eğlence dışında, çok can sıkıcı olabilir.”

  “Politik seçimlerinde çok tutarlı: ekonomi iyi ya da kötü, her zaman İşçi'ye oy veriyor!”

• Tutarlı (sıfat)

  Uyumlu, uyumlu.

• Tutarlı (sıfat)

  Bir dizi ifadeden: onlardan mantıklı bir şekilde çelişki çıkmayacak şekilde.

• Tutarlı (isim)

  Bir arada var olan veya birbirleriyle uyumlu olan nesneler veya gerçekler.

• Tutarlı (isim)

  Yardım etmelerine izin verilen bir tür cezaevi, kutsal kutsalları almasına izin verildi.

• Tutarlı (sıfat)

  Sıkılığa veya sabitliğe sahip olmak; pekiştirmek; zor; katı.

  
  

• Tutarlı (sıfat)

  Kendisiyle veya başka bir şeyle anlaşarak; parçaları arasında uyum sağlamak; birliğe sahip olmak; accordant; uyumlu; münasip; uyumlu; homojen; çelişkili değil.

• Tutarlı (sıfat)

  İnsanların inanç ve mesleklerine uygun olarak yaşamak veya hareket etmek.

• Tutarlı (sıfat)

  (bazen 'ile birlikte takip') sözleşmede veya tutarlı veya güvenilir;

  "Bilinen gerçeklerle tutarlı bir tanıklık"

  “Takip ettiğim davranış tarzının savaş sırasındaki cumhurbaşkanı olarak sorumluluk duygumla tutarlı olduğuna karar verdim”

• Tutarlı (sıfat)

  parçaların düzenli, mantıklı ve estetik olarak tutarlı bir ilişkisi ile işaretlenmiş;

  "mantıksal bir argüman"

  "düzenli sunum"

• Tutarlı (sıfat)

  çoğaltılabilen;

  "Şaşırtıcı derecede tekrarlanabilir sonuçlar elde edilebilir"

• Tutarlı (sıfat)

  aynı yapı veya kompozisyon boyunca aynı;

  "Bitümlü kömür genellikle tutarlı ve homojen bir ürün olarak değerlendirilir"