May I quote the same Hayek (last page):

instead we must show how a solution is produced by the interactions of people each of whom possesses only partial knowledge.

(In the same spirit, I'm trying to move beyond dissfests towards more collaborative convos on HN)

@warden I was encouraged to see "perfect knowledge" replaced by "sufficient knowledge" in at least once instance in your post.

We should encourage Glen & Michael to work on seeing if weakening their assumptions as above would produce proofs of more useful natures, as a prelim to solving the knowledge problem :)

(Alas collabs take work, & HN is primarily an entertainment & venting channel, due to its ephemeral design)