Математические основы метафизики
- Авторы: Крылов С.М.1
-
Учреждения:
- Самарский государственный технический университет
- Выпуск: Том 16, № 1 (2012)
- Страницы: 233-242
- Раздел: Статьи
- Статья получена: 18.02.2020
- Статья опубликована: 15.03.2012
- URL: https://journals.eco-vector.com/1991-8615/article/view/20953
- ID: 20953
Цитировать
Полный текст
Аннотация
Рассматриваются базовые предпосылки для аксиоматизации и математизации строгой научной версии метафизики, продолжающей идеи Аристотеля в направлении разработки основ науки, логически объясняющей устройство окружающего мира, то есть доказывающей посредством логически обоснованных утверждений (аналогов математических теорем) наличие (или отсутствие) тех или иных его глобальных и (или) локальных физических и прочих свойств.
Об авторах
Сергей Михайлович Крылов
Самарский государственный технический университет
Email: s_m_krylov@mail.ru
(д.т.н., проф.), профессор, каф. вычислительной техники; Самарский государственный технический университет
Список литературы
- Аристотель Метафизика. Переводы. Комментарии. Толкования / ред. сост. и подготовка текстов С. И. Еремеев. СПб.: Алетейя, 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.