Linguistics vs Mathematics

The fabled rigour of Maths

How to avoid 1/0
Conclusion: Proofs take care of “posé”. Who takes care of “présupposé”?

Categoricity of arithmetic
Conclusion: Again confusion between signifiant (predicate) and signifié (set).

What is the syntax of {x | P(x)} ?
Conclusion: Again important “présupposé”. What is really set notation?

What is ℵ1 ?
Conclusion: Sets are just models of set theory. Whatever that is.

Nota bene. le contenu de cette leçon a été développé lors d'une conférence au Palais de la Découverte le 27 avril 2006. Le texte correspondant est sorti dans les Cahiers du MURS. Il est aussi disponible en Réf. [93]. Il présente notamment une preuve que tout nombre entier est premier.