A flaw in the proof of Fermat's theorem
[This message is not strictly relevant to the Types Forum. But I am
circulating it anyway, as a matter of general interest. Replies by
e-mail to Mamede please. Mamede, could you please post a summary or
pointer to your final article, for those of us that are interested?
-- Philip Wadler, moderator, Types Forum]
Please, whoever knows anything about A FLAW IN THE RECENT PROOF OF
FERMAT'S LAST THEOREM:
Please inform us!
We need to write a report on the situation to a Brazilian magazine and
we are looking for fresh news.
Thanks a lot,
Center for Logic and Epistemology
Campinas - Brazil