от | | Научные исследования
Дмитрий Леонидович Гуринович Научный руководитель Института фундаментальной математики 1 программа Гильберта NP P Рефлексия Описание произведения: Была использована методика Гёделя по построению такого рода тестовой задачи из класса NP, которая... 
от | | Научные исследования
Дмитрий Леонидович Гуринович Научный руководитель Института фундаментальной математики 2 Языки логики и классы сложности Рефлексия NP P Описание произведения: Переработка предыдущей заметки на эту тему – «Программа Гильберта, NP ≠ P, Рефлексия» (... 
от | | Научные исследования
Дмитрий Леонидович Гуринович Научный руководитель Института фундаментальной математики 7 Расширение математической логики Описание произведения: Обнаружен неизвестный ранее в математике этап применения математических теорий и методов, без которого... 
от | | Научные исследования
Дмитрий Леонидович Гуринович Научный руководитель Института фундаментальной математики 6 Числа арифметики Пеано не обладают необходимыми для вычислимости свойствами Описание произведения: Числа арифметики Пеано не обладают необходимыми для вычислимости... 
от | | Научные исследования
Дмитрий Леонидович Гуринович Научный руководитель Института фундаментальной математики 4 Машина исполнения комрьютерных алгоритмов Архитектура мат модели с центр процессором и неограниченными лучами данных Описание произведения: Построена математическая... 
от | | Научные исследования
Дмитрий Леонидович Гуринович Научный руководитель Института фундаментальной математики 3 Теория строк слов Недостаточная выразительность рекурсивных функций и арифметики для теории алгоритмов Описание произведения: Построение теории первого порядка... 