RUS  ENG
Полная версия
ПЕРСОНАЛИИ
Ганов Валерий Александрович
доцент
доктор физико-математических наук (2003)

Специальность ВАК: 01.01.06 (математическая логика, алгебра и теория чисел)
Дата рождения: 2.11.1944
Телефон: +7 (3852) 77 51 74
E-mail:
Ключевые слова: машины с оракулом, метод форсинга, формальная арифметика.
Коды УДК: 517.15, 517.11, 518.5

Основные темы научной работы:

Вычисления с оракулами.


Основные публикации:
  1. Ганов В.А., “Обобщенные вычисления и дескриптивная теория множеств”, Сиб. мат. журнал, 15:6 (1974), 1244–1261
  2. Ганов В.А., “О границах применимости принципа рефлексии”, Алгебра и логика, 37:2 (1998), 127–143
  3. Ганов В.А., Дегтерева Р.В., “Нестандартный форсинг, истинность и общепринятость суждений”, Известия Алтайского госуниверситета, 68:2 (2010)

Публикации в базе данных Math-Net.Ru

Персональные страницы:

Организации:


© МИАН, 2024