M. L. Anderson, Embodied Cognition: A field guide, Artificial Intelligence, vol.149, issue.1, pp.91-130, 2003.
DOI : 10.1016/S0004-3702(03)00054-7

P. Benacerraf, What Numbers Could Not Be The Philosophical Review aul (1965) What Numbers Could Not Be, The Philosophical Review, pp.47-73, 1965.

H. A. Bethe, Comments on The History of the H-Bomb Foundations of Constructive Analysis, Los Alamos Science, vol.3, issue.3, 1967.

D. Braha and Y. Reich, Topological structures for modeling engineering design processes, Research in Engineering Design, vol.14, issue.4, pp.185-199, 2003.
DOI : 10.1007/s00163-003-0035-3

L. E. Brouwer, De Onbetrouwbaarheid der logische principes, Tijdschrift voor Wijsbegeerte, vol.2, pp.152-158, 1908.

L. E. Brouwer, Historical Background, Principles and Methods of Intuitionism, South African Journal of Science, vol.49, pp.139-146, 1952.

L. Bucciarelli, An ethnographic perspective on engineering design, Design Studies, vol.9, issue.3, pp.159-168, 1988.
DOI : 10.1016/0142-694X(88)90045-2

L. Bucciarelli, Designing the engineers, 1994.

L. Bucciarelli, Between thought and object in engineering design, Design Studies, vol.23, issue.3, pp.219-231, 2002.
DOI : 10.1016/S0142-694X(01)00035-7

J. P. Burgess and G. Rosen, A Subject with No Object: Strategies for Nominalistic Interpretation of Mathematics, 1997.
DOI : 10.1093/0198250126.001.0001

C. Chihara, Constructibility and Mathematical Existence, 1990.
DOI : 10.1093/0198239750.001.0001

W. J. Clancey, Situated cognition : On human knowledge and computer representations, 1997.

J. G. Davis, E. Subrahmanian, S. L. Konda, H. Granger, A. Dutoit et al., Creating shared information spaces to support collaborative design work, Information Systems Frontiers, vol.3, issue.3, pp.377-392, 2001.
DOI : 10.1023/A:1011469727367

D. Dougherty, Interpretive Barriers to Successful Product Innovation in Large Firms, Organization Science, vol.3, issue.2, pp.179-202, 1992.
DOI : 10.1287/orsc.3.2.179

M. Dummett, Elements of Intuitionism, 1977.

J. A. Edelman, Understanding radikal breaks through media, 2012.

E. A. Edmonds and L. Candy, Computation, Interaction and Imagination: Into Virtual Space and Back to Reality, Proceedings 4th International Roundtable Conference on Computational Models of Creative Design, 1999.

O. Eris, Effective Inquiry for Innovative Engineering Design, 2004.
DOI : 10.1007/978-1-4419-8943-7

URL : http://www.springer.com/services+for+this+book?SGWID=0-1772415-3260-0-9781402077173

O. Eris, Insisting on Truth at the Expense of Conceptualization: Can Engineering Portfolios Help?, International Journal of Engineering Education, vol.22, issue.3, pp.551-559, 2006.

N. F. Evbuomwan, S. Sivaloganathan, and A. Jebb, A survey of design philosophies, models, methods and systems, ARCHIVE: Proceedings of the Institution of Mechanical Engineers, Part B: Journal of Engineering Manufacture 1989-1996 (vols 203-210), vol.210, issue.42, pp.301-320, 1996.
DOI : 10.1243/PIME_PROC_1996_210_123_02

G. Fauconnier and M. Turner, The Way We Think: Conceptual Blending and the Mind's Hidden Complexities, 2002.

H. Field, Science Without Numbers: A Defence of Nominalism, Princeton, N.J, 1980.
DOI : 10.1093/acprof:oso/9780198777915.001.0001

Z. Fraser, The Law of the Subject: Alain Badiou, Luitzen Brouwer and the Kripkean Analyses of Forcing and the Heyting Calculus Cosmos and History, The Journal of Natural and Social Philosophy, vol.2, issue.12, pp.94-133, 2006.

G. Frege, The concept of number. Philosophy of mathematics: Selected readings. P. Benacerraf and H. Putnam. Cambridge, 1983.

