[SystemSafety] Number Theorist Fears All Published Math Is Wrong

[Jon Hind]

Which like all online discussions these days leads us to Brexit :)

On Wed, 30 Oct 2019, 11:05 Roderick Chapman, <rod at proteancode.com> wrote:

> 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
>
>
> _______________________________________________
> The System Safety Mailing List
> systemsafety at TechFak.Uni-Bielefeld.DE
> Manage your subscription:
> https://lists.techfak.uni-bielefeld.de/mailman/listinfo/systemsafety
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.techfak.uni-bielefeld.de/mailman/private/systemsafety/attachments/20191030/c985801f/attachment.html>