Hostname: page-component-cd9895bd7-8ctnn Total loading time: 0 Render date: 2024-12-25T19:28:10.813Z Has data issue: false hasContentIssue false
  • English
  • Français

Missionary mathematics

Published online by Cambridge University Press:  12 March 2014

Bruno Poizat
Bruno Poizat*
Affiliation:
Université Pierre et Marie Curie, 75005 Paris, France
Get access Rights & Permissions [Opens in a new window]

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.

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 53 , Issue 1 , March 1988 , pp. 132 - 145
Copyright
Copyright © Association for Symbolic Logic 1988

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

RÉFÉRENCES

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