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

[James Smith]

Josef, hi,

thanks, I thought not.

However, after following a link or two I found another talk by Hales 
given last summer in Cambridge and well worth sharing on this list:

https://www.newton.ac.uk/seminar/20170710100011001

Kind regards,

James


On 20/01/18 18:17, Josef Urban wrote:
> I don't think there is anything else than 
> formalabstracts at googlegroups.com <http://googlegroups.com> .
>
> Josef
>
> On Sat, Jan 20, 2018 at 12:41 PM, James Smith <jecs at imperial.ac.uk 
> <mailto:jecs at imperial.ac.uk>> wrote:
>
>     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
>     <https://groups.google.com/forum/#%21forum/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 <mailto:FOM at cs.nyu.edu>
>         https://cs.nyu.edu/mailman/listinfo/fom
>         <https://cs.nyu.edu/mailman/listinfo/fom>
>
>
>     _______________________________________________
>     FOM mailing list
>     FOM at cs.nyu.edu <mailto:FOM at cs.nyu.edu>
>     https://cs.nyu.edu/mailman/listinfo/fom
>     <https://cs.nyu.edu/mailman/listinfo/fom>
>
>
>
>
> _______________________________________________
> FOM mailing list
> FOM at cs.nyu.edu
> https://cs.nyu.edu/mailman/listinfo/fom

-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20180120/0133fdfa/attachment-0001.html>