Hacker News new | ask | show | jobs
by staticassertion 1545 days ago
Of course we can reverse engineer and describe how bikes work...

Anyway, the fact that we can not formally prove all true things doesn't really matter. That doesn't make all things equally valid. We find supporting evidence, we build conceptual models, we test the periphery of systems.