3 ms·
There will always be things we fundamentally can't prove, but those things have no place in a program you're relying on. "Essentially any" means that any you th
by 6gvONxR4sf7o 7y ago
There will always be things we fundamentally can't prove, but those things have no place in a program you're relying on. "Essentially any" means that any you the programmer have reason to believe and code up.
- dllthomas 7y agoIf it's the property you need, and you can't prove it, it's still the property you need - you can't simply define it away. As I said, though, you'll almost always be hitting practical limits long before theoretical ones. And as I also said, there's still quite a few useful things we can speak meaningfully about, even in a quite impoverished setting.