Hacker News new | ask | show | jobs
by tptacek 2493 days ago
Isn't it possible that someone could just do research and work this out, rather than trying to derive it axiomatically?