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), p. 1-23
@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},
     publisher = {\'Ecole Normale Sup\'erieure},
     number = {2},
     year = {1996},
     pages = {1-23},
     language = {fr},
     url = {http://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/

Turing A. M., 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

Turing A. M., - (1936). '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

Turing A. M., - (1937), 'Computability and lambda-definability'. Journal of Symbolic Logic, 2 : 153-163. | JFM 63.0824.03

Turing A. M., - (1939), '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

Turing A. M., - (1945), '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].

Turing A. M., - (1947), '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].

Turing A. M., - (1948). '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

Turing A. M., - (1948) 'Practical Forms of Type Theory', Journal of Symbolic Logic. 13 (1948) | MR 25414 | Zbl 0054.00603

Turing A. M., - (1950), '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 A. M. Turing, J.-Y. Girard, La machine de Turing, coll. Sources du Savoir, Le Seuil, Paris, 1995. | MR 37064

Turing A. M., - (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

Turing A. M., - (1952), '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

Turing A. M., - (1953), '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].

Turing A. M., - (1953), 'Some Calculations of the Riemann Zeta Function', Proceedings of the London Mathematical Society, (3) 3. | MR 55785 | Zbl 0050.08101

Turing A. M., - (1954), '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].

Davis M., (1982), 'Why Gödel didnt Have Church's Thesis', Information and Control. 54, (1982) : 3-24. | MR 713305 | Zbl 0519.03033

Davis M., - (1987), '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

Davis M., - (1988), '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

Delahaye J.-P., (1993), "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.

Detlefsen M., (1990), 'Brouwerian intuitionism', Mind, 99 : 501-534. | MR 1083516

Dubucs J. et Mosconi J., (1991) "Le mécanisme et la thèse de Church-Turing", Courrier du CNRS, n°79 : 116.

Gandy R. O., (1969), "The Concept of Computability" in [Scientific Thought 1900-1960, a Selective Survey, ed. Harré R., Clarendon Press, Oxford ] : 1-4.

Gandy R. O., - (1980), '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

Gandy R. O., - (1988), '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

Gödel K., (1972), 'Some remarks on the undecidability results', reproduit dans [Collected Works, t. II, Oxford University Press, Oxford, 1990] : 305-306.

Hao Wang, (1993), 'On Physicalism and Algorithmism : Can Machines Think ?', Philosophia Mathematica. series III, vol. 1, 1993 : 97-138. | MR 1234429

Hodges A., (1983), Alan Turing, the Enigma of Intelligence, Unwin Paperbacks, London. | MR 882917 | Zbl 0541.68001

Hodges A., - (1988). '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

Kleene S. C., (1981), 'Origins of recursive function theory', Ann. Hist. Comp. 3 (1981) : 52-67. | MR 641892 | Zbl 0998.03501

Kleene S. C., - (1988), '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

Kreisel G., (1987), '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

Lassègue J., (1993), "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.

Leibniz G. W., (1703), Nouveaux Essais sur l'entendement humain, in [die Philosophischen Schriften, ed. Gerhardt, Band V. Georg Olms Verlag, Hildesheim, reprint 1978].

Leibniz G. W., - Opuscules et fragments inédits de Leibniz, ed. Couturat, Felix Alcan, Paris, 1901. | JFM 34.0042.06

Michie D., (1993), 'Turing's Test ans conscious thought', Artificial Intelligence. 60 (1993), 1- 22. | MR 1216894

Mosconi J., (1989), 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.

Mosconi J. - (1991), "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.

Mundici D. et Sieg W., (1995), 'Paper Machines', Philosophia Mathematica, series III, vol. 3, 1995 : 5-30. | MR 1313154 | Zbl 0851.03010

Nelson R. J., (1987) 'Church Thesis and Cognitive Science', Notre-Dame Journal of Symbolic Logic, XXVIII-4, 1987 : 581-614 | MR 912648 | Zbl 0646.03002

Penrose R., (1988), '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

Rosen R., (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

Saunders P. T., (1993), "L'évolution des formes biologiques", Intellectica, n° 16, 1993/1 : 61-83.

Shanker S., (1995), 'Turing and the Origins of AI', Philosophia Mathematica, series III, vol. 3, 1995 : 52-86. | MR 1313156 | Zbl 0839.01008

Shapiro S., (1995), 'Reasoning. Logic and Computation', Philosophia Mathematica, series III, vol. 3, 1995 : 31-52. | MR 1313155 | Zbl 0874.00014

Webb J. C., (1980) Mechanism, Mentalism and Metamathematics : an Essay on Finitism, Reidel Publishing Company, Dordrecht. | MR 598635 | Zbl 0454.03001

Webb J. C., - (1990), "Introductory note to 1972a" in [Gödel K., Collected Works, vol. II, Oxford University Press, Oxford, 1990] : 281-304. | Zbl 0698.01023