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](https://reader030.fdocuments.us/reader030/viewer/2022012614/619b9807b8a6924765495ba9/html5/thumbnails/1.jpg)
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](https://reader030.fdocuments.us/reader030/viewer/2022012614/619b9807b8a6924765495ba9/html5/thumbnails/2.jpg)
![Page 3: ON CYCLE INVARIANT](https://reader030.fdocuments.us/reader030/viewer/2022012614/619b9807b8a6924765495ba9/html5/thumbnails/3.jpg)
![Page 4: ON CYCLE INVARIANT](https://reader030.fdocuments.us/reader030/viewer/2022012614/619b9807b8a6924765495ba9/html5/thumbnails/4.jpg)
![Page 5: ON CYCLE INVARIANT](https://reader030.fdocuments.us/reader030/viewer/2022012614/619b9807b8a6924765495ba9/html5/thumbnails/5.jpg)
![Page 6: ON CYCLE INVARIANT](https://reader030.fdocuments.us/reader030/viewer/2022012614/619b9807b8a6924765495ba9/html5/thumbnails/6.jpg)
![Page 7: ON CYCLE INVARIANT](https://reader030.fdocuments.us/reader030/viewer/2022012614/619b9807b8a6924765495ba9/html5/thumbnails/7.jpg)
![Page 8: ON CYCLE INVARIANT](https://reader030.fdocuments.us/reader030/viewer/2022012614/619b9807b8a6924765495ba9/html5/thumbnails/8.jpg)
![Page 9: ON CYCLE INVARIANT](https://reader030.fdocuments.us/reader030/viewer/2022012614/619b9807b8a6924765495ba9/html5/thumbnails/9.jpg)
![Page 10: ON CYCLE INVARIANT](https://reader030.fdocuments.us/reader030/viewer/2022012614/619b9807b8a6924765495ba9/html5/thumbnails/10.jpg)
![Page 11: ON CYCLE INVARIANT](https://reader030.fdocuments.us/reader030/viewer/2022012614/619b9807b8a6924765495ba9/html5/thumbnails/11.jpg)
![Page 12: ON CYCLE INVARIANT](https://reader030.fdocuments.us/reader030/viewer/2022012614/619b9807b8a6924765495ba9/html5/thumbnails/12.jpg)
![Page 13: ON CYCLE INVARIANT](https://reader030.fdocuments.us/reader030/viewer/2022012614/619b9807b8a6924765495ba9/html5/thumbnails/13.jpg)
![Page 14: ON CYCLE INVARIANT](https://reader030.fdocuments.us/reader030/viewer/2022012614/619b9807b8a6924765495ba9/html5/thumbnails/14.jpg)
![Page 15: ON CYCLE INVARIANT](https://reader030.fdocuments.us/reader030/viewer/2022012614/619b9807b8a6924765495ba9/html5/thumbnails/15.jpg)
![Page 16: ON CYCLE INVARIANT](https://reader030.fdocuments.us/reader030/viewer/2022012614/619b9807b8a6924765495ba9/html5/thumbnails/16.jpg)
![Page 17: ON CYCLE INVARIANT](https://reader030.fdocuments.us/reader030/viewer/2022012614/619b9807b8a6924765495ba9/html5/thumbnails/17.jpg)
![Page 18: ON CYCLE INVARIANT](https://reader030.fdocuments.us/reader030/viewer/2022012614/619b9807b8a6924765495ba9/html5/thumbnails/18.jpg)
![Page 19: ON CYCLE INVARIANT](https://reader030.fdocuments.us/reader030/viewer/2022012614/619b9807b8a6924765495ba9/html5/thumbnails/19.jpg)
![Page 20: ON CYCLE INVARIANT](https://reader030.fdocuments.us/reader030/viewer/2022012614/619b9807b8a6924765495ba9/html5/thumbnails/20.jpg)
![Page 21: ON CYCLE INVARIANT](https://reader030.fdocuments.us/reader030/viewer/2022012614/619b9807b8a6924765495ba9/html5/thumbnails/21.jpg)
![Page 22: ON CYCLE INVARIANT](https://reader030.fdocuments.us/reader030/viewer/2022012614/619b9807b8a6924765495ba9/html5/thumbnails/22.jpg)
![Page 23: ON CYCLE INVARIANT](https://reader030.fdocuments.us/reader030/viewer/2022012614/619b9807b8a6924765495ba9/html5/thumbnails/23.jpg)
![Page 24: ON CYCLE INVARIANT](https://reader030.fdocuments.us/reader030/viewer/2022012614/619b9807b8a6924765495ba9/html5/thumbnails/24.jpg)
![Page 25: ON CYCLE INVARIANT](https://reader030.fdocuments.us/reader030/viewer/2022012614/619b9807b8a6924765495ba9/html5/thumbnails/25.jpg)
![Page 26: ON CYCLE INVARIANT](https://reader030.fdocuments.us/reader030/viewer/2022012614/619b9807b8a6924765495ba9/html5/thumbnails/26.jpg)
![Page 27: ON CYCLE INVARIANT](https://reader030.fdocuments.us/reader030/viewer/2022012614/619b9807b8a6924765495ba9/html5/thumbnails/27.jpg)
![Page 28: ON CYCLE INVARIANT](https://reader030.fdocuments.us/reader030/viewer/2022012614/619b9807b8a6924765495ba9/html5/thumbnails/28.jpg)