From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/7757 Path: news.gmane.org!not-for-mail From: "Fred E.J. Linton" Newsgroups: gmane.science.mathematics.categories Subject: Re: Publicity Date: Sat, 08 Jun 2013 17:13:54 -0400 Message-ID: Reply-To: "Fred E.J. Linton" NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1370814212 30604 80.91.229.3 (9 Jun 2013 21:43:32 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Sun, 9 Jun 2013 21:43:32 +0000 (UTC) To: Vaughan Pratt , "categories@mta.ca" Original-X-From: majordomo@mlist.mta.ca Sun Jun 09 23:43:33 2013 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp3.mta.ca ([138.73.1.186]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1UlnOd-0008SE-Bc for gsmc-categories@m.gmane.org; Sun, 09 Jun 2013 23:43:31 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:39324) by smtp3.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1UlnNO-0007km-AE; Sun, 09 Jun 2013 18:42:14 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1UlnNO-0007CN-Qd for categories-list@mlist.mta.ca; Sun, 09 Jun 2013 18:42:14 -0300 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:7757 Archived-At: Vaughan Pratt suggested: > From Rehmeyer's article: > = > "It?s even proving valuable in developing rigorous models of music theo= ry." > = > " 'If people adopt the level of rigor of category theory,' [Spivak] > says, 'it will provide a precise language for science as a whole, and i= t > will help individual scientists to clarify their thinking.' " > = > I don't know what "rigor" is, but if we identify it with consistency > then there is a limit to the rigor of category theory: Goedel's second > incompleteness theorem shows that category theory cannot be rigorous > enough to establish its own rigor. In my estimation, the "rigor" in Rehmeyer's adjective "rigorous" and the "rigor" in Spivak's quote have about as little to do with each other as either has to do with the one in the phrase "rigor mortis" :-) . = Cheers, -- Fred [For admin and other information see: http://www.mta.ca/~cat-dist/ ]