[SystemSafety] Number Theorist Fears All Published Math Is Wrong
Roderick Chapman
rod at proteancode.com
Wed Oct 30 12:05:01 CET 2019
On 30/10/2019 10:57, Peter Bishop wrote:
> So linking proofs to real world behaviour is always conditional on
> factors that lie outside the abstraction used for the proof.
Absolutely, but to conclude "I can't prove everything, so I won't try to
prove anything" is throwing the formal baby out with the abstract
bathwater (so to speak...)
- Rod
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.techfak.uni-bielefeld.de/mailman/private/systemsafety/attachments/20191030/2e35816f/attachment.html>
More information about the systemsafety
mailing list