Ключевые научные исследования

Теория строк (слов). недостаточная выразительность рекурсивных функций и арифметики для теории алгоритмов



Машина исполнения компьютерных алгоритмов - архитектура математической модели с центральным процессором и неограниченными лучами данных



Вычислимость по Тьюрингу превосходит в принципиальном отношении вычислимость рекурсивных функций



Числа арифметики пеано не обладают необходимыми для вычислимости свойствами и никакое логическое расширение арифметики Пеано не создаёт им эти свойства



Расширение математической логики средствами ООП для достижения необходимой выразительности при разборе вопросов вычислений и вычислимости

Наглый частный случай, о том, как Крипке нашёл у Непейводы частный случай и стал классиком вместо него

| | Рецензии, Рога и Копыта | 0 комментария

Это увлекательная и почти детективная история о том, как открытие русского математика Николая Николаевича Непейводы (родился в 1949 году в России) перекочевало в виде своего же частного случая в науку логики в США, а работа Саула Аарона Крипке (Saul Aaron Kripke,...

Подробнее

Как доктор наук Знаменский С. В. из Российской академии наук открыл Америку

| | Рецензии, Рога и Копыта | 0 комментария

Как доктор наук Знаменский С. В. из Российской академии наук открыл Америку, повторно открыв понятие выпуклости в направлении, её свойства, а также исследовав дифференциальные уравнения бесконечного порядка, или Заимствования в теории дифференциальных уравнений...

Подробнее

Арбузная корка академика Гончарова С. С.

| | Рецензии, Рога и Копыта | 0 комментария

В конце 2022 года в Институте математики им. С. Л. Соболева Сибирского отделения Российской академии наук (Новосибирск) была защищена, под научным руководством академика РАН, профессора, доктора наук Гончарова С. С. и в соавторстве с ним, диссертация "Полиномиальная...

Подробнее

Теорема Фейгина, творческий путь Рональда Фейгина

| | Математические обзоры | 0 комментария

Выше приведена версия статьи с включением математического аппарата, формул, полный текст...

Подробнее

Дескриптивная сложность: анализ трудов лауреата премии Гёделя, профессора Нила Иммермана, и их влияния на теоретическую информатику

| | Математические обзоры | 0 комментария

Выше приведена версия статьи с включением математического аппарата, формул, полный текст будет опубликован после внесения...

Подробнее

К вершинам компьютерного зрения — Институт прикладной математики РАН, оседлав старый алгоритм

| | Рецензии | 0 комментария

10 июля 2025 года на семинаре Института прикладной математики им. М.В. Келдыша РАН была рассмотрена кандидатская диссертация по теме "Исследование и разработка гибридных алгоритмов распознавания объектов на основе зрительных данных", написанная под научным...

Подробнее

Дмитрий Леонидович Гуринович

Ключевые научные исследования

Популярные материалы

Новейшие исследования