Skip to main content Accessibility help
×
Home

Missionary mathematics

  • Bruno Poizat (a1)

Extract

Le plus souvent, la logique reste une discipline à la périphérie des mathématiques, qu’elle observe de l’extérieur, sans y pénétrer vraiment. C’est un discours sur les mathematiques qui ne dit rien au mathématicien; il n’y reconnait pas son activité favorite, ni ne croit qu’elle puisse avoir une influence sur sa pratique.

L’illustration la plus extrême de cette tradition, ce sont les “reverse mathematics” de Harvey Friedman, qui connaissent le succès que l’on sait. Je veux parler ici d’une tendance toute opposée, secrétée par les développements contemporains de la théorie des modèles, qui promet des positions beaucoup plus directes.

Elle se cristalise autour de l’étude des groupes stables; l’apparition de groupes n’a rien d’inattendu dans un contexte mathématiquement signifiant: un groupe, c’est ce qui garantit une structure non-triviale (ceci n’est pas un simple argument terroriste: il y a des théoremes pour le soutenir); quant à la stabilité, c’est une hypothèse de controle structurel, au large champ d’application, et qu’on pourra dépasser quand seront résolus les problèmes posés dans le cadre stable.

Copyright

References

Hide All
Barwise, Jon and Harrington, Leo, The works of Harvey Friedman, North-Holland, Amsterdam, 1986.
Berline, Chantal, Superstable groups: a partial answer to conjectures of Cherlin and Zil′ber, Annals of Pure and Applied Logic, vol. 30 (1986), pp. 4561.
Berline, Chantal and Lascar, Daniel, Superstable groups, Annals of Pure and Applied Logic, vol. 30 (1986), pp. 143.
Cherlin, Gregory, Groups of small Morley rank, Annals of Mathematical Logic, vol. 17 (1979), pp. 128.
Cherlin, Gregory and Shelah, Saharon, Superstable fields and groups, Annals of Mathematical Logic, vol. 18 (1980), pp. 227270.
Hrushovski, Ehud, Contributions to stable model theory, Ph.D. thesis, University of California, Berkeley, California, 1986.
Lascar, Daniel, Les groupes ω-stables de rang fini, Transactions of the American Mathematical Society, vol. 292 (1985), pp. 451462.
Nesin, Ali, Solvable groups of finite Morley rank, Preprint, Berkeley, California, 1986.
Nesin, Ali, Nonsolvable groups of Morley rank three, Preprint, Berkeley, California, 1986.
Poizat, Bruno, Groupes stables, avec types génériques réguliers, this Journal, vol. 48 (1983) pp. 339355.
Poizat, Bruno, A propos de groupes stables, Logic Colloquium ’85 (to appear).
Poizat, Bruno, MM. Borel, Tits, Zil′ber et le Général Nonsense, this Journal, vol. 53 (1988), pp. 124131.
Poizat, Bruno, Groupes stables, Nur al-Mantiq wal-Ma′rifah, Villeurbanne, 1987.
Reineke, Joachim, Minimale Gruppen, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, vol. 21 (1975), pp. 357359.
Zil′ber, Boris, Groupes et anneaux de théorie catégorique (in Russian), Fundamenta Mathematicae, vol. 95 (1977), pp. 173188.
Zil′ber, Boris, Some model theory of simple algebraic groups over algebraically closed fields, Colloquium Mathematicum, vol. 48 (1984), pp. 173180.

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed