[SystemSafety] Number Theorist Fears All Published Math Is Wrong
Peter Bernard Ladkin
ladkin at causalis.com
Tue Oct 29 21:19:41 CET 2019
On 2019-10-29 19:39 , Derek M Jones wrote:
>
> I am saying that proofs of correctness don't exist,
Utterly silly.
Specification: T
Program: <whatever you like>
Proof: One line.
PBL
Prof. Peter Bernard Ladkin, Bielefeld, Germany
MoreInCommon
Je suis Charlie
Tel+msg +49 (0)521 880 7319 www.rvs-bi.de
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: OpenPGP digital signature
URL: <https://lists.techfak.uni-bielefeld.de/mailman/private/systemsafety/attachments/20191029/9590ac05/attachment.sig>
More information about the systemsafety
mailing list