[SystemSafety] Number Theorist Fears All Published Math Is Wrong

[Roderick Chapman]

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>