Les nombreuses écoles de pensée mathématique

The Irish Times - 21/03
L'école formaliste considère les mathématiques comme une sorte de jeu dans lequel les symboles sont manipulés selon des règles claires mais n'ont aucune signification inhérente ou sous-jacente.

Les mathématiques sont largement utilisées et jouent un rôle central dans les sciences et l’ingénierie et, de plus en plus, dans les sciences sociales et biologiques. Mais les utilisateurs prennent rarement en compte la nature fondamentale des mathématiques.

Beaucoup ne peuvent pas améliorer cette définition vide de sens : les mathématiques sont ce que font les mathématiciens. Nous pourrions faire plus d’efforts, avec quelque chose comme « les mathématiques sont le langage de la pensée claire », même si de brillants mais innombrables philosophes pourraient hésiter sur ce point.

Il existe plusieurs écoles de pensée sur la nature fondamentale des mathématiques. Platon affirmait que le monde des idées est plus réel que le monde physique : l'idée d'un rocher est plus fondamentale qu'un rocher réel. Les théorèmes mathématiques appartiennent au monde des idées. L’école platonicienne soutient que les conce...
[Courte citation de 8% de l'article original]