Embodied Cognition: A field guide, Artificial Intelligence, vol.149, issue.1, pp.91-130, 2003. ,
DOI : 10.1016/S0004-3702(03)00054-7
What Numbers Could Not Be The Philosophical Review aul (1965) What Numbers Could Not Be, The Philosophical Review, pp.47-73, 1965. ,
Comments on The History of the H-Bomb Foundations of Constructive Analysis, Los Alamos Science, vol.3, issue.3, 1967. ,
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
De Onbetrouwbaarheid der logische principes, Tijdschrift voor Wijsbegeerte, vol.2, pp.152-158, 1908. ,
Historical Background, Principles and Methods of Intuitionism, South African Journal of Science, vol.49, pp.139-146, 1952. ,
An ethnographic perspective on engineering design, Design Studies, vol.9, issue.3, pp.159-168, 1988. ,
DOI : 10.1016/0142-694X(88)90045-2
Designing the engineers, 1994. ,
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
A Subject with No Object: Strategies for Nominalistic Interpretation of Mathematics, 1997. ,
DOI : 10.1093/0198250126.001.0001
Constructibility and Mathematical Existence, 1990. ,
DOI : 10.1093/0198239750.001.0001
Situated cognition : On human knowledge and computer representations, 1997. ,
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
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
Elements of Intuitionism, 1977. ,
Understanding radikal breaks through media, 2012. ,
Computation, Interaction and Imagination: Into Virtual Space and Back to Reality, Proceedings 4th International Roundtable Conference on Computational Models of Creative Design, 1999. ,
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
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. ,
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
The Way We Think: Conceptual Blending and the Mind's Hidden Complexities, 2002. ,
Science Without Numbers: A Defence of Nominalism, Princeton, N.J, 1980. ,
DOI : 10.1093/acprof:oso/9780198777915.001.0001
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. ,
The concept of number. Philosophy of mathematics: Selected readings. P. Benacerraf and H. Putnam. Cambridge, 1983. ,
Collected Works 2. Geometry, Analysis, Topology and Mechanics, 1976. ,
A situated approach to analogy in designing, pp.225-234, 2000. ,
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. ,
Now it can be told, Nuclear Physics, vol.68, issue.2, pp.260-273, 1962. ,
DOI : 10.1016/0029-5582(65)90664-4
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. ,
Pour une théorie unifiée de la conception, Axiomatiques et processus collectifs, CGS Ecole des Mines, pp.GIS cognition-CNRS, 1999. ,
La théorie C-K: Fondaments et usages d'une théorie unifiée de la conception, Colloque Sciences de la Conception, 2002. ,
A new approach of innovative design : an introduction to C-K design theory, p.3, 2003. ,
Design as Forcing:Deepening the foundations of Ck theory, 16th International Conference on Engineering Design -ICED 2007, Knowledge, Innovation and Sustainability, 2007. ,
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
Imagining Future Knowledge, Logic and Interactive Rationality Seminar, The Institute for Logic, Language and Computation, University of Amsterdam, 2010. ,
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. ,
Collected Works 1. Philosophy and Foundations of Mathematics Disputation. Philosophy of mathematics: selected readings. P. Benacerraf and H. Putnam. Cambridge, pp.66-76, 1975. ,
The intuitonist foundations of mathematics. Philosophy of mathematics: selected readings. P. Benacerraf and H. Putnam. Cambridge, pp.52-61, 1983. ,
The foundations of mathematics, From Kant to Hilbert: A Source Book in the Foundations of Mathematics, 2 vols, 1927. ,
A formalisation of CK design theory based on Intuitionist Logic, International Conference on Research into Design. ICORD09. A. Chakrabarti. Banglore, pp.499-507, 2009. ,
Imaginative constructivism in design. Mission report on visit to CDR at Stanford University, TMCI, CGS, Mines ParisTech, 2010. ,
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. ,
Simulation of Design reasoning based on C-K theory: a model and an example application. International Design Conference - Design, 2010. ,
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
Semantical Analysis of Intuitionistic Logic I. Formal Systems and Recursive Functions, pp.92-130, 1965. ,
Where mathematics comes from: How the embodied mind brings mathematics into being, 2000. ,
Intuition et Intuitionisme, 1993. ,
Strategic Management of Design and Innovation. Cambridge, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-00696953
Proceeding in the dark. Innovation, project management and the making of the atomic bomb, 2008. ,
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
A Mathematical Theory of Design, International Journal of General Systems, vol.27, pp.4-5, 1996. ,
Intuitionistic Type Theory Notes by Giovanni Sambin of a series of lectures given in Padua, 1980. ,
Disintegration of Uranium by Neutrons: a New Type of Nuclear Reaction, Nature, vol.143, issue.3615, pp.239-240, 1938. ,
DOI : 10.1038/143239a0
Formal systems of intuitionistic analysis I. Logic, methodology and philosophy of science III. B. v. Rootselaer and J. Staal, 1968. ,
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
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. ,
The Interplay Between Design and Mathematics: Introduction to Bootstrapping Effects, Volume 3: Design; Tribology; Education, 2008. ,
DOI : 10.1115/ESDA2008-59410
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. ,
The Principles of Mathematics. Cambridge, 1903. ,
Principia Mathematica. Cambridge, 1910. ,
The Reflective Practitioner, 1983. ,
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
Atomic Energy for Military Purposes; the Official Report on the Development of the Atomic Bomb under the Auspices of the United States Government, 1940. ,
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
Plans and situated actions : the problem of human-machine communication, 1987. ,
Unexpected discoveries and s-inventions of design requirements: A key to creative designs. Computational Models of Creative Design IV, pp.297-320, 1999. ,
Constructive Perception: A metacognitive skill for coordinating perception and conception, Cognitive Science Society Proceedings, pp.1140-1144, 2003. ,
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. ,
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
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. ,
General design theory and a CAD system. Man-Machine Communication in CAD, 1981. ,