Mathematical foundations of metaphysics

S. M. Krylov

Journal of Samara State Technical University, Ser. Physical and Mathematical Sciences, no. 1 (2012), pp. 233-242.

Résumé

The paper deals with basic prerequisites for axiomatic of rigorous scientific metaphysics, which continues Aristotle's 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.

Détail

Keywords: algorithms, general formal technology, general system theory, object properties, object functionalities, axiomatic of metaphysics.

Bibliographie

[1] Aristotle, Metaphysics. Translations. Comment. Interpretations, ed. S. I. Eremeev, Aleteiya, St. Petersburg, 2002, 832 pp.

[2] Lovelace A. A., “Notes by the Translator”, Faster than Thought. A. 349. Symposium on Digital Computing Machines., ed. B. V. Bowden, London, 1957, 362–408

[3] Algorithms in Modern Mathematics and Its Applications, Proceedings of International Symposium (September, 16–22, 1979, Urgench, Uzbekistan), SO AN SSSR, Novosibirsk, 1982, 364 pp.

[4] Jones B., “General System Theory and Algorithm Theory”, Int. J. General Systems, 9:3 (1983), 157–160 | DOI | Zbl

[5] Fontana W., Buss L. W., “The barrier of objects: From dynamical systems to bounded organizations”, Boundaries and Barriers, eds. J. Casti and A. Karlqvist, Addison–Wesley, 1996, 56–116

[6] Krylov S. M., “Formal technology and universal systems. I”, Cybernetics and Systems Analysis, 22:4 (1986), 512–518 | DOI

[7] Krylov S. M., “Formal technology and universal systems. II”, Cybernetics and Systems Analysis, 22:5 (1986), 567–572 | DOI

[8] Malcev A. I., Algebraic Systems, Springer-Verlag, Berlin, 1973, 317 pp. | MR | MR | Zbl

[9] Krylov S. M., Formal Technology and Evolution, Mashinostroenie-1, Moscow, 2006, 384 pp.

[10] Algorithms and recursive functions, Wolters-Noordhoff series of monographs and textbooks on pure and applied mathematics, Wolters-Noordhoff, Groningen, 1970, 372 pp. | MR | MR

[11] Krylov S. M., Neokibernetika. Algorithms, Mathematics of evolution and technology of the future, LKI, Moscow, 2008, 288 pp.

[12] Krylov S. M., Formal Technology in Philosophy, Engineering, Bio-evolution and Sociology, SamGTU, Samara, 1997, 180 pp.

[13] Hawking S. W., The Theory of Everything: The Origin and Fate of the Universe, New Millennium, Beverly Hills, CA, 2002, 176 pp.; Khoking S., “Teoriya vsego”, Kratkaya istoriya Vselennoi: tri knigi o prostranstve i vremeni, Amfora, SPb., 2010, 389–495

[14] Chaitin G. J., “A Century of Controversy over the Foundations of Mathematics”, Finite versus Infinite, eds. C. Calude, G. Paun, Springer-Verlag, London, 2000, 75–100, arXiv: chao-dyn/9909001 | DOI | MR

[15] Krylov S. M., “Universal Programmable Completely Automated Factories-on-a-Chip”, Proceedings of the COMS2004 (Aug. 29 – Sept. 2, 2004, Edmonton, Alberta, Canada), MANCEF, Washington, 2004, 269–273

[16] Amin A.M., Thottethodi M., Vijaykumar T. N., Wereley S., Stephen C., Jacobson S. J., “Aquacore: a programmable architecture for microfluidics”, ISCA '07: Proceedings of the 34th annual international symposium on Computer architecture, 2007, 254–265 | DOI

[17] Krylov S. M., “Models of universal analog-digital computer based on Turing machines”, Elektron. Model., 1982, no. 3, 6–10

[18] Copeland B. J., “Hypercomputation”, Minds and Machines, 12:4 (2002), 461–502 | DOI | Zbl

[19] Krylov S. M., “Formal Technology and Cognitive Processes”, Int. J. Gen. Sys., 24:3 (1996), 233–243 | DOI

[20] Krylov S. M., “The proof of Turing–Church Thesis limitations on the objects having physical properties”, Vestn. Orenburg. Gos. Un-ta, 2003, no. 3, 102–105