Is "creative subject" of Brouwer a designer? - An analysis of Intuitionist Mathematics from the viewpoint of C-K design theory

DS 58-2: Proceedings of ICED 09, the 17th International Conference on Engineering Design

Volumn 2, Issue , 2009, Pages 347-358

  Kazakci, Akin O ^a   Hatchuel, Armand ^a  

^a PSL RESEARCH UNIVERSITY   (France)

Author keywords

C K design theory; Creative subject; Design and mathematics; Intuitionism

Indexed keywords

CONCEPT SPACE; CONVENTIONAL DESIGN; CREATIVE SUBJECT; DESIGN RESEARCH; DESIGN THEORY; INTUITIONISM; MATHEMATICAL CONSTRUCTIONS; MATHEMATICAL THEORY; REASONING PROCESS;

ENGINEERING RESEARCH; MATHEMATICAL TECHNIQUES;

DESIGN;

EID: 84859244691     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (28)

1. Brouwer, L.E.J., Over de Grondslagen der Wiskunde [On the foundations of Mathematics], 183p. 1907.
2. Brouwer, L.E.J., De Onbetrouwbaarheidder logischeprincipes. Tijdschrift voor Wijsbegeerte, 1908. 2: p. 152-158.
3. Brouwer, L.E.J. Consciousness, Philosophy and Mathematics. in Proceedings of the 10th International Congress of Philosophy. 1948. Amsterdam.
4. Freudenthal, H., ed. Brouwer, L.E.J., Collected Works 2. Geometry, Analysis, Topology and Mechanics. 1976, North Holland Publishing: Amsterdam.
5. Heyting, A., ed. L.E.J. Brouwer. Collected Works 1. Philosophy and Foundations of Mathematics. 1975, North Holland Amsterdam.
6. Hatchuel, A. and B. Weil, Entre concepts et connaissances: elements d'une theorie de la conception, in Les nouveaux regimes de la conception: Langages, theories, metiers, A. Hatchuel and B. Weil, Editors. 2008, Vuibert: Paris.
7. Kazakci, A. and A. Tsoukias, Extending the C-K design theory: A theoretical backgroundfor personal design assistants. Journal of Engineering Design, 2005. 16(4): p. 399-411.
8. Dummett, M., Elements of Intuitionism. 1977, Oxford: Clarendon Press.
9. Fraser, Z., 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, 2006. 2(1-2): p. 94-133.
10. Largeault, J., Intuition etIntuitionisme. 1993, Paris: Vrin. 235.
11. Reich, Y., et al., The interplay between design and mathematics: Introduction to bootstrapping effects, in 9th Biennial ASME Conference on Engineering Systems Design and Analysis ESDA2008. 2008: Haifa, Israel, 2008.
12. Kazakci, A., A formalisation of CK design theory based on Intuitionist Logic, in ICORD09. 2009: Banglore, India.
13. Hatchuel, A. and B. Weil. Pour une theorie unifiee de la conception, Axiomatiques et processus collectifs. in CGS Ecole des Mines, GIS cognition-CNRS. 1999.
14. Hatchuel, A. and B. Weil. La theorie C-K: Fondaments et usages d'une theorie unifiee de la conception. in Colloque Sciences de la Conception. 2002. Lyon.
15. Hatchuel, A. and B. Weil. A new approach of innovative design : an introduction to C-K design theory. in ICED'03. 2003. Stockholm, Sweden.
16. Hatchuel, A. and B. Weil. Design as Forcing:Deepening the foundations of Ck theory, in 16th International Conference on Engineering Design - ICED 2007, Knowledge, Innovation and Sustainability. 2007. Paris, France.
17. Hatchuel, A. and B. Weil, C-K design theory: an advanced formulation. Research in Engineering Design, 2008.
18. Cohen, J.P. The independance of the continuum hypothesis I. in Procedings of the National Academy of Science. 1963. USA.
19. Cohen, J.P. The independance of the continuum hypothesis II. in Procedings of the National Academy of Science. 1964. USA.
20. Russell, B., The Principles of Mathematics. 1903, Cambridge: Cambridge University Press.
21. Russell, B. and A.N. Whitehead, PrincipiaMathematica. Vol. 3. 1910, Cambridge: Cambridge University Press. Second edition, 1925
22. van Dalen, D., ed. Brouwer's Cambridge Lectures on Intuitionism. 1981, Cambridge University Press: Cambridge. 109.
23. Heyting, A., The intuitonist foundations of mathematics, in Philosophy of mathematics: selected readings, P. Benacerraf and H. Putnam, Editors. 1983, Cambridge University Press: Cambridge. p. 52-61.
24. Heyting, A., Disputation, in Philosophy of mathematics: selected readings, P. Benacerraf and H. Putnam, Editors. 1983, Cambridge University Press: Cambridge. p. 66-76.
25. Hibert, D., The foundations of mathematics., in Ewald, William B., ed., 1996. From Kant to Hilbert: A Source Book in the Foundations of Mathematics, 2 vols. Oxford Uni. Press. 1927.
26. van Dalen, D., How the Mathematical Objects Determine the Mathematical Principles! Journal of Universal Computer Science, 2005. 11(12): p. 2132-2141.
27. Niekus, J., The method of the creative subject 1986, Amsterdam (NL): Stichting Mathematisch Centrum.
28. Niekus, J., Individual Choice Sequences in the Work of L.E.J.Brouwer, in Philosophical Insights into Logic and Mathematics. 2002: Nancy, France.