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.
@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, no. 2 (1996), pp. 1-23. http://archive.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 | Zbl

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 | Zbl

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

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 | MR | Zbl

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 | Zbl

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

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

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 | Zbl

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

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 | Zbl

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 | Zbl

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 | Zbl

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 | Zbl

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

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 | Zbl

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 | Zbl

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

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

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 | Zbl

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

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 | Zbl

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 | Zbl

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

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

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 | Zbl

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

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 | Zbl

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 | Zbl

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 | Zbl

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

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

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