[FOM] What is the current state of the research about proving FLT?

James Smith jecs at imperial.ac.uk
Sat Jan 20 06:41:04 EST 2018


Hi,

in relation to this I found what is called the formal abstracts mailing 
list but in fact it seems only to be on Google groups:

https://groups.google.com/forum/#!forum/formalabstracts

Does anyone know if there is an actual (old fashioned but preferred) 
mailing list?

Kind regards,

James


On 16/01/18 22:46, Freek Wiedijk wrote:
> Dear Revantha,
>
>> Is it the concern that if the well-known results are introduced as
>> "axioms", then some incorrect entry might introduce a false claim?
> Yes, it is my experience that it is very hard to get
> statements like this fully correct if you do not actually
> formalize the full proof of everything.
>
> Formalisations are very much like computer programs, but the
> "outcome" is basically one bit ("yes, this is correct"),
> unlike computer programs where the outcome is something
> you can run.  So if you do what you propose (and everyone
> else always proposes this too), then you taint that bit,
> and are left with basically not much.
>
> OTOH, Tom Hales "formal abstracts" project is quite close
> to what you propose here.
>
> Freek
> _______________________________________________
> FOM mailing list
> FOM at cs.nyu.edu
> https://cs.nyu.edu/mailman/listinfo/fom



More information about the FOM mailing list