From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/4618 Path: news.gmane.org!not-for-mail From: Andre Joyal Newsgroups: gmane.science.mathematics.categories Subject: Bourbaki and Categories Date: Sat, 20 Sep 2008 16:21:15 -0400 Message-ID: NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1241020060 14056 80.91.229.2 (29 Apr 2009 15:47:40 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:47:40 +0000 (UTC) To: Original-X-From: rrosebru@mta.ca Sun Sep 21 10:56:16 2008 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Sun, 21 Sep 2008 10:56:16 -0300 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1KhPLw-0007Bx-1A for categories-list@mta.ca; Sun, 21 Sep 2008 10:51:56 -0300 Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 88 Original-Lines: 108 Xref: news.gmane.org gmane.science.mathematics.categories:4618 Archived-At: On Fri, Sep 19, 2008, John Baez wrote: >Do we imagine this new Bourbaki as just systematizing and >presenting what we know already, or struggling to create >brand new mathematics? This is an important question. We need to have a clear view of the goal of such an enterprise.=20 >>From my point of view, the goal should be "educational": to help students and researchers to learn mathematics and cross the boundary between fields.=20 Mathematics is vast, and every mathematician is a permanent student.=20 The traditional way to learn is to read the litterature and to discuss = with a master. I was told that Grothendieck had learned algebraic geometry by = discussing with Serre. But few peoples have this chance. Obviously, Internet is opening new avenues for learning.=20 Many peoples (and myself) have learned a lot by reading your bulletin=20 "This Week's Finds in Mathematical Physics".=20 You have a real talent to explain a subject by exposing the heuristic! A discussion forum like the "Categories list" is also very helpful. Wikipedia is a useful place to gather informations about a subject. But the Bourbaki Tractate was offering something more: a unified presentation of mathematics, including the proofs. The Bourbaki Tractate was the result of a sustained collaboration=20 of many generations of mathematicians from different fields.=20 Conflicts are inevitable and mathematics evolve quickly. A unified, final presentation seems impossible. On Thur, Sep 18, 2008, Ronnie Brown wrote:=20 > Something initially less ambitious like this >might actually get done. Being electronic, it would be seen as a = `current', >rather than `final account', and so would better reflect the way = mathematics >develops, in which a slight shift of emphasis, or notation (like --> = for a >function), can have profound consequences. A partially unified evolving presentation of mathematics seems possible. Today's litt=E9rature is already offering something like that! But I find it cahotic and complicated. But mathematics is naturally organised and simple! The complexity of the litterature is often artificial. Many proofs are complicated, simply because the author ignores the abstract argument that could simplify everything. Some statements are left unproved, and peremptory declared obvious when they are not. The reader who cant see the obvious thing is = terrorised. He may as well quit mathematics.=20 What can we do? Let me submit a few ideas for disccusion. Mathematics is naturally self-organised.=20 The proof of most theorems can be broken in small steps of the form=20 A_1,..,A_n --->B, where A_1,..,A_n is the list of hypothesis and B is the conclusion.=20 Each step may have a simple proof. A complete proof maybe obtained by working backward from the statement of the theorem to=20 the axioms ot to known theorems.=20 Everyone who knows a nice proof of a meaningful=20 implication A_1,..,A_n --->B should write a paper about it and put it in a special section of the arXiv (the NB = section ?). On Mon, Sep 19, 2008, Michael Spivack wrote: >Even more interesting to me would be a kind of zoom-feature on=20 >proofs. Proofs are in the eye of the beholder: for example it has=20 >been debated as to whether Perelman's 70 pages was a full proof of=20 >geometrization. Given a proof with a statement which one does not=20 >understand, a mathematician may find himself reproving something that=20 >was obvious to (or wrongly assumed to be obvious by) another=20 >mathematician. The community could benefit if a mathematician who=20 >proves such a statement then uploaded the proof, even in rough form,=20 >to some kind of math wiki. If it were well-organized, this math wiki=20 >could revolutionize how mathematics is done. In fact, choosing the=20 >"right way" to organize such a site may itself be a problem which=20 >could produce interesting mathematics. On Tues, Sep 16, 2008, Andrej Bauer wrote: >My opinion is that we have not yet found the right way to do >"hive-science", but when we do, it will be a revolution. (A good start >would be to get out of the hold that the evil publishers have on us.) A special database for mathematics should be created (but I dont know how). Papers in the NB section of the arXves could be selected, modified and organised with a system of references, to give a partially unified presentation of mathematics.=20 The same database could support different presentations realised by different competing teams. =20 Each team could work like a mathematical journal, with an editor in chief and an editorial board. What do you think? Andre