Wittgenstein et le lien entre la signification d’un énoncé mathématique et sa preuve

Abstract

La thèse selon laquelle la signification d’un énoncé mathématique est donnée par sa preuve a été soutenue à la fois par Wittgenstein et par les intuitionnistes, à la suite de Heyting et de Dummett. Dans ce texte, nous nous attachons à clarifier le sens de cette thèse chez Wittgenstein, afin de montrer en quoi sa position se distingue de celle des intuitionnistes. Nous montrons par ailleurs que cette thèse prend sa source chez Wittgenstein dans sa réflexion, durant la période intermédiaire, sur la notion de preuve par induction. Nous esquissons aussi les grandes lignes de la réponse que Wittgenstein fait à un certain nombre d’objections, dont celle selon laquelle cette thèse, dans le sens qu’il lui donne, remet en question la possibilité même de formuler une conjecture en mathématique. Nous terminons en montrant comment les propos de Wittgenstein trouvent un écho favorable dans le paradigme contemporain de la “proposition comme type” et les extensions de l’isomorphisme de Curry-Howard dont il est issu.