It is not the case that Therefore the BGS result eliminates a proof *strategy*, not the broader family of diagonalization-inspired arguments that exploit circuit lower bounds or non-uniform complexity.
?Set your confidence on the premises below to see your aggregate.
No one has weighed in yet. Be the first to share reasons for or against this statement.