Математические основы метафизики


Цитировать

Полный текст

Аннотация

Рассматриваются базовые предпосылки для аксиоматизации и математизации строгой научной версии метафизики, продолжающей идеи Аристотеля в направлении разработки основ науки, логически объясняющей устройство окружающего мира, то есть доказывающей посредством логически обоснованных утверждений (аналогов математических теорем) наличие (или отсутствие) тех или иных его глобальных и (или) локальных физических и прочих свойств.

Об авторах

Сергей Михайлович Крылов

Самарский государственный технический университет

Email: s_m_krylov@mail.ru
(д.т.н., проф.), профессор, каф. вычислительной техники; Самарский государственный технический университет

Список литературы

  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.

Дополнительные файлы

Доп. файлы
Действие
1. JATS XML
Скачать

© Самарский государственный технический университет, 2012

Creative Commons License
Эта статья доступна по лицензии Creative Commons Attribution 4.0 International License.

Согласие на обработку персональных данных с помощью сервиса «Яндекс.Метрика»

1. Я (далее – «Пользователь» или «Субъект персональных данных»), осуществляя использование сайта https://journals.rcsi.science/ (далее – «Сайт»), подтверждая свою полную дееспособность даю согласие на обработку персональных данных с использованием средств автоматизации Оператору - федеральному государственному бюджетному учреждению «Российский центр научной информации» (РЦНИ), далее – «Оператор», расположенному по адресу: 119991, г. Москва, Ленинский просп., д.32А, со следующими условиями.

2. Категории обрабатываемых данных: файлы «cookies» (куки-файлы). Файлы «cookie» – это небольшой текстовый файл, который веб-сервер может хранить в браузере Пользователя. Данные файлы веб-сервер загружает на устройство Пользователя при посещении им Сайта. При каждом следующем посещении Пользователем Сайта «cookie» файлы отправляются на Сайт Оператора. Данные файлы позволяют Сайту распознавать устройство Пользователя. Содержимое такого файла может как относиться, так и не относиться к персональным данным, в зависимости от того, содержит ли такой файл персональные данные или содержит обезличенные технические данные.

3. Цель обработки персональных данных: анализ пользовательской активности с помощью сервиса «Яндекс.Метрика».

4. Категории субъектов персональных данных: все Пользователи Сайта, которые дали согласие на обработку файлов «cookie».

5. Способы обработки: сбор, запись, систематизация, накопление, хранение, уточнение (обновление, изменение), извлечение, использование, передача (доступ, предоставление), блокирование, удаление, уничтожение персональных данных.

6. Срок обработки и хранения: до получения от Субъекта персональных данных требования о прекращении обработки/отзыва согласия.

7. Способ отзыва: заявление об отзыве в письменном виде путём его направления на адрес электронной почты Оператора: info@rcsi.science или путем письменного обращения по юридическому адресу: 119991, г. Москва, Ленинский просп., д.32А

8. Субъект персональных данных вправе запретить своему оборудованию прием этих данных или ограничить прием этих данных. При отказе от получения таких данных или при ограничении приема данных некоторые функции Сайта могут работать некорректно. Субъект персональных данных обязуется сам настроить свое оборудование таким способом, чтобы оно обеспечивало адекватный его желаниям режим работы и уровень защиты данных файлов «cookie», Оператор не предоставляет технологических и правовых консультаций на темы подобного характера.

9. Порядок уничтожения персональных данных при достижении цели их обработки или при наступлении иных законных оснований определяется Оператором в соответствии с законодательством Российской Федерации.

10. Я согласен/согласна квалифицировать в качестве своей простой электронной подписи под настоящим Согласием и под Политикой обработки персональных данных выполнение мною следующего действия на сайте: https://journals.rcsi.science/ нажатие мною на интерфейсе с текстом: «Сайт использует сервис «Яндекс.Метрика» (который использует файлы «cookie») на элемент с текстом «Принять и продолжить».