• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • Национальный исследовательский университет «Высшая школа экономики»
  • Публикации ВШЭ
  • Препринты
  • Lev Beklemishev, Daniyar Shamkanov. Some abstract versions of Gödel's second incompleteness theorem based on non-classical logics, ArXiv: 1602.05728, Feb. 2016.
  • RU
  • EN
Расширенный поиск
Высшая школа экономики
Национальный исследовательский университет
Приоритетные направления
  • бизнес-информатика
  • государственное и муниципальное управление
  • гуманитарные науки
  • инженерные науки
  • компьютерно-математическое
  • математика
  • менеджмент
  • право
  • социология
  • экономика
по году
  • 2028
  • 2027
  • 2026
  • 2025
  • 2024
  • 2023
  • 2022
  • 2021
  • 2020
  • 2019
  • 2018
  • 2017
  • 2016
  • 2015
  • 2014
  • 2013
  • 2012
  • 2011
  • 2010
  • 2009
  • 2008
  • 2007
  • 2006
  • 2005
  • 2004
  • 2003
  • 2002
  • 2001
  • 2000
  • 1999
  • 1998
  • 1997
  • 1996
  • 1995
  • 1994
  • 1993
  • 1992
  • 1991
  • 1990
  • 1989
  • 1988
  • 1987
  • 1986
  • 1985
  • 1984
  • 1983
  • 1982
  • 1981
  • 1980
  • 1979
  • 1978
  • 1977
  • 1976
  • 1975
  • 1974
  • 1973
  • 1972
  • 1971
  • 1970
  • 1969
  • 1968
  • 1967
  • 1966
  • 1965
  • 1964
  • 1963
  • 1958
  • еще
Тематика
Новости
8 сентября 2026 г.
Алгебра, геометрия, ИИ: российские и вьетнамские математики обсудили современные исследования
Делегация ученых из Ханоя посетила ФКН НИУ ВШЭ, а затем приняла участие в российско-вьетнамской конференции в Санкт-Петербурге. Мероприятия стали частью трехлетнего проекта «Гибкость и вычислительные методы». За время его реализации исследователи подготовили совместные публикации и получили новые математические результаты.
8 сентября 2026 г.
Как оценивать знания студентов в эпоху ИИ
Ученый НИУ ВШЭ предложил блок-схему, которая помогает преподавателю решить, как оценивать студентов, если они пользуются искусственным интеллектом. Она показывает, где применение нейросети лучше ограничить, а где сделать частью обучения. Статья опубликована в журнале IT Professional.
7 сентября 2026 г.
В НИУ ВШЭ пройдет конференция для представителей наук, изучающих медицину и здоровье
С 3 по 5 декабря в Москве состоится междисциплинарная научная конференция с международным участием «Коморбидное поле 3.0: социальное благополучие, здоровье и медицина во множественных контекстах», которая будет организована Центром сравнительных исследований социального благополучия НИУ ВШЭ при участии факультета гуманитарных наук и Санкт-Петербургской школы гуманитарных наук и искусств НИУ ВШЭ, Европейского университета в Санкт-Петербурге и Сеченовского университета. Заявки на участие принимаются до 4 октября.

 

Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!

Публикации
  • Книги
  • Статьи
  • Главы в книгах
  • Препринты
  • Верификация публикаций
  • Расширенный поиск
  • Правила использования материалов
  • Наука в ВШЭ

?

Lev Beklemishev, Daniyar Shamkanov. Some abstract versions of Gödel's second incompleteness theorem based on non-classical logics, ArXiv: 1602.05728, Feb. 2016.

