Razborov and Rudich's 'natural proofs' barrier is a distinct obstruction, confirming that relativization alone does not fully characterize the space of impossible proof strategies.
?Rate how convincing each reason is below to see the overall strength.
No one has weighed in yet. Be the first to share reasons for or against this statement.
Sign in or register to share your perspective on this statement.
Methods or techniques used to demonstrate that a statement is definitely true based on the rules of a formal system.
Razborov and Rudich(as used in computational complexity theory)
Two computer scientists who discovered a mathematical barrier (called the 'natural proofs barrier') that makes it very hard to prove certain computational limits using standard proof techniques.
relativization(Used here as a technique for defining metaphysical necessity from epistemic necessity by relativizing to some suitable class)
A method for defining one form of necessity in terms of another by restricting to a suitable class, applicable when the extension of the target property is broader than the base property