From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/8659 Path: news.gmane.org!not-for-mail From: Graham White Newsgroups: gmane.science.mathematics.categories Subject: Re: Current Issues in the Philosophy of Practice of Mathematics & Informatics Date: Sat, 25 Jul 2015 09:57:44 -0400 Message-ID: References: Reply-To: Graham White 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 1437914607 20968 80.91.229.3 (26 Jul 2015 12:43:27 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Sun, 26 Jul 2015 12:43:27 +0000 (UTC) To: Ralph Matthes , Original-X-From: majordomo@mlist.mta.ca Sun Jul 26 14:43:13 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 1ZJLGq-00072J-IC for gsmc-categories@m.gmane.org; Sun, 26 Jul 2015 14:43:12 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:51798) by smtp3.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1ZJLFr-0007JF-Cl; Sun, 26 Jul 2015 09:42:11 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1ZJLFr-0006b0-MA for categories-list@mlist.mta.ca; Sun, 26 Jul 2015 09:42:11 -0300 In-Reply-To: Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:8659 Archived-At: And (continuing "why on the categories mailing list?") it seems to some people (such as me) that what category theory actually is, is a formal description of the practice of mathematics, rather than a foundation for mathematics. It may do the latter as well (though I don't really believe so), but an account of the practice of mathematics would be far more philosophically interesting than a foundation. It would, for example, allow a dialogue between the philosophy of mathematics and the rest of philosophy, which has, for 30 or 40 years now, been much less foundational than it used to be. And it may even make category theory an important tool in philosophy generally. Graham On 24/07/15 05:12, Ralph Matthes wrote: > [why on the categories mailing list? some of the courses are strongly > based on category theory, and it seems that quite some subscribers to > this list are interested in connections between mathematics and philosophy] > > > Dear colleagues, > > The thematic trimester CIPPMI "Current Issues in the Philosophy of > Practice of Mathematics & Informatics" will be held from 4th April to > 1st July 2016 at the Centre International de Math??matiques et > d'Informatique de Toulouse (CIMI). > > This thematic trimester is organised by an interdisciplinary team of > researchers in Mathematics, Philosophy, and Computer Science from the > Institut de Math??matiques de Toulouse (IMT) & the Institut de > Recherche en Informatique de Toulouse (IRIT). > > It will feature course sessions, workshops, and a thematic school on > themes at the interface of Philosophy, Mathematics and Computer Science. > > You will find all relevant information on the website of the thematic > trimester that will be regularly updated: > http://www.cimi.univ-toulouse.fr/cippmi/en > > A mailing list allows you to receive the different announcements from > CIPPMI: https://sympa.math.ups-tlse.fr/wws/info/cippmi > > You can register at > http://www.cimi.univ-toulouse.fr/cippmi/fr/inscriptionregistration > > A funding for accommodation is available in priority for junior > researchers and for some senior researchers without funding from their > laboratory. For further information, please consult the page: > http://www.cimi.univ-toulouse.fr/cippmi/fr/boursesgrants > > With apologies for cross-posting, best regards, the CIPPMI scientific > organisation committee. > > --- > > Ralph Matthes > > IRIT (CNRS & Univ. Toulouse) > http://www.irit.fr/~Ralph.Matthes/ > -- Graham White Electronic Engineering and Computer Science Queen Mary, University of London http://www.eecs.qmul.ac.uk/~graham/ [For admin and other information see: http://www.mta.ca/~cat-dist/ ]