2016. No. 1602.05728.
Lev Beklemishev, Shamkanov D.
Научное направление: Философия, этика, религиоведение Математика Компьютерные науки
Приоритетные направления: компьютерно-математическое математика
Язык: английский
Текст на другом сайте
Ключевые слова: Goedel theoremfixed pointssubstructural logics
Похожие публикации
АМБУЛАТОРНОЕ СЧАСТЬЕ
Малышкин Е. В., Логос 2024 Т. 34 № 6 (163) С. 217–232
В своих программных трудах Рене Декарт, помимо выстраивания впечатляющей метафизической системы, раз за разом раздает обещания счастья, которое непременно должно сопровождать занятия философией по новому образцу. В чем именно состоит это счастье и способна ли картезианская конструкция выполнить данное обещание? Для кого оно может наступить? Если относиться к этому обещанию всерьез, как к инструкции по ...
Добавлено: 8 сентября 2026 г.
ТЕСТ ТЬЮРИНГА И РАСПРЕДЕЛЕННОЕ ЗНАНИЕ
Малышкин Е. В., Эпистемология и философия науки 2026 Т. 63 № 2 С. 64–69
В начале статьи высказываются несколько критических замечаний в адрес статьи Константина Очеретяного [Очеретяный, 2026]. Итог этих замечаний: опасности, предъявленные в обсуждаемой статье в духе эпистемического пессимизма, не страшат, а затрагиваемые проблемы гораздо старше, чем появление языковых моделей. Размышление в обсуждаемой статье ведется в терминах экспансии, хотя вывод, кажется, противопоставляет конкуренцию за знание «молчаливому стоянию перед ...
Добавлено: 8 сентября 2026 г.
Degree-based topological co-indices for QSPR modelling of benzenoid hydrocarbons: a comparative computational study
Chemical Papers 2026
Добавлено: 8 сентября 2026 г.
On phase-lock area parquet in a special slow-fast limit of model of Josephson junction.
Глуцюк А. А., / Series arXiv "math". 2026.
Добавлено: 8 сентября 2026 г.
On exotic rationally integrable dual billiards I. Complex geometry and type of dynamics.
Глуцюк А. А., / Series arXiv "math". 2026.
Добавлено: 8 сентября 2026 г.
Dynamical systems on torus related to general Heun equations: phase-lock areas and constriction breaking
Александров А. А., Глуцюк А. А., Journal of Differential Equations 2026 Vol. 465 Article 114178
Добавлено: 8 сентября 2026 г.
On rationally integrable planar dual and projective billiards
Глуцюк А. А., Inventiones Mathematicae 2026 Vol. 245 P. 977–1058
Добавлено: 8 сентября 2026 г.
Медиа в цифровом пространстве: коллективная монография / С.Е. Гришин [и др.]; отв. ред. С. В. Черненькая. – М.: Издательство «Перо», 2026. – 314 с. – 13,8 Мб. [Электронное издание].
Ермоленко Г. А., Гришин С. Е., Дугарова С. Б. и др., М.: Издательство "Перо", 2026.
В монографии обозначено предметное и проблемное поле медиаисследований, выделена роль медиа в современном обществе и влияние медиа на социальные процессы, рассмотрены основные теоретические подходы и эмпирические методы изучения медиа в цифровом обществе. Монография адресована широкому кругу исследователей в области философии, культурологии, социологии, медиа и других направлений гуманитарного знания, будет полезна специалистам, работающим в социальной сфере. ...
Добавлено: 8 сентября 2026 г.
Культурно-исторические основы самобытности российской цивилизации
Ермоленко Г. А., Ахмадуллин В. А., Базилико Э. А. и др., М.: Издательско-торговая корпорация «Дашков и Ко», 2026.
Монография посвящена реконструкции уникальности исторического пути России - ее культуры, общественного строя, религиозной, философской и политической мысли. На основе синтеза различных наук и подходов авторы обобщают и комплексно показывают своеобразие российских традиций. Самобытность России раскрывается на обширном фактическом материале как системное явление. Детально анализируются общие для разных эпох сущностные характеристики менталитета, религиозные убеждения, система ценностей, доминирующие ...
Добавлено: 8 сентября 2026 г.
Анализ согласованности голосования стран ЕАЭС и ОДКБ в ГА ООН с помощью иерархической кластеризации
Вохминцев И. В., Вестник международных организаций: образование, наука, новая экономика 2026 Т. 21 № 2
ЕАЭС и ОДКБ – главные региональные международные организации для России. Понимание, оценка и анализ внешнеполитических позиций стран, которые туда входят — это вопрос национальных интересов страны. Из этого вытекает цель работы: выявление уровня и формы согласованности голосования стран ЕАЭС и ОДКБ в ГА ООН. Уровень согласованности – оценка уровня близости стран при голосовании. Форма согласованности ...
Добавлено: 7 сентября 2026 г.
Rational p-adic Hodge theory for d-de Rham-proper stacks
Prikhodko Artem, Kubrak D., Compositio Mathematica 2026 Vol. 162 No. 6 P. 1377–1438
Добавлено: 7 сентября 2026 г.
Lower Bounds on the Measure of the Support of Positive and Negative Parts of Trigonometric Polynomials
Исмаилов А. Р., Constructive Approximation 2026
Добавлено: 7 сентября 2026 г.
Pupillometry and autonomic nervous system responses to cognitive load and false feedback: an unsupervised machine learning approach
Alshanskaia E., Portnova G., Liaukovich K. и др., Frontiers in Neuroscience 2024 Vol. 18
Добавлено: 7 сентября 2026 г.
Oil Spill Segmentation in SAR Data Using ViT-UNet: Performance and Practical Insights
Зуенко Д. О., Трофимова Е. А., Хайдарова И., IEEE Access 2026 Vol. 14 P. 121339–121357
Добавлено: 7 сентября 2026 г.
Конечные последовательности и перестановки, ими порождаемые
Кучерявый П. А., Математические заметки 2026 Т. 2026 № 120 С. 380–401
В работе изучаются перестановки, возникающие при упорядочивании по возрастанию дробных долей произведений элементов фиксированной целочисленной последовательности на вещественный параметр. Исследуется количество различных перестановок, которые можно получить таким образом при изменении этого параметра от нуля до единицы. ...
Добавлено: 7 сентября 2026 г.
ПЕРВЕРСИВНЫЕ ИНТЕРФЕЙСЫ: ЗИЯНИЕ, ДРЕЙФ И ПУЛЬСАЦИИ КАК ОНТОЛОГИЧЕСКИЕ СТИЛИ В КОМПЬЮТЕРНЫХ ИГРАХ
Очеретяный К. А., Галактика медиа: журнал медиа исследований 2026 Т. 7 № 2 С. 85–102
Интерфейсы включают, чтобы отключиться - от ситуации вокруг, от настойчивого опыта внешнего мира, от ближних. Именно эту способность интерфейсов легитимировать «отсутствие» обычно забывают при их аналитике, так как акцент делается на концентрации, управлении, контроле. В действительности же интерфейсы не столько прагматичны и утилитарны, сколько экспериментальны и перверсивны. В данной статье вводится понятие онтологических стилей, а ...
Добавлено: 7 сентября 2026 г.
Что такое Свобода? Свобода воли, свободы личности, конституционная модель и законодательное регулирование
Момджян К. Х., Кржевов В. С., Поддьяков А. Н. и др., М.: Новые печатные технологии, 2025.
При всей кажущейся ясности и недвусмысленности понятия «свобода» дать ему исчерпывающую научную дефиницию весьма затруднительно. У каждой отрасли знания свой подход к трактовке этого многоаспектного понятия. В ходе обсуждения, материалы которого вошли в настоящий сборник, свобода рассматривается с позиций философии, социологии, юриспруденции, психологии, нейрофизиологии и т.д. Участники дискуссии рассуждают о границах свободы воли и субъектности человека, о соотношении свободы и ...
Добавлено: 6 сентября 2026 г.
Scalable machine learning approach to disordered s-wave superconductors
Неверов В. Д., Красавин А. В., Вагов А. В. и др., Physical Review B: Condensed Matter and Materials Physics 2026 Vol. 113 P. 1–6
Добавлено: 5 сентября 2026 г.
Problem solving in philosophy. How to Do Philosophy in the Age of Ultra-Intelligent AI
Вервурт Л. П., Springer, 2026.
Добавлено: 5 сентября 2026 г.
On the rate of Gaussian approximation for online linear regression problems
Шешукова М. Е., Durmus A., Khusainov M. и др., Statistics 2026 P. 1–25
Добавлено: 4 сентября 2026 г.
Infinitely many graph manifolds with unique geometrical piece that admit arbitrarily many Anosov flows
Починка О. В., Шмуклер В. И., / Series math.RT "arXiv:1808.06395 [math.RT]". 2026.
Добавлено: 31 августа 2026 г.
On calibration of remote sensing retrievals of ecosystem respiration (Reco) with tower measurements over,Russian forests and wetlands
Shabanov N., Kuricheva O., Kurbatova J. и др., / Series Working Papers SSRN "Department of Economics Ca’ Foscari University of Venice". 2026.
Добавлено: 21 августа 2026 г.
Three Algorithms for Merging Hierarchical Navigable Small World Graphs
Пономаренко А. А., / Series Computer Science "arxiv.org". 2025.
Добавлено: 30 июля 2026 г.
New bound on S1× S2-setting Bell locality of a nonseparable Werner state
Лубенец Е. Р., / Series arxiv.org "quant-ph". 2026. No. 2607.18050.
Добавлено: 21 июля 2026 г.
  • О ВЫШКЕ
  • Цифры и факты
  • Руководство и структура
  • Устойчивое развитие в НИУ ВШЭ
  • Преподаватели и сотрудники
  • Корпуса и общежития
  • Закупки
  • Обращения граждан в НИУ ВШЭ
  • Фонд целевого капитала
  • Противодействие коррупции
  • Сведения о доходах, расходах, об имуществе и обязательствах имущественного характера
  • Сведения об образовательной организации
  • Людям с ограниченными возможностями здоровья
  • Единая платежная страница
  • Работа в Вышке
  • ОБРАЗОВАНИЕ
  • Лицей
  • Довузовская подготовка
  • Олимпиады
  • Прием в бакалавриат
  • Вышка+
  • Прием в магистратуру
  • Аспирантура
  • Дополнительное образование
  • Центр развития карьеры
  • Бизнес-инкубатор ВШЭ
  • Образовательные партнерства
  • Обратная связь и взаимодействие с получателями услуг
  • НАУКА
  • Научные подразделения
  • Исследовательские проекты
  • Мониторинги
  • Диссертационные советы
  • Защиты диссертаций
  • Академическое развитие
  • Конкурсы и гранты
  • Внешние научно-информационные ресурсы
  • РЕСУРСЫ
  • Библиотека
  • Издательский дом ВШЭ
  • Книжный магазин «БукВышка»
  • Типография
  • Медиацентр
  • Журналы ВШЭ
  • Публикации
  • http://www.minobrnauki.gov.ru/
    Министерство науки и высшего образования РФ
  • https://edu.gov.ru/
    Министерство просвещения РФ
  • https://elearning.hse.ru/mooc
    Массовые открытые онлайн-курсы
  • НИУ ВШЭ1993–2026
  • Адреса и контакты
  • Условия использования материалов
  • Политика обработки персональных данных
  • Правила применения рекомендательных технологий в НИУ ВШЭ
  • Карта сайта
Редактору