A flaw in the proof of Fermat's theorem

• To: logic@cs.cornell.edu, types@dcs.gla.ac.uk, igpl@doc.imperial.ac.uk
• Subject: A flaw in the proof of Fermat's theorem
• From: Mamede Lima Marques - POS_MAT <mamede@ime.unicamp.br>
• Date: Sat, 15 Jan 94 03:27:49 EDT
• Approved: types@dcs.gla.ac.uk

[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,

Mamede Lima-Marques
Center for Logic and Epistemology
UNICAMP
Campinas  -  Brazil

• Prev: ABSTRACT
• Next: BRA project `Types for Proofs and Programs'
• Index(es):
  • Main
  • Thread