|
|
|
|
|
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. |
|