H. Freudenthal and . Ed, Collected Works 2. Geometry, Analysis, Topology and Mechanics, 1976.

J. Gero and J. Kulinski, A situated approach to analogy in designing, pp.225-234, 2000.

J. S. Gero, Conceptual designing as a sequence of situated acts Information Technology for Design, Collaboration, Maintenance, and Monitoring. I. Smith, Artificial Intelligence in Structural Engineering, pp.165-177, 1998.

L. Groves, Now it can be told, Nuclear Physics, vol.68, issue.2, pp.260-273, 1962.
DOI : 10.1016/0029-5582(65)90664-4

A. Hatchuel, Mathématiques et conception, par Armand HATCHUEL. Les nouveaux régimes de la conception: Langages, théories, métiers. A. Hatchuel and B. Weil, 2008.

A. Hatchuel and B. Weil, Pour une théorie unifiée de la conception, Axiomatiques et processus collectifs, CGS Ecole des Mines, pp.GIS cognition-CNRS, 1999.

A. Hatchuel and B. Weil, La théorie C-K: Fondaments et usages d'une théorie unifiée de la conception, Colloque Sciences de la Conception, 2002.

A. Hatchuel and B. Weil, A new approach of innovative design : an introduction to C-K design theory, p.3, 2003.

A. Hatchuel and B. Weil, Design as Forcing:Deepening the foundations of Ck theory, 16th International Conference on Engineering Design -ICED 2007, Knowledge, Innovation and Sustainability, 2007.

A. Hatchuel and B. Weil, C-K design theory: an advanced formulation, Research in Engineering Design, vol.15, issue.4, pp.181-192, 2009.
DOI : 10.1007/s00163-008-0043-4

L. Hendriks, Imagining Future Knowledge, Logic and Interactive Rationality Seminar, The Institute for Logic, Language and Computation, University of Amsterdam, 2010.

L. Hendriks and A. Kazakci, A formal account of the dual expansion of concepts and knowledge in C-K theory. International Deisgn Conference -Design Design as Imagining Future Knowledge, a Formal Account, 2010.

A. Heyting, . L. Ed, and . Brouwer, Collected Works 1. Philosophy and Foundations of Mathematics Disputation. Philosophy of mathematics: selected readings. P. Benacerraf and H. Putnam. Cambridge, pp.66-76, 1975.

A. Heyting, The intuitonist foundations of mathematics. Philosophy of mathematics: selected readings. P. Benacerraf and H. Putnam. Cambridge, pp.52-61, 1983.

D. Hilbert, The foundations of mathematics, From Kant to Hilbert: A Source Book in the Foundations of Mathematics, 2 vols, 1927.

A. Kazakci, A formalisation of CK design theory based on Intuitionist Logic, International Conference on Research into Design. ICORD09. A. Chakrabarti. Banglore, pp.499-507, 2009.

A. Kazakci, Imaginative constructivism in design. Mission report on visit to CDR at Stanford University, TMCI, CGS, Mines ParisTech, 2010.

A. Kazakci, A. Stanford, and C. , Is "creative subject" of Brouwer a designer? -an Analysis of Intuitionistic Mathematics from the Viewpoint of C-K Design Theory, International Conference on Engineering Design, ICED'09, 2009.

A. Kazakci, A. Hatchuel, P. L. Masson, and B. Weil, Simulation of Design reasoning based on C-K theory: a model and an example application. International Design Conference - Design, 2010.

G. Kreisel, Informal rigour and completeness proofs. Problems in the Philosophy of, Mathematics. Lakatos. Amsterdam, pp.138-186, 1967.
DOI : 10.1016/s0049-237x(08)71525-8

S. Kripke, Semantical Analysis of Intuitionistic Logic I. Formal Systems and Recursive Functions, pp.92-130, 1965.

G. Lakoff and R. E. Nunez, Where mathematics comes from: How the embodied mind brings mathematics into being, 2000.

J. Largeault, Intuition et Intuitionisme, 1993.

L. Masson, P. , B. Weil, and A. Hatchuel, Strategic Management of Design and Innovation. Cambridge, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00696953

