มีโครงสร้างทั่วไปเพื่อพิสูจน์ความถูกต้องของผลลัพธ์ของฟังก์ชันหรือไม่? กล่าวอีกนัยหนึ่ง มีวิธีทั่วไปในการเป็นพยานสำหรับคำแถลงหรือไม่ $y = ฉ(x)$?
ให้อย่างเป็นทางการมากขึ้น $f: X \ลูกศรขวา Y$ เป็นฟังก์ชันทั่วไป ที่ให้ไว้ $f$มีวิธีทั่วไปในการสร้างฟังก์ชั่นการสร้างพยานหรือไม่ $p: X \ลูกศรขวา W$ และข้อเสนอ $V(x, y, w)$ เช่นนั้นสำหรับทุกคน $x$, เท่านั้น $V(x, f(x), p(x))$ เป็นความจริงและตรวจสอบได้ $V(x, y, w)$ เร็วกว่าการคำนวณ $ฉ(x)$?
คนส่วนใหญ่ไม่เข้าใจว่าการถามคำถามมากมายจะปลดล็อกการเรียนรู้และปรับปรุงความสัมพันธ์ระหว่างบุคคล ตัวอย่างเช่น ในการศึกษาของ Alison แม้ว่าผู้คนจะจำได้อย่างแม่นยำว่ามีคำถามกี่ข้อที่ถูกถามในการสนทนา แต่พวกเขาไม่เข้าใจความเชื่อมโยงระหว่างคำถามและความชอบ จากการศึกษาทั้ง 4 เรื่องที่ผู้เข้าร่วมมีส่วนร่วมในการสนทนาด้วยตนเองหรืออ่านบันทึกการสนทนาของผู้อื่น ผู้คนมักไม่ตระหนักว่าการถามคำถามจะมีอิทธิพลหรือมีอิทธิพลต่อระดับมิตรภาพระหว่างผู้สนทนา
