Pour résoudre un problème de mathématiques ou comprendre une démonstration, une figure bien choisie est parfois d’un grand secours. Ce fait souvent remarqué peut être vu comme un cas particulier d’un phénomène plus général. Utiliser une figure plutôt que des phrases, reformuler un problème sous la forme d’une équation, employer telles notations plutôt que telles autres : dans tous ces cas, en un sens, on ne fait que représenter sous une nouvelle forme ce qu’on sait déjà, et pourtant, cela peut permettre d’avancer. Comment est-ce possible ? Pour répondre à cette question, la première partie de cette thèse étudie ce qu’apporte un changement notationnel précis introduit par Leibniz à la fin du XVIIe siècle. La suite de ce travail analyse, et confronte à l’exemple précédent, plusieurs manières de penser les différences représentationnelles proposées dans la littérature philosophique récente. Herbert Simon, étudié dans la deuxième partie, s’appuie sur le modèle informatique des structures de données : deux représentations peuvent être « informationnellement » équivalentes, mais « computationnellement » différentes. Les logiciens Barwise et Etchemendy, étudiés dans la troisième partie, cherchent à élargir les concepts de la logique mathématique (en particulier ceux de syntaxe et de sémantique) aux diagrammes et figures. Enfin, certains philosophes des mathématiques contemporains, comme Kenneth Manders, remettent en cause la notion même de représentation, en soutenant qu’elle n’est pas éclairante pour comprendre l’usage de figures, formules ou autres supports externes en mathématiques. C’est à ces critiques qu’est consacrée la quatrième et dernière partie. / When solving a mathematical problem or reading a proof, drawing a well-chosen diagram may be very helpful. This well-known fact can be seen as an instance of a more general phenomenon. Using a diagram rather than sentences, reformulating a problem as an equation, choosing a particular notation rather than others : in all these cases, in a sense, we are only representing in a new form what we already knew; and yet, it can help us make progress. How is this possible? To address this question, the first part of this thesis explores the benefits afforded by a specific notational change introduced by Leibniz in the late seventeenth-century. The rest of this work analyses, and puts to the test of the preceding case study, several ways of understanding representational differences which have been put forward in the recent philosophical literature. Herbert Simon, studied in the second part, relies on a comparison with the notion of data structures in computer science: two representations, he writes, can be “informationally” equivalent yet “computationnally” different. The logicians Barwise and Etchemendy, studied in the third part, try to broaden the concepts of mathematical logic (in particular those of syntax and semantics) to cover diagrams and figures. Finally, some contemporary philosophers of mathematics, for instance Ken Manders, argue that the notion of representation itself is not helpful to understand the use of diagrams, formulas or other external reasoning tools in mathematics. Such arguments are the focus of the fourth (and last) part.
| Identifer | oai:union.ndltd.org:theses.fr/2018PA01H231 |
| Date | 16 December 2018 |
| Creators | Waszek, David |
| Contributors | Paris 1, Panza, Marco |
| Source Sets | Dépôt national des thèses électroniques françaises |
| Language | French |
| Detected Language | French |
| Type | Electronic Thesis or Dissertation, Text |
Page generated in 0.0021 seconds