Résumés
Résumé
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.
Abstract
The thesis according to which the meaning of a mathematical sentence is given by its proof was held by both Wittgenstein and the intuitionists, following Heyting and Dummett. In this paper, we clarify the meaning of this thesis for Wittgenstein, showing how his position differs from that of the intuitionists. We show how the thesis originates in his thoughts, from the middle period, about proofs by induction, and we sketch his answers to a number of objections, including the idea that, given the particular meaning he gives to this thesis, he cannot account for mathematical conjectures. We conclude by showing how his views find a favourable echo today in the paradigm of “proposition-as-type” and extensions of the Curry-Howard isomorphism from which this paradigm originates.
Parties annexes
Bibliographie
- Ambrose, A. « Proof and the Theorem Proved », dans Essays in Analysis, Londres, Allen & Unwin, 1966, 13-25.
- Boas, R. P. Invitation to Complex Analysis, New York, Random House, 1987.
- Boldini, P. « La priorité de la preuve : le cas de la signification non standard des constantes non logiques », Revue internationale de philosophie, no 230, 2004, 437-447.
- Coquand, T. « Sur l’analogie entre les propositions et les types », dans G. Cousineau, P.-L. Curien et B. Robinet (dir.), Combinators and Functional Programming Languages, Berlin, Springer, 1986, 71-84.
- Diamond, C. « Riddles and Anselm’s Riddle », dans The Realistic Spirit. Wittgenstein, Philosophy, and the Mind, Cambridge MA, MIT Press, 1991, 267-289.
- Dummett, M. A. E. Frege. Philosophy of Language, 2e éd., Londres, Duckworth, 1981.
- Dummett, M. A. E. Philosophie de la logique, Paris, Éditions de Minuit, 1991a.
- Dummett, M. A. E. Frege. Philosophy of Mathematics, Londres, Duckworth, 1991b.
- Fine, B. et G. Rosenberger. The Fundamental Theorem of Algebra, Berlin, Springer, 1997.
- Gandy, R. O. « Church’s Thesis and Principles for Mechanisms », dans The Kleene Symposium, J. Barwise, H. J. Keisler et K. Kunen (dir.), Amsterdam, North Holland, 1980, 123-148.
- Girard, J.-Y. « Une extension de l’interprétation fonctionnelle de Gödel à l’analyse et son application à l’élimination des coupures dans l’analyse et la théorie des types », dans Proceedings of the 2nd Scandinavian Logic Symposium, J. E. Fenstad (dir.), Amsterdam, North-Holland, 1971, 63-92.
- Glock, H.-J. A Wittgenstein Dictionary, Oxford, Blackwell, 1996.
- Goodstein, R. L. « Function Theory in an Axiom-Free Equation Calculus », Proceedings of the London Mathematical Society, vol. 48, 1945, 401-434.
- Goodstein, R. L. Recursive Number Theory, Amsterdam, North-Holland, 1957.
- Goodstein, R. L. « A Constructive Form of the Second Gauss Proof of the Fundamental Theorem of Algebra », dans Constructive Aspects of the Fundamental Theorem of Algebra, B. Dejon et P. Henrici (dir.), London, John Wiley & Sons, 1969, 69-76.
- Hacking, I. « What is Logic ? », Journal of Philosophy, vol. 76, 1976, 296-319.
- Hardy, G. H. « Mathematical Proof », Mind, n.s., vol. 38, 1929, 1-25.
- Howard, W. A. « The Formulae-as-Types Notion of Construction », dans To H. B. Curry : Essays on Combinatory Logic, Lambda Calculus and Formalism, J. P. Seldin et J. R. Hindley (dir.), Londres, Academic Press, 1980, 479-490.
- Ingham, A. E. The Distribution of Prime Numbers, Cambridge, Cambridge University Press, 1932.
- Joinet, J.-B. « Introduction », dans Ouvrir la logique au monde. Philosophie et mathématique de l’interaction, J.-B. Joinet et S. Tronçon (dir.), Paris, Hermann, 2009, 9-63.
- Krivine, J.-L. « Une preuve formelle et intuitionniste du théorème de complétude de la logique classique », Bulletin of Symbolic Logic, vol. 2, 1996, 405-421.
- Krivine, J.-L. « Typed Lambda Calculus in Classical Zermelo-Fraenkel Set Theory », Archive of Mathematical Logic, vol. 40, 2001, 189-205.
- Krivine, J.-L. « Realizability in Classical Logic », Panoramas et synthèses, vol. 27, 2009, 197-229.
- Marion, M. Quantification and Finitism. A Study in Wittgenstein’s Philosophy of Mathematics, thèse de doctorat, Université d’Oxford, 1991.
- Marion, M. Wittgenstein, Finitism and the Foundations of Mathematics, Oxford, Clarendon Press, 1998.
- Marion, M. « Wittgenstein and Brouwer », Synthese, vol. 137, 2003, 103-127.
- Marion, M. Ludwig Wittgenstein. Introduction au Tractatus logico-philosophicus, Paris, P.U.F., 2004a.
- Marion, M. « Wittgenstein on Mathematics : Constructivism or Constructivity ? », dans Wittgenstein Today, A. Coliva et E. Picardi (dir.), Padoue, Il Poligrafo, 2004b, 201-222.
- Marion, M. « Wittgenstein et le constructivisme », dans Wittgenstein. État des lieux, E. Rigal (dir.), Paris, Vrin, 2008a, 261-273.
- Marion, M. 2008b, « Rationality from a Logical Point of View », dans Action, Attitudes et Décision, D. Fisette et D. Vanderveken (dir.), Londres, College Publications, 2008, 339-359.
- Marion, M. « Brouwer on Hypotheses and the Middle Wittgenstein », dans One Hundred Years of Intuitionism 1907-2007. The Cerisy Conference, M. van Atten, P. Boldini, M. Bourdeau et G. Heinzmann (dir.), Basel, Birkhäuser, 2008c, 96-114.
- Marion, M. « Jogando o bebê junto com a água do banho : Wittgenstein, Goodstein e o cálculo equacional », Revista Dois Pontos, vol. 6, no 1, 2009, 195-246.
- Marion, M. « Wittgenstein et la preuve mathématique comme vérifacteur », Philosophiques, vol. 38, no 1, 2011a, 137-156.
- Marion, M. « Wittgenstein on the Surveyability of Proofs », dans The Oxford Handbook on Wittgenstein, M. McGinn et O. Kuusela (dir.), Oxford, Clarendon Press, 2011b, 138-161.
- Marion, M. et M. Okada. « Wittgenstein and Goodstein on the Equation Calculus and the Uniqueness Rule », à paraître.
- Martin-Löf, P. « An Intuitionistic Theory of Types », dans Logic Colloquium ‘73, H. E. Rose et J. Sheperdson (dir.), Amsterdam, North-Holland, 1973, 73-118.
- Martin-Löf, P. Intuitionistic Type Theory, Naples, Bibliopolis, 1984.
- Nederpelt, R. P., J. H. Geuvers et R. C. de Vrijer (dir.). Selected Papers on Automath, Amsterdam, Elsevier, 1994.
- Okada, M. « On Wittgenstein’s Remarks on Recursive Proofs : A Preliminary Report », dans Essays in the Foundations of Logical and Phenomenological Studies, M. Okada (dir.), Tokyo, Keio University Press, 2007, 121-131.
- Potter, M. « Wittgenstein on Mathematics », dans The Oxford Handbook on Wittgenstein, M. McGinn et O. Kuusela (dir.), Oxford, Clarendon Press, 2011, 122-137.
- Putnam, H. « On Wittgenstein’s Philosophy of Mathematics », Proceedings of the Aristotelian Society. Supplementary Volume LXX, 1996, 243-264.
- Putnam, H. « Was Wittgenstein Really an Anti-realist about Mathematics ? », dans Wittgenstein in America, T. McCarthy et S. C. Stidd (dir.), Oxford, Clarendon Press, 2001, 140-194.
- Putnam, H. « Wittgenstein and the Real Numbers », dans Wittgenstein and the Moral Life. Essays in Honor of Cora Diamond, A. Crary (dir.), Cambridge MA, MIT Press, 2007, 235-250.
- Ribet, K. « On Modular Representations of GAL(Q/Q) Arising from Modular Forms », Inventiones Mathematicae, Vol. 100, 1990, 431-476.
- Säätelä, S. « From Logical Method to ‘Messing about’ : Wittgenstein on ‘Open Problems’ in Mathematics », dans The Oxford Handbook on Wittgenstein, M. McGinn et O. Kuusela (dir.), Oxford, Clarendon Press, 2011, 162-180.
- Skolem, T. « The Foundations of Elementary Arithmetic established by Means of the Recursive Mode of Thought, without Use of Apparent Variables Ranging over Infinite Domains », in From Frege to Gödel. A Sourcebook in Mathematical Logic, 1879-1931, J. van Heijenoort (ed.), Cambridge MA, Harvard University Press, 1967, 303-333.
- Sundholm, G. « Systems of Deduction », dans Handbook of Philosophical Logic, 2e éd., D. M. Gabbay et F. Günther (dir.), Dordrecht, Kluwer, vol. 2, 2001, 1-52.
- Wagner, P. La machine en logique, Paris, P.U.F., 1998.
- Waismann, F. Lectures on the Philosophy of Mathematics, Amsterdam, Rodopi, 1982.
- Wiles, A. « Modular Elliptic Curves and Fermat’s Last Theorem », Annals of Mathematics, vol. 142, 1995, 443-551.
- Wittgenstein, L. Remarques philosophiques, Paris, Gallimard, 1975.
- Wittgenstein, L. Grammaire philosophique, Paris, Gallimard, 1980.
- Wittgenstein, L. Remarques sur les fondements des mathématiques, Paris, Gallimard, 1983.
- Wittgenstein, L. Wittgenstein et le Cercle de Vienne. D’après les notes de Friedrich Waismann, Mauvezin, T. E. R, 1991.
- Wittgenstein, L. Tractatus Logico-Philosophicus, Paris, Gallimard, 1993.
- Wright, C. J. G. Wittgenstein on the Foundations of Mathematics, London, Duckworth, 1980.
10.7202/1005720ar