Original sentence: At the 2009 International Conference on Engineering Design, an awarded-paper links scientific discovery and design process using C-K theory as a formal framework.It has been argued that there is a deep correspondence between C-K theory and Forcing in modern set theory.Similarly it has been argued that Brouwer’s intuitionnistic mathematics can been considered as an attempt to define existence in mathematics through a specific design process.Such findings tend to converge towards the idea that a science of design is possible and could constitute a central component of human rationality that is different, yet complementary, from the more traditional bounded rationality.The high abstraction and formalization of C-K theory has helped to establish connections with research fields such as mathematics and philosophy.This recent research in design theory has focused on attempting to interpret Forcing as the formalization of a design logic in mathematics
Edited sentence: Research also confirms that scientific discovery can be modeled as a C-K process.Similarly, Brouwer’s intuitionnistic mathematics can be seen as an attempt to define existence in mathematics through a specific design process.Such findings tend to converge towards the idea that a science of design is possible and constitutes a central component of human rationality that is different, yet complementary, from classic rationality.The high generality and formalization of C-K theory helped to established important connections with major fields in mathematics and philosophy.There is a deep correspondence between C-K theory and Forcing in modern set theory.Thus Forcing can be interpreted as the formalization of design logic in mathematics