3 ms·
The bolts don't, and yet they don't (usually) fail.
by thereisnospork 6y ago
The bolts don't, and yet they don't (usually) fail.
- feteru 6y agoWhat do you mean? They're designed and tested according to calculations done by mathematically proven methods.
- compiler-guy 6y agoBut that isn't formal verification via mathematical proof. And this is the crux of the flaw with the paper. There are lots of ways to reliability. Mathematical proof is just one.
- 6nf 6y agoEvery single bolt on a plane is tracked from the steel foundry to retirement with serial numbers and testing and certification and everything.