Home // ICONS 2014, The Ninth International Conference on Systems // View article

A Cartesian Methodology for an Autonomous Program Synthesis System

Authors:
Marta Franova

Keywords: program synthesis systems; methodology; Constructive Matching methodology; creativity, symbiosis

Abstract:
In this paper, we present the main difference between Newtonian and Cartesian approaches to scientific creativity when related to Program Synthesis (PS). The main contribution of the paper is a thorough discussion on the creative building of a theorem prover. 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. This analysis is then applied to the more complex case of the general framework for our own ‘Constructive Matching Methodology’ (CMM) as a Cartesian approach to the creation of an autonomous theorem prover for PS.

Pages: 22 to 27

Copyright: Copyright (c) IARIA, 2014

Publication date: February 23, 2014

Published in: conference

ISSN: 2308-4243

ISBN: 978-1-61208-319-3

Location: Nice, France

Dates: from February 23, 2014 to February 27, 2014