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

[Josef Urban]

I don't think there is anything else than formalabstracts at googlegroups.com .

Josef

On Sat, Jan 20, 2018 at 12:41 PM, James Smith <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
>
> 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
>>
>
> _______________________________________________
> 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/ec9a56bf/attachment.html>