[FOM] Formal verification

[martdowd at aol.com]

 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.
 http://en.wikipedia.org/wiki/Quasithin_group
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>