Cartesian versus Newtonian Paradigms for Recursive Program Synthesis

Marta Franova 1, *
* Auteur correspondant
1 Apprentissage et Optimisation
LRI - Laboratoire de Recherche en Informatique
Abstract : In this paper, we bring a new solution to two unusual questions in Computer Science relative to recursive Program Synthesis (PS). To clarify our ideas we introduce the concepts of Newtonian and Cartesian paradigms to scientific creativity when related to PS. The main contribution of the paper is a thorough discussion on the difference between disruptive Cartesian creation and classical Newtonian construction of a theorem prover devoted to PS. We illustrate these ideas by an analysis of Peano's axioms defining the set of non negative integers, from the point of view of creativity and we explain why Newtonian systemic creativity is not suited for conceiving this simple recursive system. This analysis is then applied to a more complex case of the general framework for our own 'Constructive Matching Methodology' (CMM) as a Cartesian paradigm to the creation of an autonomous theorem prover for PS. This methodology illustrates that Cartesian Intuitionism can be viewed as a 'generator of new ideas'.
Type de document :
Article dans une revue
International Journal On Advances in Systems and Measurements, IARIA, 2014, pp.15
Liste complète des métadonnées

https://hal.inria.fr/hal-01131257
Contributeur : Marta Franova <>
Soumis le : vendredi 13 mars 2015 - 11:23:47
Dernière modification le : mardi 24 avril 2018 - 13:39:18
Document(s) archivé(s) le : dimanche 14 juin 2015 - 10:36:21

Fichier

IARIA journal final 71009 uplo...
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01131257, version 1

Collections

Citation

Marta Franova. Cartesian versus Newtonian Paradigms for Recursive Program Synthesis. International Journal On Advances in Systems and Measurements, IARIA, 2014, pp.15. 〈hal-01131257〉

Partager

Métriques

Consultations de la notice

121

Téléchargements de fichiers

116