2003, № 3

С.М. Крылов ДОКАЗАТЕЛЬСТВО ОГРАНИЧЕННОСТИ ДЕЙСТВИЯ ТЕЗИСА ТЬЮРИНГА - ЧЕРЧА НА ОБЪЕКТАХ С ФИЗИЧЕСКИМИ СВОЙСТВАМИ В статье рассматриваются особенности формально-технологического подхода к представлению различных абстрактных и реальных объектов в соответствии с объектно-ориентированной парадигмой. На основе предложенного подхода средствами формальной технологии доказывается ограниченность действия тезиса Тьюринга - Черча на объектах, обладающих физическими свойствами.

Загрузить

О статье

Автор: Крылов С.М.

Год: 2003

Главный редактор

Сергей Александрович
МИРОШНИКОВ

© Электронное периодическое издание: ВЕСТНИК ОГУ on-line (VESTNIK OSU on-line), ISSN on-line 1814-6465
Зарегистрировано в Федеральной службе по надзору в сфере связи, информационных технологий и массовых коммуникаций
Свидетельство о регистрации СМИ: Эл № ФС77-37678 от 29 сентября 2009 г.
Учредитель: Оренбургский государственный университет (ОГУ)
Главный редактор: С.А. Мирошников
Адрес редакции: 460018, г. Оренбург, проспект Победы, д. 13, к. 2335
Тел./факс: (3532)37-27-78 E-mail: vestnik@mail.osu.ru