les mathématiques sont ils autre chose qu'un langage ?
*
Voire Le Metalanguage : la théorie du langage : le langage de la CC (croissance conceptuelle) du langage.
*
Grothendieck a compris le pouvoir de Cat : seul langage, car la théorie des ensembles n'est pas du tout au même niveau d'expressivité. parler cat plutôt que faire des maths (démontrer des théorèmes à coup d'astuces ad hoc) // Galois correspondance. dc Grothendieck défend une philosophie de la perspective, de la contemplation et non de l'utilisation : Théoricien au sens grec. Galois montre la perspective de la dualité (extension de) corps / (sous) groupe, plutôt que de sortir un tournevis pour dévisser les polynômes d'ordres 5. dc faire Grothendieckment des maths c'est construire des perspectives : c'est de l'architecture.
*
il faut complètement réinterpréter Grothendieck avec l'idée qu'il achève de promouvoir les maths au rang de langage. // ‘complexité’ dont parle Zalamea
*
Explosions des langages formelles lf au XXe.
No comments:
Post a Comment