@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}, publisher = {IREM Paris-Nord}, number = {8}, year = {1992}, language = {fr}, url = {http://www.numdam.org/item/SPHM_1992___8_A1_0/} }
Wallet, Guy. Signification et démonstration. Séminaire de Philosophie et Mathématiques, no. 8 (1992), pp. 1-10. http://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. | MR | Zbl
, ,[7] An informal exposition of proof of Göde's theorem and Church theorem, Journal of Symbolic Logic, vol. 4 (1939), p. 53-60. | JFM | Zbl
, ,[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. | MR | Zbl
,[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.
,