ON CYCLE INVARIANT
Date
2013-04-23
Authors
Zeps, Dainis
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Taking the programming paradigm with the cycle invariant as a base notion
there for a ground cycle paradigm, in a more general setting here these
things are considered. Epistemological aspects with reference to Rene
Descartes methods of reasoning are considered. Particularly analogy
between Descartes method of specification and top-down programming is
considered. A general principle of reconstruction in epistemology is
suggested and discussed, firstly specifying it within programming and then
trying it to generalize to whatever else.
Submitted as a paper in philosophy for doctoral studies.
Description
Keywords
cycle invariant , programming , epistemology