• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • Национальный исследовательский университет «Высшая школа экономики»
  • Публикации ВШЭ
  • Глава
  • Some abstract versions of Gödel's second incompleteness theorem based on non-classical logics
  • RU
  • EN
Расширенный поиск
Высшая школа экономики
Национальный исследовательский университет
Приоритетные направления
  • бизнес-информатика
  • государственное и муниципальное управление
  • гуманитарные науки
  • инженерные науки
  • компьютерно-математическое
  • математика
  • менеджмент
  • право
  • социология
  • экономика
по году
  • 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
  • еще
Тематика
Новости
29 октября 2026 г.
Плоская модель местности скрыла от симулятора потерю связи между машинами
Исследователи МИЭМ ВШЭ показали, что популярные симуляторы связи между автомобилями заметно переоценивают ее надежность, потому что считают рельеф местности плоским. Если учесть рельеф, мосты и туннели, доля потерянных соединений на горном серпантине вырастает с 21 до 30%, у эстакады — с 20 до 33%, а в туннеле — с нуля до 80%.Результаты опубликованы в журнале Future Transportation.
27 октября 2026 г.
НИУ ВШЭ открывает прием заявок от подразделений на участие в Программе привлечения российских постдоков
Как привлечь новые компетенции в исследовательскую команду, дать импульс перспективному проекту и наладить сотрудничество с учеными из других организаций? Один из инструментов — Программа привлечения российских постдоков в НИУ ВШЭ. C 26 октября по 18 декабря 2026 года научные подразделения университета смогут подать заявки на привлечение постдоков к своим проектам или продление контрактов с действующими участниками программы.
27 октября 2026 г.
Российские ученые предложили универсальный метод декодирования линейных кодов
Исследователи из МИЭМ ВШЭ и Сколтеха разработали новый подход к декодированию используемых при передаче данных кодов. Их гибридный подход значительно сокращает затраты на вычисления и может быть реализован на электронных компонентах. Работа опубликована в журнале IEEE Transactions on Communications.

 

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

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

?

Some abstract versions of Gödel's second incompleteness theorem based on non-classical logics

P. 15–29.
Беклемишев Л. Д., Шамканов Д. С.
Язык: английский
Ключевые слова: Goedel theoremfixed pointssubstructural logics

В книге

Liber Amicorum Alberti. A Tribute to Albert Visser
L.: College Publications, 2016.
Похожие публикации
Explorations in subexponential non-associative non-commutative linear logic
Blaisdell E., Kanovich M., Stepan L. Kuznetsov и др., , in: EPTCS 381: Proceedings Modalities in substructural logics: Applications at the interfaces of logic, language and computation (AMSLO 2023), Ljubljana, Slovenia, August 7-8, 2023, Electronic Proceedings in Theoretical Computer Science.: Open Publishing Association, 2023. P. 4–19.
Добавлено: 23 ноября 2023 г.
EPTCS 381: Proceedings Modalities in substructural logics: Applications at the interfaces of logic, language and computation (AMSLO 2023), Ljubljana, Slovenia, August 7-8, 2023, Electronic Proceedings in Theoretical Computer Science
Open Publishing Association, 2023.
Добавлено: 23 ноября 2023 г.
Commutative action logic
Stepan L. Kuznetsov, Journal of Logic and Computation 2023 Vol. 33 No. 6 P. 1437–1462
Добавлено: 7 марта 2023 г.
Об эквивалентности некоторых утверждений о неподвижных точках сжатий
Семенов П. В., Функциональный анализ и его приложения 2017 Т. 51 № 4 С. 92–95
В заметке показано, что ряд недавно (2012–2016 гг.) предложенных обобщений понятия сжатия (FF-сжатия, слабые FF-сжатия и др.) на самом деле редуцируются к уже известным классам сжатий (Браудера, Бойда–Вонга, Меира–Килера и др.). ...
Добавлено: 2 октября 2018 г.
Lev Beklemishev, Daniyar Shamkanov. Some abstract versions of Gödel's second incompleteness theorem based on non-classical logics, ArXiv: 1602.05728, Feb. 2016.
Lev Beklemishev, Shamkanov D., / Series math "arxiv.org". 2016. No. 1602.05728.
Добавлено: 13 марта 2016 г.
  • О ВЫШКЕ
  • Цифры и факты
  • Руководство и структура
  • Устойчивое развитие в НИУ ВШЭ
  • Преподаватели и сотрудники
  • Корпуса и общежития
  • Закупки
  • Обращения граждан в НИУ ВШЭ
  • Фонд целевого капитала
  • Противодействие коррупции
  • Сведения о доходах, расходах, об имуществе и обязательствах имущественного характера
  • Сведения об образовательной организации
  • Людям с ограниченными возможностями здоровья
  • Единая платежная страница
  • Работа в Вышке
  • ОБРАЗОВАНИЕ
  • Лицей
  • Довузовская подготовка
  • Олимпиады
  • Прием в бакалавриат
  • Вышка+
  • Прием в магистратуру
  • Аспирантура
  • Дополнительное образование
  • Центр развития карьеры
  • Бизнес-инкубатор ВШЭ
  • Образовательные партнерства
  • Обратная связь и взаимодействие с получателями услуг
  • НАУКА
  • Научные подразделения
  • Исследовательские проекты
  • Мониторинги
  • Диссертационные советы
  • Защиты диссертаций
  • Академическое развитие
  • Конкурсы и гранты
  • Внешние научно-информационные ресурсы
  • РЕСУРСЫ
  • Библиотека
  • Издательский дом ВШЭ
  • Книжный магазин «БукВышка»
  • Типография
  • Медиацентр
  • Журналы ВШЭ
  • Публикации
  • http://www.minobrnauki.gov.ru/
    Министерство науки и высшего образования РФ
  • https://edu.gov.ru/
    Министерство просвещения РФ
  • https://elearning.hse.ru/mooc
    Массовые открытые онлайн-курсы
  • НИУ ВШЭ1993–2026
  • Адреса и контакты
  • Условия использования материалов
  • Политика обработки персональных данных
  • Правила применения рекомендательных технологий в НИУ ВШЭ
  • Карта сайта
Редактору