Son zamanlarda, ispatın çelişkinin geçerliliğini düşünüyordum. Geçtiğimiz birkaç gün boyunca sezgisel mantık ve Godel'in teoremleri hakkında sorularıma cevap verip vermeyeceklerini okudum. Şu anda hala sorularım var (belki de okuduğum yeni materyalle ilgili) ve bazı cevaplar almayı umuyordum
( UYARI : mantığı çok karışık temelleri olan içeriği okumaya devam edersiniz, her şeyi bir tuz tanesi ile alırsınız, bunun bir soru değil, bir soru olduğu varsayılır, içinde birçok yanlış anlama var).
Sanırım asıl sorum şu: A'nın bazı çelişkilere yol açtığını gösterdiğimizde, A'nın yanlış olmaması gerekir, o zaman gidip A'nın doğru olması gerektiği sonucuna varıyoruz. Bu kısım mantıklı (özellikle dışlanan ortadaki yasayı mantıklı bir şey olarak kabul edersem) ama beni rahatsız eden şey, çelişkinin kanıtının gerçekte nasıl gerçekleştiğidir. İlk önce A değil ile başlıyoruz ve sonra sadece aksiyomları ve çıkarım kurallarını uyguluyoruz (mekanik olarak söyleyin) ve bunun bizi nereye götürdüğünü görüyoruz. Genellikle bir çelişkiye ulaşır (Diyelim ki A doğrudur veya ve doğrudur). Biz A'nın yanlış olmaması gerektiği sonucuna varıyoruz, bu yüzden A doğrudur. Bu iyi. Ama sorum şu ki, resmi sistemlerin ne tür garantileri var?aynı süreci uygularsam ama A ile başlasam da orada bir çelişki yaşamaz mıyım? Sanırım çelişkilerle benzer bir süreç, aynı süreç A'da bir çelişkiye ulaşmazsa, olmayacak ne tür garantilere sahip olduğumuzu kanıtlayan gizli bir varsayım olduğunu düşünüyorum. İmkansız bir kanıt var mı? Başka bir deyişle, sonsuza dek giden bir Tornalama Makinesi (TM) (veya süper TM) varsa, sözde gerçek ifadesinden başlayarak her aksiyomdan tüm mantıksal adımları denedi , bir çelişki bulmaktan dolayı DURMADIĞINI garanti eden şey ?
Daha sonra Godel'in eksiklik teoremiyle şu şekilde bir şey yapan geçmiş sorumla bazı bağlantılar kurdum:
Aritmetiği ifade eden resmi bir sistem F kendi tutarlılığını kanıtlayamaz (F içinde).
Bu temelde, eğer bu doğru ise tutarlılık yani A'nın değil A'nın garanti edilmesinin imkansız olduğunu açıkça ortaya koydu. Bu nedenle, çelişkinin kanıtının dolaylı olarak bir şekilde tutarlılığın garanti altına alındığını varsaydığı görülmüştür (aksi halde neden devam edip A'nın doğru olmadığını zaten tutarlılığı bilmiyorsa A'nın mümkün olmadığını kanıtlayarak sonuçlandırılması gerekir. ve çelişki, nerede olursa olsun, A) değil, A ifadesi çifti için? Bu yanlış mı yoksa bir şey mi kaçırdım?
Sonra düşündüm, tamam sadece aksiyomlarımıza dışlanmış orta kuralını dahil edelim ve sonra tüm problemler çözüldü. Ama sonra fark ettim, eğer yaparsak, sorunu ele almak yerine sorunu tanımladığımızı düşünürsek. Eğer sistemimi, aslında tutarlı olduğu anlamına gelmeyen bir tanımla tutarlı olmaya zorlarsam ... değil mi? Sadece bu fikirleri anlamaya çalışıyorum ve ne yapacağımdan tam olarak emin değilim ama bu kavramların, çelişkilerin, seçkin ortaların hemen hemen her alanında bir şeyler okuduktan ve videolar izledikten sonra farkına vardım, sezgisel mantık, Godel'in bütünlüğü ve eksiklik teoremleri…
Bununla ilgili olarak, dışlanmış orta (veya çelişki) kuralı olmadan bir şeyin yanlış olduğunu gerçekten kanıtlamak aslında imkansız görünüyor. Kanıt sistemlerinin gerçek ifadeleri kanıtlamada iyi olduğu anlaşılıyor, ancak benim anlayışımla, şeylerin doğrudan yanlış olduğunu gösteremedi. Belki de bunu yapmanın yolu dolaylı olarak çelişkilidir (bir şeyin yanlış veya kötü şeyler olması gerektiğini gösterir) veya hariç tutulan orta (sadece bir A'nın veya A'nın değil A'nın gerçek değerini bilmek bize diğerinin gerçekliğini verir) veya karşı örnekler sağlamak (temelde bunun tersinin doğru olduğunu gösterir, dolaylı olarak hariç tutulan ortadaki yasayı kullanır). Sanırım belki de bir şeyin yanlış olduğuna dair yapıcı bir kanıt isterim?
Eğer A'nın yanlış olduğunu kanıtlarsam (çelişki kabul ettiğimi söyle) o zaman gerçekten iyi olduğunu ve tüm çıkarım kurallarını ve aksiyomlarını A'ya sonsuz olarak uygulamam gerekmediğini bilebilirsem ve A'nın kazandığını garanti ederim. bir çelişkiye ulaşmaz. Eğer bu doğruysa, o zaman çelişkinin kanıtını daha kolay kabul edebileceğimi düşünüyorum. Bu doğru mu yoksa Godel'in ikinci eksikliği buna sahip olamayacağımı garanti ediyor mu? Eğer buna sahip olamıyorsam, beni şaşırtan şey, matematik yapan o kadar çok matematikçinin bir tutarsızlık bulamadığımızın ne kadar mümkün olduğudur? Ampirik tutarlılık kanıtlarına güvenmem gerekiyor mu? Ya da örneğin I prof F, superF F'yi kanıtlayarak tutarlıdır ancak asla superF ve sadece F'ye ihtiyacım olmayacağından, gerçekten işe yarayan içerik olamam?
Şikayetimin doğrudan kanıtlara da dayandığını fark ettim. Tamam, eğer A'nın doğrudan bir kanıtını yapsaydım, o zaman A'nın doğru olduğunu bilirim ... ama A'nın değil, doğru bir kanıt elde edemeyeceğimin doğrudan bir kanıtını yapsaydım nasıl bilebilirim? Aynı soru biraz farklı vurgu gibi görünüyor ....