B. W. Arden, What can be automated?: The computer science and engineering study, 1980.

F. F. Bonsall, A Down-to-Earth View of Mathematics, The American Mathematical Monthly, vol.89, issue.1, pp.8-15, 1982.
DOI : 10.2307/2320989

J. Borwein, B. Gold, and R. A. Simons, Implications of Experimental Mathematics for the Philosophy of Mathematics, Proof and other dilemmas: Mathematics and philosophy, pp.33-60, 2008.
DOI : 10.5948/UPO9781614445050.004

A. H. Brady, The determination of the value of Radó's noncomputable function ? for four-state Turing machines, Mathematics of Computation, vol.40, issue.162, pp.647-665, 1983.

M. Braverman and S. Cook, Computing over the reals: Foundations for scientific computing, Notices of the AMS, pp.318-329, 2006.

M. Bullynck, D. Mol, and L. , Setting-up early computer programs: D. H. Lehmer???s ENIAC computation, Archive for Mathematical Logic, vol.21, issue.8, pp.123-146, 2010.
DOI : 10.1007/s00153-009-0169-8

URL : https://hal.archives-ouvertes.fr/hal-01396497

J. H. Conway, C. Goodman-strauss, and N. J. Sloane, Recent progress in Sphere Packing, Contemporary Mathematics, to appear

A. Church, A set of postulates for the foundation of logic (second paper, Annals of mathematics, pp.839-864, 1933.

C. Clenshaw, Polynomial Approximations to Elementary Functions, Mathematical Tables and Other Aids to Computation, vol.8, issue.47, pp.47143-147, 1954.
DOI : 10.2307/2001927

L. Corry, Number crunching vs. number theory: computers and FLT, from Kummer to SWAC (1850?1960) and beyond, Archive for the history of Exact Sciences, pp.393-455, 2008.

P. J. Denning and . Comer, Computing as a discipline, Communications of the ACM, vol.32, issue.1, pp.9-23, 1989.
DOI : 10.1145/63238.63239

P. J. Denning, Computing is a natural science, Communications of the ACM, vol.50, issue.7, pp.13-18, 2007.
DOI : 10.1145/1272516.1272529

D. Mol and L. , The proof is in the process. A preamble for a philosophy of computer-assisted mathematics, New directions in the philosophy of science

E. W. Dijkstra, On the design of machine independent programming languages, Annual Review in Automatic Programming, vol.3, 1961.
DOI : 10.1016/S0066-4138(63)80003-8

E. W. Dijkstra, Programming as a Discipline of Mathematical Nature, The American Mathematical Monthly, vol.81, issue.6, pp.608-612, 1974.
DOI : 10.2307/2319209

E. W. Dijkstra, How computing science created a new mathematical style, p.1073, 1990.

R. Gandy, The confluence of ideas in The Universal Turing machine, pp.55-111, 1936.

G. Gonthier, Formal proof ? The four color theorem, Notices of the AMS, vol.55, issue.11, pp.1382-1393, 2008.

T. Hales, J. Harrison, S. Mclaughlin, T. Nipkow, S. Obua et al., A revision of the proof of the Kepler conjecture, Discrete and Computational Geometry, pp.1-34, 2010.

T. R. Hales, The Flyspeck project, http://code.google.com, Impact of Computers The American Mathematical Monthly, vol.72, pp.1-7, 1965.

R. Hamming, One Man's View of Computer Science, Journal of the ACM, vol.16, issue.1, pp.3-12, 1969.
DOI : 10.1145/321495.321497

D. Hilbert, Naturerkennen und Logik, Naturwissen, pp.959-963, 1930.
DOI : 10.1007/978-3-662-25726-5_24

D. Knuth, Computer Science and Its Relation to Mathematics, The American Mathematical Monthly, vol.81, issue.4, pp.323-343
DOI : 10.2307/2318994

D. Knuth, Computer programming as an art, Communications of the ACM, vol.17, issue.12, pp.667-673, 1974.
DOI : 10.1145/361604.361612

D. Knth, Algorithmic Thinking and Mathematical Thinking, The American Mathematical Monthly, vol.92, issue.3, pp.170-181, 1985.
DOI : 10.2307/2322871

D. Knuth, Algorithmic themes A century of mathematics in America, Part I, pp.439-445, 1988.

S. Krantz, Letter to the editor, The American Mathematical Monthly, vol.91, issue.9, pp.596-600, 1984.

D. Mackenzie, Slaying the Kraken:, Social Studies of Science, vol.29, issue.1, pp.7-60, 1999.
DOI : 10.1177/030631299029001002

D. H. Lehmer, Mathematical methods in large scale computing units, Proceedings of Second Symposium on Large-Scale Digital Calculating Machinery, pp.141-146, 1949.

D. H. Lehmer, Mechanized mathematics, Bulletin of the, pp.739-750, 1966.

P. Mancosu, R. Zach, and C. Badesa, The Development of Mathematical Logic from Russell to Tarski The Development of Modern Logic, pp.318-470, 1900.

M. Margenstern, Comment, pp.645-646, 2012.

P. Naur, The place of programming in a world of problems, tools, and people in: Proceedings IFIP Congress 65, Also published in Naur, P., Computing: a human activity, pp.195-199, 1965.

E. Post, Absolutely unsolvable problems and relatively undecidable propositions -Account of an anticipation The undecidable Basic papers on undecidable propositions, unsolvable problems and computable functions, Dover publications, pp.340-433, 1965.

J. Von-neumann and R. B. Heywood, The Mathematician The works of the mind, pp.180-196, 1947.

P. Wegner, Research paradigms in computer science, Proceeding ICSE '76 Proceedings of the 2nd international conference on Software engineering, pp.322-330, 1976.

S. Wolfram, A New Kind of Science, Applied Mechanics Reviews, vol.56, issue.2, 2002.
DOI : 10.1115/1.1553433

D. Zeilberger, Theorems for a price: tomorrow???s semi-rigorous mathematical culture, The Mathematical Intelligencer, vol.86, issue.4, pp.11-18, 1994.
DOI : 10.1007/BF03024696