Hacker News new | ask | show | jobs
by qarl2 22 days ago
Ah... is this just the difference between a constructive and non-constructive proof? Is that the distinction you're making?