Conférence de Woodin

Merci Poirot

axexe : tu fais de la catégorification ? je veux bien, si tu acceptes, que tu me fasses le même honneur qu'à Martial, et que tu m'envoies en MP un résumé de ta thèse :-D

Bonjour axexe,

ma priorité reste toujours d'avancer dans les catégories dérivées. Mais j'ai depuis quelques années maintenant, cette idée que la catégorification, et les topos en particulier, peuvent aider à résoudre de nombreux problèmes en mathématique et en physique.
Donc je suis également très intéressé par la vidéo de ce ponte. Je pourrais également te demander, en MP, des documents à ce sujet.

ignatus.

Merci axexe.

Les polycopiés de Ginot font partie de ceux que j'ai repérés pour me familiariser avec ces domaines.

J'aime bien ce genre d'approches, mais dans une perspective fondationnelle, pour donner un cadre mathématique abstrait dans lequel qui puisse unifier divers domaines, et partant, résoudre les problèmes de l'un avec les approches de l'autre.

Lorsque j'étais très porté par la philosophie, mon intérêt pour la théorie des ensembles était beaucoup plus grand. J'ai même écrit directement à Jean-Paul Delahaye pour lui demander de la documentation sur les travaux de Woodin. Mais j'ai eu effectivement l'impression qu'il y avait très peu d'impact sur les autres disciplines mathématiques, ce qui m'avait beaucoup découragé. Et comme je ne suis jamais rentré suffisamment dedans pour en voir la beauté mathématique, j'en suis resté essentiellement à un questionnement philosophique, qui a presque disparu pendant que je me coltinais des collégiens.

S'il pouvait y avoir plus de mixité mathématique dans la théorie des ensembles... Le problème est qu'il faudrait déjà bien s'y connaître pour être en mesure d'importer ou d'exporter des méthodes. J'avais acheté avec enthousiasme le livre du regretté Patrick Dehornoy, mais je n'ai jamais dépassé les deux premiers chapitres...En fait, une question qui me reste de mon passé philosophique est celle du constructivisme.

ignatus.