[FOM] Formal verification

martdowd at aol.com martdowd at aol.com
Mon Oct 20 12:52:53 EDT 2014

 Lasse Rempe-Gillen writes

The likelihood of the latter still appears slim. However, there are plenty of examples of serious results where significant gaps were later discovered and had to be filled, which in itself may erode the concept of mathematics as an absolutely rigorous discipline.)


An example which seems worth mentioning is the classification of quasithin groups.
I don't know if there has been any work on formally verifying this, bit it certainly seems it would be a daunting task.

- Martin Dowd
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20141020/f6e09fd7/attachment.html>

More information about the FOM mailing list