From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/4813 Path: news.gmane.org!not-for-mail From: Michael Barr Newsgroups: gmane.science.mathematics.categories Subject: abc conjecture proved? Date: Fri, 23 Jan 2009 08:00:52 -0500 (EST) Message-ID: Reply-To: Michael Barr NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII; format=flowed X-Trace: ger.gmane.org 1241020194 14964 80.91.229.2 (29 Apr 2009 15:49:54 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:49:54 +0000 (UTC) To: Categories list Original-X-From: rrosebru@mta.ca Fri Jan 23 19:39:16 2009 -0400 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Fri, 23 Jan 2009 19:39:16 -0400 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1LQVVN-0002JQ-Gu for categories-list@mta.ca; Fri, 23 Jan 2009 19:32:05 -0400 Original-Sender: categories@mta.ca Precedence: bulk X-Keywords: X-UID: 34 Original-Lines: 13 Xref: news.gmane.org gmane.science.mathematics.categories:4813 Archived-At: Although this has nothing to do with categories, it should be of interest to all mathematicians. According to this: http://groups.google.com/group/sci.math.research/browse_thread/thread/43d73791ca5d5cbd?hl=en someone is claiming proof of the abc conjecture by adapting somehow the valid proof for polynomial rings F[x] over a field that uses formal differentiation (this can be found, e.g. in Lang's Algebra). The abc conjecture easily implies the Fermat Last Theorem as well as a number of generalizations (such as the impossibility x^n + y^m = z^p with obvious exceptions) and more. It would be an astounding result. Michael