Mathematical foundations of metaphysics


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

(д.т.н., проф.), профессор, каф. вычислительной техники; Самарский государственный технический университет; Samara State Technical University


  1. Аристотель Метафизика. Переводы. Комментарии. Толкования / ред. сост. и подготовка текстов С. И. Еремеев. СПб.: Алетейя, 2002. 832 с.
  2. 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.
  3. Алгоритмы в современной математике и ее приложениях: Материалы международного симпозиума (16-22 сентября 1979 г., Ургенч, Узбекистан). Новосибирск: СО АН СССР, 1982. 364 с.
  4. Jones B. General System Theory and Algorithm Theory // Int. J. General Systems, 1983. Vol. 9, no. 3. Pp. 157-160.
  5. 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.
  6. Крылов С. М. Формальная технология и универсальные системы. I // Кибернетика, 1986. № 4. С. 85-89.
  7. Крылов С. М. Формальная технология и универсальные системы. II // Кибернетика, 1986. № 5. С. 28-31.
  8. Мальцев А. И. Алгебраические системы. М.: Наука, 1970. 392 с.
  9. Крылов С. М. Формальная технология и эволюция. М.: Машиностроение-1, 2006. 384 с.
  10. Мальцев А. И. Алгоритмы и рекурсивные функции. М.: Наука, 1965. 392 с.
  11. Крылов С. М. Неокибернетика: алгоритмы, математика эволюции и технологии будущего. М.: ЛКИ, 2008. 288 с.
  12. Крылов С. М. Формальная технология в философии, технике, биоэволюции и социологии. Самара: СамГТУ, 1997. 180 с.
  13. Hawking S. W. The Theory of Everything: The Origin and Fate of the Universe. Beverly Hills, CA: New Millennium, 2002. 176 pp.
  14. 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.
  15. 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.
  16. 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.
  17. Крылов С. М. Модели универсальных дискретно-аналоговых машин на основе машины Тьюринга // Электрон. модел., 1982. № 3. С. 6-10.
  18. Copeland B. J. Hypercomputation // Minds and Machines, 2002. Vol. 12, no. 4. Pp. 461-502.
  19. Krylov S. M. Formal Technology and Cognitive Processes // Int. J. Gen. Sys., 1996. Vol. 24, no. 3. Pp. 233-243.
  20. Крылов С. М. Доказательство ограниченности действия тезиса Тьюринга-Черча на объектах с физическими свойствами // Вестн. Оренбург. гос. ун-та, 2003. № 3. С. 102-105.



Abstract - 17

PDF (Russian) - 7



  • There are currently no refbacks.

Copyright (c) 2012 Samara State Technical University

Creative Commons License
This work is licensed under a Creative Commons Attribution 4.0 International License.

This website uses cookies

You consent to our cookies if you continue to use our website.

About Cookies