@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 = {www.numdam.org/item/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, no. 2 (1996), pp. 1-23. http://www.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 1150053 | Zbl 0751.01017
,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 62.1059.03 | Zbl 0016.09701
, - (1936). 'Computability and lambda-definability'. Journal of Symbolic Logic, 2 : 153-163. | JFM 63.0824.03
, - (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 65.1102.02 | MR 1576807 | Zbl 0021.09704
, - (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 1150053 | Zbl 0219.68052
, - (1948). 'Practical Forms of Type Theory', Journal of Symbolic Logic. 13 (1948) | MR 25414 | Zbl 0054.00603
, - (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 37064
, - (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 37294 | Zbl 0037.30103
, - (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 1219955
, - (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 55785 | Zbl 0050.08101
, - (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 713305 | Zbl 0519.03033
, (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 1011470 | Zbl 0658.01016
, - (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 1011478 | Zbl 0663.68012
, - (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 1083516
, (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 591879 | Zbl 0465.03022
, - (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 1011468 | Zbl 0689.01010
, - (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 1234429
, (1993), 'Alan Turing, the Enigma of Intelligence, Unwin Paperbacks, London. | MR 882917 | Zbl 0541.68001
, (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 1011466 | Zbl 0657.01031
, - (1988). 'Origins of recursive function theory', Ann. Hist. Comp. 3 (1981) : 52-67. | MR 641892 | Zbl 0998.03501
, (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 1011467 | Zbl 0655.03027
, - (1988), 'Church's Thesis and the Ideal of Informal Rigour', Notre Dame Journal of Symbolic Logic. 28, 4, October 1987 : 499-519. | MR 912645 | Zbl 0646.03001
, (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 34.0042.06
, -Turing's Test ans conscious thought', Artificial Intelligence. 60 (1993), 1- 22. | MR 1216894
, (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 1313154 | Zbl 0851.03010
et , (1995), 'Church Thesis and Cognitive Science', Notre-Dame Journal of Symbolic Logic, XXVIII-4, 1987 : 581-614 | MR 912648 | Zbl 0646.03002
, (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 1011487 | Zbl 0667.03003
, (1988), 'Effective Processes and Natural Law' in [The Universal Turing machine, Herken R. ed., Oxford Science Publications, Oxford University Press, 1988] : 523-537. | MR 1011488 | Zbl 0657.03017
, (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 1313156 | Zbl 0839.01008
, (1995), 'Reasoning. Logic and Computation', Philosophia Mathematica, series III, vol. 3, 1995 : 31-52. | MR 1313155 | Zbl 0874.00014
, (1995), 'Mechanism, Mentalism and Metamathematics : an Essay on Finitism, Reidel Publishing Company, Dordrecht. | MR 598635 | Zbl 0454.03001
, (1980)Introductory note to 1972a" in [Gödel K., Collected Works, vol. II, Oxford University Press, Oxford, 1990] : 281-304. | Zbl 0698.01023
, - (1990), "