« first day (150 days earlier)      last day (29 days later) » 

vzn
vzn
3:44 PM
not sure why stackexchange is not "freezing" this room after inactivity.
kind of wish it would freeze so that offtopic/random conversation is excluded.
re natural proofs, came up with this question on natural proofs which has long been floating around in my head and probably also something like word-of-mouth among the complexity theory community.
0
Q: after Razborov/Rudich "natural proofs" is there a clearcut case of an "un-natural proof"?

vznthe influentual/award-winning Natural Proofs paper by Razborov/Rudich from 1994 is now ~2 decades old and presents a somewhat pessimistic view/"barrier" toward proving significant lower bounds in complexity theory, which is largely unchallenged, and serves as nearly the current "conventional wisd...

cc.complexity-theory reference-request circuit-complexity barriers natural-proofs
 

« first day (150 days earlier)      last day (29 days later) »