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.
Liste complète des métadonnées

Cited literature [24 references]  Display  Hide  Download

https://hal.inria.fr/hal-00862117
Contributor : Marta Franova <>
Submitted on : Monday, September 16, 2013 - 9:55:11 AM
Last modification on : Tuesday, April 24, 2018 - 1:50:51 PM
Document(s) archivé(s) le : Friday, December 20, 2013 - 1:41:22 PM

File

cognitive_2013_5_40_40041_publ...
Explicit agreement for this submission

Identifiers

  • HAL Id : hal-00862117, version 1

Collections

Citation

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

Share

Metrics

Record views

289

Files downloads

165