Skip to Main content Skip to Navigation
Journal articles

Cartesian versus Newtonian Paradigms for Recursive Program Synthesis

Marta Franova 1, *
* Corresponding author
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'.
Document type :
Journal articles
Complete list of metadata

https://hal.inria.fr/hal-01131257
Contributor : Marta Franova <>
Submitted on : Friday, March 13, 2015 - 11:23:47 AM
Last modification on : Saturday, May 1, 2021 - 3:39:23 AM
Long-term archiving on: : Sunday, June 14, 2015 - 10:36:21 AM

File

IARIA journal final 71009 uplo...
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01131257, version 1

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⟩

Share

Metrics

Record views

206

Files downloads

356