Sounds like the Nick Szabo's argument: http://szabo.best.vwh.net/tradition.html http://szabo.best.vwh.net/tradition.html <blockquote> Post-Hayek and algorithmi

Sounds like the Nick Szabo's argument: http://szabo.best.vwh.net/tradition.html http://szabo.best.vwh.net/tradition.html <blockquote> Post-Hayek and algorithmic information theory, we recognize that information-bearing codes can be computed (and in particular, ideas evolved from the interaction of people with each other over many lifetimes), which are (a) not feasibly rederivable from first principles, (b) not feasibly and accurately refutable (given the existence of the code to be refuted) (c) not even feasibly and accurately justifiable (given the existence of the code to justify) </blockquote>