«incompleteness» etiketlenmiş sorular

Her zaman belirsiz bir şekilde yukarıdaki sorunun cevabının aşağıdaki satırlar boyunca olumlu olduğunu düşündüm. Gödel'in eksiklik teoremi ve durma sorununun kararsızlığı hem karar verilebilirlik konusunda olumsuz sonuçlar doğuruyor hem de diyagonal argümanlarla (ve 1930'larda) ortaya çıkar, bu nedenle aynı konuları görmenin iki yolu olmalılar. Ve Turing'in durma probleminin çözülemez olduğunu …

75 computability  logic  halting-problem  incompleteness 

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 …

19 logic  first-order-logic  propositional-logic  incompleteness 

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 …

12 terminology  logic  first-order-logic  propositional-logic  incompleteness