S. Lenfle, Proceeding in the dark. Innovation, project management and the making of the atomic bomb, 2008.

S. Lenfle, The strategy of parallel approaches in projects with unforeseeable uncertainty: The Manhattan case in retrospect, International Journal of Project Management, vol.29, issue.4, pp.359-373, 2011.
DOI : 10.1016/j.ijproman.2011.02.001

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

O. Maimon and D. Braha, A Mathematical Theory of Design, International Journal of General Systems, vol.27, pp.4-5, 1996.

P. Martin-löf, Intuitionistic Type Theory Notes by Giovanni Sambin of a series of lectures given in Padua, 1980.

F. Meitner and O. R. Frisch, Disintegration of Uranium by Neutrons: a New Type of Nuclear Reaction, Nature, vol.143, issue.3615, pp.239-240, 1938.
DOI : 10.1038/143239a0

J. Myhill, Formal systems of intuitionistic analysis I. Logic, methodology and philosophy of science III. B. v. Rootselaer and J. Staal, 1968.

J. Niekus, Brouwer's Incomplete Objects, History and Philosophy of Logic, vol.110, issue.1, pp.31-46, 2010.
DOI : 10.1007/BF00263659

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.228.7983

J. Qiang, The scientists making the atomic bomb. Pathological States, The Origins, Detection, and Treatment of Dysfunctional Societies: Collected papers of the Ford Foundation Interdisciplinary Research Seminar on Pathological States, ACDIS FFIRS:3, 1996.

Y. Reich, O. Shai, E. Subrahmanian, A. Hatchuel, and P. Lemasson, The Interplay Between Design and Mathematics: Introduction to Bootstrapping Effects, Volume 3: Design; Tribology; Education, 2008.
DOI : 10.1115/ESDA2008-59410

N. F. Roozenburg and C. H. Dorst, Describing Design as a Reflective Practice: Observations on Schön's Theory of Practice. Designers: The Key to Successful Product Development, pp.29-41, 1998.

B. Russell, The Principles of Mathematics. Cambridge, 1903.

B. Russell and A. N. Whitehead, Principia Mathematica. Cambridge, 1910.

D. A. Schön, The Reflective Practitioner, 1983.

D. A. Schön and G. Wiggins, Kinds of seeing and their functions in designing, Design Studies, vol.13, issue.2, pp.135-156, 1992.
DOI : 10.1016/0142-694X(92)90268-F

H. D. Smyth, Atomic Energy for Military Purposes; the Official Report on the Development of the Atomic Bomb under the Auspices of the United States Government, 1940.

E. Subrahmanian, S. L. Konda, S. N. Levy, Y. Reich, A. W. Westerberg et al., Equations aren???t enough: informal modeling in design, Artificial Intelligence for Engineering, Design, Analysis and Manufacturing, vol.98, issue.04, pp.257-274, 1993.
DOI : 10.1007/BF01806105

L. A. Suchman, Plans and situated actions : the problem of human-machine communication, 1987.

M. Suwa, J. S. Gero, and T. Purcell, Unexpected discoveries and s-inventions of design requirements: A key to creative designs. Computational Models of Creative Design IV, pp.297-320, 1999.

M. Suwa and B. Tversky, Constructive Perception: A metacognitive skill for coordinating perception and conception, Cognitive Science Society Proceedings, pp.1140-1144, 2003.

A. S. Troelstra, Principles of intuitionism Brouwer's Cambridge Lectures on Intuitionism. Cambridge The role of language and logic in Brouwer's work. Logic in Action, How the Mathematical Objects Determine the Mathematical Principles1, pp.3-14, 1969.

A. M. Weinberg, Impact of Large-Scale Science on the United States: Big science is here to stay, but we have yet to make the hard financial and educational choices it imposes, Science, vol.134, issue.3473, pp.161-164, 1961.
DOI : 10.1126/science.134.3473.161

A. M. Weinberg, Science, Government, and Information: The Responsibilities of the Technical Community and the Government in the Transfer of Information The president's scientific advisory commitee, 1963.

H. Yoshikawa and . Ed, General design theory and a CAD system. Man-Machine Communication in CAD, 1981.