Ben soruyu okuyor Tutarlılık ve tamlık sağlamlığını ima? ve içindeki ilk ifade şöyle diyor:
Sağlamlığın tutarlılığı ima ettiğini anlıyorum.
Hangi oldukça şaşırdım çünkü sağlamlık tutarlılıktan daha zayıf bir ifade olduğunu düşündüm (yani tutarlı sistemlerin sağlam olması gerektiğini düşündüm ama sanırım doğru değil). Scott Aaronson'un MIT'deki 6.045 / 18.400 kursunda tutarlılık ve sağlamlık için kullandığı gayri resmi tanımı kullanıyordum :
- Sağlamlık = Bir kanıt sistemi, kanıtladığı tüm ifadeler gerçekten doğruysa (kanıtlanabilir her şey doğrudur) sağlamdır. yani EĞER ( kanıtlanabilir)( Doğru). EĞER (bir formülün yolu varsa) SONRA (bu formül Doğru'dur)
- Tutarlılık = Tutarlı bir sistem asla A ve NOT (A) 'yı kanıtlamaz. Bu yüzden sadece bir A veya olumsuzlaması Doğru olabilir.
Bu (belki de gayri resmi) tanımları göz önünde bulundurarak, sağlam ancak tutarlı olmayan bir sistem olduğunu göstermek için aşağıdaki örneği oluşturdum:
Bunun sağlam bir sistem olduğunu düşünmemizin nedeni, varsayımla aksiyomların doğru olmasıdır. Yani A ve A değil her ikisi de doğrudur (evet, dışlanan orta yasa dahil değildir biliyorum). Tek çıkarım kuralı olumsuzluk olduğundan, aksiyomlardan A'ya değil A'ya ulaşabilir ve birbirimize ulaşabiliriz. Böylece, sadece bu sistemle ilgili True ifadelerine ulaşırız. Ancak, elbette sistem tutarlı değildir, çünkü sistemdeki tek ifadenin reddini kanıtlayabiliriz. Bu nedenle, bir ses sisteminin tutarlı olmayabileceğini gösterdim. Bu örnek neden yanlış? Neyi yanlış yaptım?
Kafamda bu sezgisel olarak mantıklı geliyor, çünkü sağlamlık sadece başladıktan sonra ve aksiyom ve çıkarım kurallarını kastettiğimizde, sadece Doğru olan hedeflere (yani ifadelere) ulaştığımızı söylüyor. Ancak, hangi varış noktasına geldiğimizi gerçekten söylemiyor. Ancak tutarlılık, yalnızca veya (her ikisi birden değil) ulaşan bir hedefe ulaşabileceğimizi söylüyor . Bu nedenle, her tutarlı sistem, hariç tutulan ortadaki bir aksiyom yasasını içermelidir, ki bu tabii ki ben yapmadım ve sonra sadece diğer aksiyom olarak tek aksiyomun olumsuzlanmasını içermiştir. Yani çok zekice bir şey yaptığımı hissetmiyor, ama bir şekilde bir şeyler yanlış mı?¬ A
Bunun bir sorun olabileceğinin farkındayım çünkü Scott'ın resmi olmayan tanımını kullanıyorum. Soruyu yazmadan önce bile wikipedia'yı kontrol ettim ama tanımları bana mantıklı gelmedi. Özellikle söyledikleri kısım:
sistemin anlambilimi açısından
tam teklifleri:
sistemde kanıtlanabilecek her formül, sistemin anlambilimi açısından mantıksal olarak geçerlidir.