What can be automated?: The computer science and engineering study, 1980. ,
A Down-to-Earth View of Mathematics, The American Mathematical Monthly, vol.89, issue.1, pp.8-15, 1982. ,
DOI : 10.2307/2320989
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
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. ,
Computing over the reals: Foundations for scientific computing, Notices of the AMS, pp.318-329, 2006. ,
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
Recent progress in Sphere Packing, Contemporary Mathematics, to appear ,
A set of postulates for the foundation of logic (second paper, Annals of mathematics, pp.839-864, 1933. ,
Polynomial Approximations to Elementary Functions, Mathematical Tables and Other Aids to Computation, vol.8, issue.47, pp.47143-147, 1954. ,
DOI : 10.2307/2001927
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. ,
Computing as a discipline, Communications of the ACM, vol.32, issue.1, pp.9-23, 1989. ,
DOI : 10.1145/63238.63239
Computing is a natural science, Communications of the ACM, vol.50, issue.7, pp.13-18, 2007. ,
DOI : 10.1145/1272516.1272529
The proof is in the process. A preamble for a philosophy of computer-assisted mathematics, New directions in the philosophy of science ,
On the design of machine independent programming languages, Annual Review in Automatic Programming, vol.3, 1961. ,
DOI : 10.1016/S0066-4138(63)80003-8
Programming as a Discipline of Mathematical Nature, The American Mathematical Monthly, vol.81, issue.6, pp.608-612, 1974. ,
DOI : 10.2307/2319209
How computing science created a new mathematical style, p.1073, 1990. ,
The confluence of ideas in The Universal Turing machine, pp.55-111, 1936. ,
Formal proof ? The four color theorem, Notices of the AMS, vol.55, issue.11, pp.1382-1393, 2008. ,
A revision of the proof of the Kepler conjecture, Discrete and Computational Geometry, pp.1-34, 2010. ,
The Flyspeck project, http://code.google.com, Impact of Computers The American Mathematical Monthly, vol.72, pp.1-7, 1965. ,
One Man's View of Computer Science, Journal of the ACM, vol.16, issue.1, pp.3-12, 1969. ,
DOI : 10.1145/321495.321497
Naturerkennen und Logik, Naturwissen, pp.959-963, 1930. ,
DOI : 10.1007/978-3-662-25726-5_24
Computer Science and Its Relation to Mathematics, The American Mathematical Monthly, vol.81, issue.4, pp.323-343 ,
DOI : 10.2307/2318994
Computer programming as an art, Communications of the ACM, vol.17, issue.12, pp.667-673, 1974. ,
DOI : 10.1145/361604.361612
Algorithmic Thinking and Mathematical Thinking, The American Mathematical Monthly, vol.92, issue.3, pp.170-181, 1985. ,
DOI : 10.2307/2322871
Algorithmic themes A century of mathematics in America, Part I, pp.439-445, 1988. ,
Letter to the editor, The American Mathematical Monthly, vol.91, issue.9, pp.596-600, 1984. ,
Slaying the Kraken:, Social Studies of Science, vol.29, issue.1, pp.7-60, 1999. ,
DOI : 10.1177/030631299029001002
Mathematical methods in large scale computing units, Proceedings of Second Symposium on Large-Scale Digital Calculating Machinery, pp.141-146, 1949. ,
Mechanized mathematics, Bulletin of the, pp.739-750, 1966. ,
The Development of Mathematical Logic from Russell to Tarski The Development of Modern Logic, pp.318-470, 1900. ,
Comment, pp.645-646, 2012. ,
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. ,
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. ,
The Mathematician The works of the mind, pp.180-196, 1947. ,
Research paradigms in computer science, Proceeding ICSE '76 Proceedings of the 2nd international conference on Software engineering, pp.322-330, 1976. ,
A New Kind of Science, Applied Mechanics Reviews, vol.56, issue.2, 2002. ,
DOI : 10.1115/1.1553433
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