Accueil > Le Centre Granger ailleurs...

Cycle de séminaires « Philosophie des invariants mathématiques (exploration interdisciplinaires) ».

Dans le cadre du programme interdisciplinaire dirigé par Gabriella Crocco, Frédéric Jaëck, AMU Fellow à l’IMéRA, organise un cycle de séminaires « Philosophie des invariants mathématiques (exploration interdisciplinaires) ».

La notion d’invariant, qui touche beaucoup de domaines des mathématiques, de la physique, de la logique, mais aussi des arts, peut vous intéresser. Vous êtes cordialement invités à assister au séminaire qui se tiendra chaque deuxième mardi du mois de 16h30 à 18h30 toute l’année dans les locaux de l’IMéRA (Maison Neuve, 2 Place Leverrier, 13004 Marseille, Parc Longchamp) Une page web dédiée permet de trouver tous les renseignements utiles : https://philoinvar.hypotheses.org/

Pour des raisons d’organisation il est nécessaire de signaler votre présence (au moins la semaine précédant la séance) en écrivant un mail avec votre nom et les séances qui vous intéressent à frederic.jaeck@univ-amu.fr en inscrivant PIM’S comme sujet du message.

- Séminaire PIM’S (Philosophie des invariants mathématiques), Mardi 13 décembre 2022, à l’IMéRA (Marseille Longchamp)

Georg Schiemer : “What is (implicit) structure ?

Résumé : TWO WAYS TO THINK ABOUT (IMPLICIT) STRUCTURE. According to a dominant view in modern philosophy of mathematics, mathematics can be understood as the study of abstract structures. ⤓(lire la suite)
In this talk, I will compare two ways to think about the structural content of theories of pure mathematics. According to the first approach, the implicit structure or the structural properties of mathematical objects (such as number systems, groups, vector spaces, and graphs) are specified with reference to formal languages, usually based on some notion of definability. According to the second approach, structures are determined in terms of invariance criteria. For instance, the structural properties of a given mathematical system or its objects are often said to be those properties invariant under certain transformations of the system or under mappings between similar systems. In the talk, I will further investigate these two approaches to think about implicit structure in terms of invariance and definability conditions by drawing to several examples from finite geometry. Based on this, I will give a philosophical analysis of the conceptual differences between these methods and discuss their relevance for our present understanding of structuralism.

Infos sur le site du séminaire : https://philoinvar.hypotheses.org
Twitter : @Pims_Philoinvar