Embodied cognition: A field guide, Artificial Intelligence, vol.149, issue.1, pp.91-130, 2003. ,
DOI : 10.1016/s0004-3702(03)00054-7
URL : http://doi.org/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 modelling engineering design processes, Research in Engineering Design, vol.14, 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. ,
Designing the engineers, 1994. ,
Between thought and object in engineering design, Design Studies, vol.23, issue.3, pp.219-231, 2002. ,
A Subject with No Object: Strategies for Nominalistic Interpretation of Mathematics, 1997. ,
Constructibility and Mathematical Existence, 1990. ,
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. ,
Interpretative barriers to successful product innovation in large firms, Organization Science, vol.3, issue.2, pp.179-202, 1992. ,
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, Journal of Engineering Manufacture, vol.210, pp.301-320, 1996. ,
The Way We Think: Conceptual Blending and the Mind's Hidden Complexities, 2002. ,
Science Without Numbers: A Defence of Nominalism, Princeton, N.J, 1980. ,
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: The Story of the Manhattan ProjectTowards Design Theory and Expandable Rationality: The unfinished program of Herbert Simon, Journal of management and gouvernance, vol.5, issue.3, pp.260-273, 1962. ,
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.19, 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.24, issue.9, pp.359-373, 2011. ,
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. ,
Lise Meitner and Disintegration of Uranium by Neutrons: a New Type of Nuclear Reaction, Nature, vol.143, issue.3615, pp.239-240, 1938. ,
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.31, pp.31-46, 2010. ,
DOI : 10.1080/01445340903445071
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, 9th Biennial ASME Conference on Engineering Systems Design and Analysis ESDA2008, 2008. ,
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. ,
Kind of seeing and their functions in designing, Design Studies, vol.13, issue.2, pp.135-156, 1992. ,
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, AI in Engineering Design and Manufacturing, vol.7, issue.4, pp.257-274, 1993. ,
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. ,
DOI : 10.1111/1468-5884.00227
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, Science, vol.134, issue.3473, pp.161-164, 1961. ,
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. ,