From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/8664 Path: news.gmane.org!not-for-mail From: Robert Dawson Newsgroups: gmane.science.mathematics.categories Subject: Re: Current Issues in the Philosophy of Practice of Mathematics & Informatics Date: Wed, 29 Jul 2015 10:56:40 -0300 Message-ID: References: Reply-To: Robert Dawson NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit X-Trace: ger.gmane.org 1438262720 29324 80.91.229.3 (30 Jul 2015 13:25:20 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Thu, 30 Jul 2015 13:25:20 +0000 (UTC) To: Patrik Eklund , categories@mta.ca Original-X-From: majordomo@mlist.mta.ca Thu Jul 30 15:25:14 2015 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp3.mta.ca ([138.73.7.19]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1ZKnpe-0002zG-9M for gsmc-categories@m.gmane.org; Thu, 30 Jul 2015 15:25:10 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:56747) by smtp3.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1ZKnp7-00080j-6t; Thu, 30 Jul 2015 10:24:37 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1ZKnp7-0002Nm-Kd for categories-list@mlist.mta.ca; Thu, 30 Jul 2015 10:24:37 -0300 In-Reply-To: Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:8664 Archived-At: On 7/26/2015 12:33 PM, Patrik Eklund wrote: > Philosophy of mathematics is still philosophy and has nothing to do with > mathematics, since philosophy does not adhere to any mathematical > principles. > > Philosophy of logic is the same, since philosophy does not adhere to any > logical principles. > By an argument such as this, it would appear that you could say that bacteriology has nothing to do with bacteria, because you cannot grow bacteriology on a Petri dish or sequence its DNA -and obviously this would be absurd. I think the source of the confusion here is that mathematics is reflexive in a way that bacteriology isn't: mathematics/logic _does_ feed back into itself and become a tool for doing more mathematics/logic. It's thus tempting to think that anything outside this loop is not part of mathematics/logic. However, the loop is not closed, and cannot be. There are questions which are legitimate parts of mathematics/logic that cannot be answered internally. I'm not talking about Goedel incompleteness here (though one might), but about why we do what we do. If we want to say what constitutes mathematics worth doing - to say why Fermat's Last Theorem or the Riemann Hypothesis are more important that the (3n+1) problem or finding palindromic sequences in the decimal expansion of pi - we cannot do this by calculation and proof. This is an example of a place where philosophy of mathematics can have a genuine connection. -Robert Dawson [For admin and other information see: http://www.mta.ca/~cat-dist/ ]