คอนสตรัคติวิสต์ลอจิกเป็นระบบที่เอากฎของคนที่ได้รับการยกเว้นกลางเช่นเดียวกับการปฏิเสธคู่เช่นสัจพจน์ มีคำอธิบายเกี่ยวกับวิกิพีเดียที่นี่และที่นี่ โดยเฉพาะอย่างยิ่งระบบไม่อนุญาตให้มีการพิสูจน์ด้วยความขัดแย้ง
ฉันสงสัยว่ามีใครบ้างที่คุ้นเคยกับสิ่งนี้ที่มีผลต่อผลลัพธ์เกี่ยวกับทัวริง Machines และภาษาทางการ ฉันสังเกตเห็นว่าเกือบทุกข้อพิสูจน์ว่าภาษานั้นไม่สามารถตัดสินใจได้โดยอาศัยการพิสูจน์จากความขัดแย้ง ทั้งอาร์กิวเมนต์ Diagonalization และแนวคิดของการลดทำงานด้วยวิธีนี้ จะมีหลักฐานที่ "สร้างสรรค์" ของการมีอยู่ของภาษาที่ไม่สามารถตัดสินใจได้หรือไม่และถ้าเป็นเช่นนั้นจะมีลักษณะอย่างไร
แก้ไข: เพื่อความชัดเจนความเข้าใจของฉันพิสูจน์โดยความขัดแย้งในตรรกะ constructivist ผิดและคำตอบได้ชี้แจงนี้