M. Boden, Introduction, Journal of Cardiovascular Pharmacology, vol.18, 1990.
DOI : 10.1097/00005344-199106189-00001

L. E. Brouwer, Intuitionism and formalism, Bulletin of the American Mathematical Society, vol.20, issue.2, pp.81-96, 1913.
DOI : 10.1090/S0002-9904-1913-02440-6
URL : http://projecteuclid.org/download/pdf_1/euclid.bams/1183422499

G. Cantor, Gesammelte Abhandlungen mathematischen und philosophischen Inhalts, 1932.

A. Church, Review of Turing, The Journal of Symbolic Logic, issue.2, pp.42-43, 1936.

J. Dupuy and N. J. , The Mechanization of the Mind: on the Origins of, Cognitive Science, 2000.

S. Feferman, Weyl vindicated: "Das Kontinuum" 70 Years Later " . Temi e Prospettiva della logica e della filosofia della scienza contemporanea, pp.59-93, 1987.

R. M. French, Subcognition and the Limits of the Turing Test, Mind, vol.99, pp.53-65, 1990.

R. Gandy, The Confluence of Ideas in 1936 " . The Universal Turing Machine; a Half-Century Survey, 1988.

K. Gödel, Über formal entscheidbare Sätze der Principia Mathematica und verwandter Systeme, Kurt Gödel Collected Works, I, pp.173-198, 1931.

M. Guillaume, La Logique Mathématique en sa jeunesse ; Essai sur l'Histoire de la Logique dans la première moitié du vingtième siècle " . Development of Mathematics 1900-1950, J.-P, 1994.

I. Hacking, The Emergence of Probability, 1975.
DOI : 10.1017/CBO9780511817557

M. Hallett, Hilbert's Axiomatic Method and the Laws of Thought, Mathematics and Mind, pp.158-200, 1994.

J. Haugeland, Artificial Intelligence, the Very Idea, 1985.

A. Hodges, Alan Turing; The Enigma. London: Unwin Paperbacks Alan Turing and The Turing Machine " . The Universal Turing Machine, pp.3-15, 1983.

D. Hofstadter and D. Dennett, The Mind's I, 1981.

E. Kant, Kritik der Urteilskraft. online at: http://www.gutenberg2000.de/kant/kuk/kuk The Ethics of Geometry, a genealogy of modernity, 1790.

J. Lassègue, Le test de Turing et l'énigme de la différence des sexes, Les contenants de pensée. D. Anzieu et al, pp.145-195, 1993.

J. Leiber, An Invitation to, Cognitive Science, 1991.

M. Culloch, W. S. Pitts, and W. H. , A logical calculus of the Ideas Immanent in Nervous Activity Embodiments of Mind, Bulletin of Mathematical Biophysics, vol.5, 1943.

D. Michie, On Machine Intelligence, 1974.

G. Peano, Arithmetices principia, nova methodo exposita, 1899.

R. Penrose, The Emperor's New Mind; Concerning Computers, Minds and The Laws of Physics, 1989.

H. Poincaré, Dernières pensées, 1913.
DOI : 10.5962/bhl.title.41761

Z. Pylyshyn, On computation and cognition: Toward a foundation of cognitive science, Artificial Intelligence, vol.38, issue.2, 1984.
DOI : 10.1016/0004-3702(89)90062-3

B. Riemann, Über die Hypothesen, welche der Geometrie zu Grunde liegen, Abhandlungen der königlichen Gesellschaft der Wissenschaften in Göttingen, vol.13, pp.133-150, 1854.
DOI : 10.1007/978-3-642-50811-0

A. M. Turing, -. O. Gandy, and C. E. , On Computable Numbers with an Application to the Entscheidungsproblem Systems of Logic based on Ordinals, Collected Works of A. M. Turing Proceedings of the London Mathematical Society 45, pp.230-265, 1936.

P. Wagner, Machine et pensée : l'importance philosophique de l'informatique et de l'intelligence artificielle, 1994.

H. Weyl, Das Kontinuum, Kritische Untersuchungen über die Grundlagen der Analysis, 1918.