ON CYCLE INVARIANT

28
ON CYCLE INVARIANT Dainis ZEPS Riga, 1986 University of Latvia 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.

Transcript of ON CYCLE INVARIANT

Page 1: ON CYCLE INVARIANT

ON CYCLE INVARIANT Dainis ZEPS

Riga, 1986 University of Latvia 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.

Page 2: ON CYCLE INVARIANT
Page 3: ON CYCLE INVARIANT
Page 4: ON CYCLE INVARIANT
Page 5: ON CYCLE INVARIANT
Page 6: ON CYCLE INVARIANT
Page 7: ON CYCLE INVARIANT
Page 8: ON CYCLE INVARIANT
Page 9: ON CYCLE INVARIANT
Page 10: ON CYCLE INVARIANT
Page 11: ON CYCLE INVARIANT
Page 12: ON CYCLE INVARIANT
Page 13: ON CYCLE INVARIANT
Page 14: ON CYCLE INVARIANT
Page 15: ON CYCLE INVARIANT
Page 16: ON CYCLE INVARIANT
Page 17: ON CYCLE INVARIANT
Page 18: ON CYCLE INVARIANT
Page 19: ON CYCLE INVARIANT
Page 20: ON CYCLE INVARIANT
Page 21: ON CYCLE INVARIANT
Page 22: ON CYCLE INVARIANT
Page 23: ON CYCLE INVARIANT
Page 24: ON CYCLE INVARIANT
Page 25: ON CYCLE INVARIANT
Page 26: ON CYCLE INVARIANT
Page 27: ON CYCLE INVARIANT
Page 28: ON CYCLE INVARIANT