[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