Home // COGNITIVE 2013, The Fifth International Conference on Advanced Cognitive Technologies and Applications // View article

Cartesian Intuitionism for Program Synthesis

Authors:
Marta Franova

Keywords: creativity; Program Synthesis; Newtonian style; Cartesian style; Constructive Matching Methodology

Abstract:
This paper presents two possible approaches to scientific discovery, the Newtonian and the Cartesian one. The paper explains the main difference between these two styles and underlines the importance of each of them. Its specific scientific contribution is presenting the less known Cartesian approach and the main problems that can be solved by it, in the light of our research in Automated Program Synthesis. The paper is thus related to the creative framework of modeling human reasoning mechanisms, cognitive and computational models, as well as modeling brain information processing mechanisms.

Pages: 102 to 107

Copyright: Copyright (c) IARIA, 2013

Publication date: May 27, 2013

Published in: conference

ISSN: 2308-4197

ISBN: 978-1-61208-273-8

Location: Valencia, Spain

Dates: from May 27, 2013 to June 1, 2013