เป็นไปได้หรือไม่ที่จะแสดงให้เห็นว่าประโยคนั้นต้องเป็นอิสระอย่างเป็นทางการบนพื้นฐานของข้อเท็จจริงที่ว่ามันไม่เกี่ยวข้องกันหรือไม่? กล่าวอีกนัยหนึ่งมีตัวอย่างของประโยคในทฤษฎีการคำนวณ / ความซับซ้อนที่สามารถแสดงให้เห็นทั้งสองก) ว่าการพิสูจน์ทั้งหมดที่แก้ไขปัญหาว่าทั้งสองคลาสนั้นเท่ากันหรือไม่นั้นต้อง relativize และ b) ไม่มีการพิสูจน์ความสัมพันธ์ที่ สามารถใช้ในการแก้ปัญหาดังกล่าวหรือไม่?
ฉันคิดว่าผลลัพธ์ที่น่าพึงพอใจในส่วน b จะง่ายขึ้น อีกวิธีหนึ่งที่จะถามคำถามนี้คือ: เคยมีประโยคหนึ่งในทฤษฎีการคำนวณหรือความซับซ้อนที่สามารถแสดงให้เห็นได้ว่าต้องสร้างความเสมอภาคหรือความไม่เท่าเทียมกันโดยใช้เทคนิคการ relativizing (และผ่านการใช้เท่านั้น)? ตัวอย่างนี้น่าสนใจสำหรับฉัน
ขอบคุณ; คำตอบของคำถามนี้ทั้งสองฉบับน่าสนใจมากสำหรับฉัน
ฟิลิป