[Educasup] Colloque “COMPUTABILITY, ALGORITHMS, TYPES AND PROOFS” (Philosophy of computing and Lo gic), 22-24/11/2021, Univ. Lyon 3

Bonjour à toutes et tous, Vous êtes cordialement invité.e.s à participer au colloque “Computability, Algorithms, Types and Proofs” qui aura leu à Lyon du 22 au 24 novembre 2021 et est présenté ci-dessous. L’acccès au colloque est libre et gratuit (il se pourrait qu’une pré-inscription soit

[Educasup] Deux articles pour la conférence "En quel se ns la théorie de l'abstraction d'Hermann Wey l généralise-t-elle celle de Peano-Frege ?"

Bonjour à tous et tous, En complément de l’annonce reproduite en fin de message (conférence, demain, sur : En quel sens la théorie de l'abstraction d'Hermann Weyl généralise-t-elle celle de Peano-Frege ?), voici deux liens vers les articles sur lesquels s’appuieront mon exposé. Je précise que

[Educasup] Colloque "Indiscernibility and abstraction: c lassification and types", Lyon, 21-22 novembr e (Philosophie de la logique, des mathématiq ues, de l’informatique)

Bonjour à tou(te)s, Vous êtes bienvenu(e)s au colloque interdisciplinaire (Philosophie de la logique, des mathématiques, de l’informatique) Indiscernibility and abstraction: classification and types, qui se tiendra les 21 et 22 novembre à l’Université Jean Moulin Lyon 3 (renseignements

[Educasup] Colloque "The theory of definitions by abstra ction: roots, history, contemporary developme nts", LYON, 11-12 FÉVRIER 2019.

THE THEORY OF DEFINITIONS BY ABSTRACTION: ROOTS, HISTORY, CONTEMPORARY DEVELOPMENTS Interdisciplinary conference - History and Philosophy of Logic and Mathematics Coordination : Jean-Baptiste Joinet LYON, 11 & 12 February 2019 Univ. Jean Moulin Lyon 3, Salle Rotonde, 18 rue Chevreul, Lyon

[Educasup] Colloque "The theory of definitions by abstra ction: roots, history, contemporary developme nts", LYON, 11-12 FÉVRIER 2019.

THE THEORY OF DEFINITIONS BY ABSTRACTION: ROOTS, HISTORY, CONTEMPORARY DEVELOPMENTS Interdisciplinary conference - History and Philosophy of Logic and Mathematics Coordination : Jean-Baptiste Joinet LYON, 11 & 12 February 2019 Univ. Jean Moulin Lyon 3, Salle Rotonde, 18 rue Chevreul, Lyon