Участник:VladimirReshetnikov (Rcgvmunt&VladimirReshetnikov)

Это личная страница участника русской Википедии.

Это не энциклопедическая статья.

Если вы видите эту страницу не на сайте русской Википедии (ru.wikipedia.org или ru.m.wikipedia.org), то вы просматриваете зеркало сайта. Это означает, что эта страница могла устареть, и человек, которому принадлежит эта страница, может не иметь какого-либо отношения к другим проектам, кроме Википедии.

Оригинал страницы находится по адресу ru.wikipedia.org/wiki/Участник:VladimirReshetnikov.

Мои интересы

Языки программирования, статический анализ программ, системы типов, теория алгоритмов, дискретная математика, основания математики, матлогика, теория множеств, теория доказательств.

Мой вклад  (рус.)
My contribution  (англ.)

Написанные статьи и заготовки

• Теорема Тарского о невыразимости истины
• Теорема Лёба
• Арифметическое множество
• Вычислительная топология
• Константа Бруна
• Контактное число
• Частный случай (логика)

Статьи с существенным вкладом

• Открытые математические проблемы
• Открытые проблемы в теории чисел
• Перечислимое множество
• Разрешимое множество
• Порядковое число
• Континуум (теория множеств)
• Континуум-гипотеза
• Гипотеза Римана
• Проблема остановки

Планируемые статьи и черновики

• Планируемые статьи
• Мои черновики

Этот участник является одним из патрулирующих русской Википедии

Этот участник является одним из откатывающих русской Википедии

Этот участник является одним из автопатрулируемых русской Википедии

Этот участник интересуется наукой

Этот участник интересуется математикой