Skip to Main content Skip to Navigation
Conference papers

Cartesian Intuitionism for Program Synthesis

Marta Franova 1, * 
* Corresponding author
1 Apprentissage et Optimisation
LRI - Laboratoire de Recherche en Informatique
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.
Complete list of metadata

Cited literature [24 references]  Display  Hide  Download
Contributor : Marta Franova Connect in order to contact the contributor
Submitted on : Monday, September 16, 2013 - 9:55:11 AM
Last modification on : Sunday, June 26, 2022 - 11:59:40 AM
Long-term archiving on: : Friday, December 20, 2013 - 1:41:22 PM


Explicit agreement for this submission


  • HAL Id : hal-00862117, version 1



Marta Franova. Cartesian Intuitionism for Program Synthesis. Cognitive 2013, May 2013, Valence, Spain. ⟨hal-00862117⟩



Record views


Files downloads