Mathematical foundations of metaphysics
- Authors: Krylov S.M1
-
Affiliations:
- Samara State Technical University
- Issue: Vol 16, No 1 (2012)
- Pages: 233-242
- Section: Articles
- Submitted: 18.02.2020
- Published: 15.03.2012
- URL: https://journals.eco-vector.com/1991-8615/article/view/20953
- ID: 20953
Cite item
Full Text
Abstract
The paper deals with basic prerequisites for axiomatic of rigorous scientific metaphysics, which continues Aristotles ideas concerning science explaining furniture of the world. Such rigorous metaphysics could explain many global or local properties of various physical systems like proved mathematical theorems explain global and local properties of mathematical objects.
About the authors
Sergey M Krylov
Samara State Technical University
Email: s_m_krylov@mail.ru
(д.т.н., проф.), профессор, каф. вычислительной техники; Самарский государственный технический университет; Samara State Technical University
References
- Аристотель Метафизика. Переводы. Комментарии. Толкования / ред. сост. и подготовка текстов С. И. Еремеев. СПб.: Алетейя, 2002. 832 с.
- Lovelace A. A. Notes by the Translator / In: Faster than Thought. A. 349. Symposium on Digital Computing Machines.; ed. B. V. Bowden. London, 1957. Pp. 362-408.
- Алгоритмы в современной математике и ее приложениях: Материалы международного симпозиума (16-22 сентября 1979 г., Ургенч, Узбекистан). Новосибирск: СО АН СССР, 1982. 364 с.
- Jones B. General System Theory and Algorithm Theory // Int. J. General Systems, 1983. Vol. 9, no. 3. Pp. 157-160.
- Fontana W., Buss L. W. The barrier of objects: From dynamical systems to bounded organizations / In: Boundaries and Barriers; eds. J. Casti and A. Karlqvist: Addison-Wesley, 1996. Pp. 56-116.
- Крылов С. М. Формальная технология и универсальные системы. I // Кибернетика, 1986. № 4. С. 85-89.
- Крылов С. М. Формальная технология и универсальные системы. II // Кибернетика, 1986. № 5. С. 28-31.
- Мальцев А. И. Алгебраические системы. М.: Наука, 1970. 392 с.
- Крылов С. М. Формальная технология и эволюция. М.: Машиностроение-1, 2006. 384 с.
- Мальцев А. И. Алгоритмы и рекурсивные функции. М.: Наука, 1965. 392 с.
- Крылов С. М. Неокибернетика: алгоритмы, математика эволюции и технологии будущего. М.: ЛКИ, 2008. 288 с.
- Крылов С. М. Формальная технология в философии, технике, биоэволюции и социологии. Самара: СамГТУ, 1997. 180 с.
- Hawking S. W. The Theory of Everything: The Origin and Fate of the Universe. Beverly Hills, CA: New Millennium, 2002. 176 pp.
- Chaitin G. J. A Century of Controversy over the Foundations of Mathematics / In: Finite versus Infinite; eds. C. Calude, G. Paun. London: Springer-Verlag, 2000. Pp. 75-100, arXiv: chao-dyn/9909001.
- Krylov S. M. Universal Programmable Completely Automated Factories-on-a-Chip / In: Proceedings of the COMS2004 (Aug. 29 - Sept. 2, 2004, Edmonton, Alberta, Canada). Washington: MANCEF, 2004. Pp. 269-273.
- Amin A.M., Thottethodi M., Vijaykumar T. N., Wereley S., Stephen C., Jacobson S. J. Aquacore: a programmable architecture for microfluidics / In: ISCA '07: Proceedings of the 34th annual international symposium on Computer architecture, 2007. Pp. 254-265.
- Крылов С. М. Модели универсальных дискретно-аналоговых машин на основе машины Тьюринга // Электрон. модел., 1982. № 3. С. 6-10.
- Copeland B. J. Hypercomputation // Minds and Machines, 2002. Vol. 12, no. 4. Pp. 461-502.
- Krylov S. M. Formal Technology and Cognitive Processes // Int. J. Gen. Sys., 1996. Vol. 24, no. 3. Pp. 233-243.
- Крылов С. М. Доказательство ограниченности действия тезиса Тьюринга-Черча на объектах с физическими свойствами // Вестн. Оренбург. гос. ун-та, 2003. № 3. С. 102-105.