@article{SPHM_1992___8_A1_0,
author = {Wallet, Guy},
title = {Signification et d\'emonstration},
journal = {S\'eminaire de Philosophie et Math\'ematiques},
pages = {1--10},
year = {1992},
publisher = {IREM Paris-Nord},
number = {8},
language = {fr},
url = {https://www.numdam.org/item/SPHM_1992___8_A1_0/}
}
Wallet, Guy. Signification et démonstration. Séminaire de Philosophie et Mathématiques, Démonstration et signification en mathématiques, no. 8 (1992), pp. 1-10. https://www.numdam.org/item/SPHM_1992___8_A1_0/
[1] , Le paradis de Cantor et le purgatoire de Wittgenstein, Critique, 359, avril 1977.
[2] , La force de la règle. Les Editions de Minuit, Paris 1987.
[3] , Le pays des possibles, Les Editions de Minuit, Paris 1988.
[4] , Invitation à la lecture de Wittgenstein, Editions Alinéa, Aix-en-Provence 1990.
[5] , Wittgenstein et le théorème de Gödel, in Wittgenstein et la philosophie aujourd'hui, J. Sebestik et A. Soulez (Ed.), Méridien Klincksieck, Paris 1992.
[6] , , Gödel's proof, New York University Press, 1958, traduit en français dans Le théorème de Gödel, le Seuil, Paris 1989. | Zbl | MR
[7] , , An informal exposition of proof of Göde's theorem and Church theorem, Journal of Symbolic Logic, vol. 4 (1939), p. 53-60. | Zbl | JFM
[8] , Wittgenstein's remarks on the signifiance of Gödel's theorem, in Gödel's theorem, S.G. Shanker (Ed.), Routledge, London New York, 1988.
[9] , Wittgenstein la philosophie et les mathématiques, Presses Universitaires de France, Paris 1988. | Zbl
[10] , Réflexions sur l'objectivité en mathématiques, dans Le labyrinthe du continu, H. Sinacour et J.M. Salanskis (Ed.), Springer France, Paris 1992. | Zbl | MR
[11] , Remarques philosophiques, Editions Gallimard, Paris 1975.
[12] , Grammaire Philosophique, Editions Gallimard, Paris 1980.
[13] , Remarques sur les fondements des mathématiques, Edition Gallimard, Paris 1983.
[14] , Investigations philosophiques, publié à la suite du Tractatus logico-philosophicus, Editions Gallimard, Paris 1961.
[15] , Wittgenstein et le cercle de Vienne, texte établi par B. McGuinness d'après les notes de F. Waismann, Trans-Europ-Repress, Mauvezin 1991.






