@article{SPHM_1996___2_A1_0, author = {Lass\`egue, Jean}, title = {L'actualit\'e de {Turing} : l'inf\'erence dans la pens\'ee, le calcul et les formes biologiques}, journal = {S\'eminaire de Philosophie et Math\'ematiques}, pages = {1--23}, publisher = {\'Ecole Normale Sup\'erieure}, number = {2}, year = {1996}, language = {fr}, url = {http://archive.numdam.org/item/SPHM_1996___2_A1_0/} }
TY - JOUR AU - Lassègue, Jean TI - L'actualité de Turing : l'inférence dans la pensée, le calcul et les formes biologiques JO - Séminaire de Philosophie et Mathématiques PY - 1996 SP - 1 EP - 23 IS - 2 PB - École Normale Supérieure UR - http://archive.numdam.org/item/SPHM_1996___2_A1_0/ LA - fr ID - SPHM_1996___2_A1_0 ER -
%0 Journal Article %A Lassègue, Jean %T L'actualité de Turing : l'inférence dans la pensée, le calcul et les formes biologiques %J Séminaire de Philosophie et Mathématiques %D 1996 %P 1-23 %N 2 %I École Normale Supérieure %U http://archive.numdam.org/item/SPHM_1996___2_A1_0/ %G fr %F SPHM_1996___2_A1_0
Lassègue, Jean. L'actualité de Turing : l'inférence dans la pensée, le calcul et les formes biologiques. Séminaire de Philosophie et Mathématiques, L'actualité de Turing, no. 2 (1996), pp. 1-23. http://archive.numdam.org/item/SPHM_1996___2_A1_0/
Collected Works of A. M. Turing, vol 1- 4, North-Holland Publishing Company, 1992, 1993. (Trois volumes parus ; vol. 1 : "Pure mathematics", J. L. Britton ed.; vol. 3 : "Mechanical Intelligence", D. C. Ince ed.; vol 4 : "Morphogenesis", P. T. Saunders ed.; un autre à paraître : vol. 2 : "Mathematical Logic"). | MR | Zbl
,On Computable Numbers with an Application to the Entscheidungsproblem', Proceedings of the London Mathematical Society. 42 : 230-265 ; republié dans [Davis M. ed., The Undecidable Raven Press, Hewlett, New-York, 1965, p. 115-154] ; traduit en français dans A. M. Turing, J.-Y. Girard, La machine de Turing, coll. Source du Savoir, Le Seuil. Paris, 1995. | JFM | Zbl
, - (1936). 'Computability and lambda-definability'. Journal of Symbolic Logic, 2 : 153-163. | JFM
, - (1937), 'Systems of logic based on Ordinals', Proceedings of the London Mathematical Society, ser. 2, vol. 45 : 161-228 republié dans [Davis M., The Undecidable Raven Press, Hewlett, New-York, p. 154 sq] | JFM | MR | Zbl
, - (1939), 'Proposals for Development in the Mathematics Division of an Automatic Computing Engine (ACE)', Executive Committee NPL, 1946, Crown Copyright Reserved, H. M. S. O.: republié dans [Mechanical Intelligence, Collected Works, D. C. Ince ed., North-Holland, Amsterdam, 1992 : 1-86].
, - (1945), 'Lecture to the London Mathematical Society', 20 february 1947 ; republié dans [Mechanical Intelligence, Collected Works, D. C. Ince ed., North-Holland. Amsterdam, 1992 : 87-105].
, - (1947), 'Intelligent Machinery', Executive Committee NPL, 1948, 1-20, Crown Copyright Reserved, H. M. S. O.; republié dans [Mechanical Intelligence. Collected Works, D. C. Ince ed.. North-Holland, Amsterdam, 1992 : 107-127]. | MR | Zbl
, - (1948). 'Practical Forms of Type Theory', Journal of Symbolic Logic. 13 (1948) | MR | Zbl
, - (1948) 'Computing Machinery and Intelligence', Mind, vol LIX, n°236, 1950 : 433-460 ; republié dans [Mechanical Intelligence, Collected Works, D. C. Ince ed., North-Holland, Amsterdam, 1992 : 133-160]; traduit en français sous le titre "Les ordinateurs et l'Intelligence" dans [Pensée et Machine Anderson A. R. ed., Champ Vallon, Seyssel, 1983] : 39-67 et dans , , La machine de Turing, coll. Sources du Savoir, Le Seuil, Paris, 1995. | MR
, - (1950), 'The Word Problem in Semi-Groups with Cancellation', Ann. Math. (Princeton) 52, revu, clarifié et corrigé par W. W. Boone, Journal of Symbolic Logic. 17 (1952) | MR | Zbl
, - (1950), 'The Chemical Basis of Morphogenesis'. Phil. Trans. Rov. Soc. B 237 : 37-72; republié dans [Morphogenesis, Collected Works, North-Holland, 1992] : 1-36. | MR
, - (1952), 'Digital Computers Applied to Games', Bowden B. V. ed., Faster Than Thought, Pitman, London, 1953 : 286-310; republié dans [Mechanical Intelligence, Collected Works, D. C. Ince ed., North-Holland, Amsterdam, 1992 : 161-185].
, - (1953), 'Some Calculations of the Riemann Zeta Function', Proceedings of the London Mathematical Society, (3) 3. | MR | Zbl
, - (1953), 'Solvable and Unsolvable Problems', Science News. 31 : 7-23, republié dans [Mechanical Intelligence, Collected Works, D. C. Ince ed., North-Holland, Amsterdam, 1992 : 187-203].
, - (1954), 'Why Gödel didnt Have Church's Thesis', Information and Control. 54, (1982) : 3-24. | MR | Zbl
, (1982), 'Mathematical Logic and the Origin of Modern Computers', Studies in the Working of Mathematics, The Mathematical Association of America. 1987, reprint in [The Universal Turing machine, Herken R. ed., Oxford Science Publications, Oxford University Press, 1988] : 149 -174. | MR | Zbl
, - (1987), 'Influences of Mathematical Logic on Computer Science' in [The Universal Turing machine, Herken R. ed., Oxford Science Publications, Oxford University Press, 1988] : 315-326 | MR | Zbl
, - (1988), 'Formulations mathématiques de la question : le monde est-il récursif ?", Cahiers du Crea. n°15 : Méthodologie de la science empirique (2), Alain Boyer dir., Ecole Polytechnique, Paris, janvier 1993 : 185-225.
, (1993), "Brouwerian intuitionism', Mind, 99 : 501-534. | MR
, (1990), 'Le mécanisme et la thèse de Church-Turing", Courrier du CNRS, n°79 : 116.
et , (1991) "The Concept of Computability" in [Scientific Thought 1900-1960, a Selective Survey, ed. Harré R., Clarendon Press, Oxford ] : 1-4.
, (1969), "Church's thesis and principles for mechanisms' in [The Kleene Symposium, J. Barwise, J.J Keisler and K. Kuchen eds., 123-145, Amsterdam. North-Holland Publ. Co.] : 123-145. | MR | Zbl
, - (1980), 'The Confluence od Ideas in 1936' in [The Universal Turing machine. Herken R. ed., Oxford Science Publications, Oxford University Press, 1988 : 55-110. | MR | Zbl
, - (1988), 'Some remarks on the undecidability results', reproduit dans [Collected Works, t. II, Oxford University Press, Oxford, 1990] : 305-306.
, (1972), 'On Physicalism and Algorithmism : Can Machines Think ?', Philosophia Mathematica. series III, vol. 1, 1993 : 97-138. | MR
, (1993), 'Alan Turing, the Enigma of Intelligence, Unwin Paperbacks, London. | MR | Zbl
, (1983),Alan Turing and The Turing Machine' in [The Universal Turing machine, Herken R. ed., Oxford Science Publications, Oxford University Press, 1988] : 3-15. | MR | Zbl
, - (1988). 'Origins of recursive function theory', Ann. Hist. Comp. 3 (1981) : 52-67. | MR | Zbl
, (1981), 'Turing's Analysis of Computability and Major Applications of It', in [The Universal Turing machine, Herken R. ed., Oxford Science Publications, Oxford University Press, 1988] : 17- 54. | MR | Zbl
, - (1988), 'Church's Thesis and the Ideal of Informal Rigour', Notre Dame Journal of Symbolic Logic. 28, 4, October 1987 : 499-519. | MR | Zbl
, (1987), 'Le test de Turing et l'énigme de la différence des sexes" in [Les contenants de pensée, Anzieu D. et coll., Dunod, Paris, 1993] : 145-195.
, (1993), "Nouveaux Essais sur l'entendement humain, in [die Philosophischen Schriften, ed. Gerhardt, Band V. Georg Olms Verlag, Hildesheim, reprint 1978].
, (1703),Opuscules et fragments inédits de Leibniz, ed. Couturat, Felix Alcan, Paris, 1901. | JFM
, -Turing's Test ans conscious thought', Artificial Intelligence. 60 (1993), 1- 22. | MR
, (1993), 'La constitution de la théorie des automates, thèse de doctorat d'Etat, Université de Paris I, imprimé par l'Atelier National de reproduction des thèses, Université de Lille III.
, (1989),Sur quelques capacités et incapacités des machines", Bulletin de la société française de philosophie, t. LXXXV, Armand Colin, Paris : 81-115.
- (1991), "Paper Machines', Philosophia Mathematica, series III, vol. 3, 1995 : 5-30. | MR | Zbl
et , (1995), 'Church Thesis and Cognitive Science', Notre-Dame Journal of Symbolic Logic, XXVIII-4, 1987 : 581-614 | MR | Zbl
, (1987) 'On physics and mathematics of thought' in The Universal Turing machine, Herken R. ed., Oxford Science Publications, Oxford University Press, 1988] : 491-522. | MR | Zbl
, (1988), 'Effective Processes and Natural Law' in [The Universal Turing machine, Herken R. ed., Oxford Science Publications, Oxford University Press, 1988] : 523-537. | MR | Zbl
, (1988), 'L'évolution des formes biologiques", Intellectica, n° 16, 1993/1 : 61-83.
, (1993), "Turing and the Origins of AI', Philosophia Mathematica, series III, vol. 3, 1995 : 52-86. | MR | Zbl
, (1995), 'Reasoning. Logic and Computation', Philosophia Mathematica, series III, vol. 3, 1995 : 31-52. | MR | Zbl
, (1995), 'Mechanism, Mentalism and Metamathematics : an Essay on Finitism, Reidel Publishing Company, Dordrecht. | MR | Zbl
, (1980)Introductory note to 1972a" in [Gödel K., Collected Works, vol. II, Oxford University Press, Oxford, 1990] : 281-304. | Zbl
, - (1990), "