Re: Current Issues in the Philosophy of Practice of Mathematics & Informatics

[Graham White <graham.white@qmul.ac.uk>]

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/ ]