|
|
|
|
|
by p-e-w
901 days ago
|
|
We don't want perfect systems but useful ones. A perfect axiom system wouldn't have true but unprovable statements either, yet, as we learned a while ago, any such "perfect" system would be unable to express even basic arithmetic. |
|
I think that is the difference between science and engineering. Science strives for the ultimate truth while engineering cares about useful stuff.