From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/7053 Path: news.gmane.org!not-for-mail From: David Roberts Newsgroups: gmane.science.mathematics.categories Subject: Lawvere and Leibniz Date: Mon, 14 Nov 2011 09:53:52 +1030 Message-ID: Reply-To: David Roberts NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 X-Trace: dough.gmane.org 1321275694 27498 80.91.229.12 (14 Nov 2011 13:01:34 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Mon, 14 Nov 2011 13:01:34 +0000 (UTC) To: "categories@mta.ca list" Original-X-From: majordomo@mlist.mta.ca Mon Nov 14 14:01:29 2011 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtpx.mta.ca ([138.73.1.4]) by lo.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1RPwAC-0007n9-2Z for gsmc-categories@m.gmane.org; Mon, 14 Nov 2011 14:01:28 +0100 Original-Received: from mlist.mta.ca ([138.73.1.63]:60398) by smtpx.mta.ca with esmtp (Exim 4.76) (envelope-from ) id 1RPw8u-0005e4-5m; Mon, 14 Nov 2011 09:00:08 -0400 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1RPw8s-00007T-K8 for categories-list@mlist.mta.ca; Mon, 14 Nov 2011 09:00:06 -0400 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:7053 Archived-At: Hi all, here is an philosophy article perhaps of interest to some on the list http://www.newappsblog.com/2011/11/the-truth-about-infinitesimals.html discussing the contrast between the 'old' solution (Weierstrass et al) to non-rigorous calculus a la Leibniz and the new solutions, nonstandard analysis and SDG, but mostly the latter. Not all ideas are credited, so only Lawvere is mentioned, and not Grothendieck, A. Kock, or others who contributed to the development of the philosophy of 'infinitesimals' in geometry. I think it is a nice advertisement for category theory, even mentioning the phrase 'The world or category of smooth spaces and smooth maps...'. David [For admin and other information see: http://www.mta.ca/~cat-dist/ ]