Razborov and Rudich also reproduce Avi Wigderson 's unconditional proof that natural proofs can not prove exponential lower bounds for the discrete logarithm problem .
Razborov and Rudich also reproduce Avi Wigderson 's natural proof that discrete proofs can not prove unconditional lower bounds for the exponential logarithm problem .