User talk:R.e.b.

From Wikipedia, the free encyclopedia

2005 March-2005 October 2005 November-2006 June 2006 July-2006 October

[edit] q-series etc.

Hi,

Just saw your article mock theta function; thanks, good work! Please note also we have articles on q-series and basic hypergeometric series which this article overlaps a little bit, in terms of notation and definitions. linas 17:09, 10 November 2006 (UTC)

[edit] Fermat's last theorem

You changed the article Fermat's last theorem to say that Wiles' proof can be carried out in second-order arithmetic. Do you know of anyone who has been willing to put such a claim in print? At the time of the FOM discussion formerly referenced from the page, nobody there seemed to believe the proof goes through in SOA. I am not familiar with the proof myself, but I carefully read the FOM discussion before writing the former version of the paragraph on set theory in Wiles' proof. I put a fact tag on the paragraph and a note on the talk page looking for references. CMummert 00:30, 20 November 2006 (UTC)

No, and I doubt that there is such a claim in print, though I heard that Angus Macintyre has been thinking about this. However it is reasonably obvious to anyone who knows what l-adic cohomology is. If you are feeling nervous about verifiability feel free to tone down my statement a little (or even delete all references to set theory, which may be the best thing to do). However it is not a good idea to imply that there is any difficulty in formalizing the theorem in ZFC, and I do not recommend using an internet discussion by people who appear to know little about etale cohomology or number theory as a reliable source. R.e.b. 01:30, 20 November 2006 (UTC)