• 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
Расширенный поиск
Высшая школа экономики
Национальный исследовательский университет
Приоритетные направления
  • бизнес-информатика
  • государственное и муниципальное управление
  • гуманитарные науки
  • инженерные науки
  • компьютерно-математическое
  • математика
  • менеджмент
  • право
  • социология
  • экономика
по году
  • 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 г.
Как прогнозировать будущее науки и технологий
Лаборатория исследований науки и технологий, действующая в структуре Института статистических исследований и экономики знаний НИУ ВШЭ, изучает текущее состояние научных исследований и разработок, анализирует тренды и их динамику, что позволяет понимать масштаб вызовов, связанных с применением новейших технологий, определять приоритеты будущих работ, формировать научную и промышленную политику. Новостная служба «Вышка.Главное» побеседовала с заведующей лабораторией Лилианой Проскуряковой и директором Форсайт-центра ИСИЭЗ Александром Соколовым.
29 октября 2026 г.
Плоская модель местности скрыла от симулятора потерю связи между машинами
Исследователи МИЭМ ВШЭ показали, что популярные симуляторы связи между автомобилями заметно переоценивают ее надежность, потому что считают рельеф местности плоским. Если учесть рельеф, мосты и туннели, доля потерянных соединений на горном серпантине вырастает с 21 до 30%, у эстакады — с 20 до 33%, а в туннеле — с нуля до 80%.Результаты опубликованы в журнале Future Transportation.
27 октября 2026 г.
НИУ ВШЭ открывает прием заявок от подразделений на участие в Программе привлечения российских постдоков
Как привлечь новые компетенции в исследовательскую команду, дать импульс перспективному проекту и наладить сотрудничество с учеными из других организаций? Один из инструментов — Программа привлечения российских постдоков в НИУ ВШЭ. C 26 октября по 18 декабря 2026 года научные подразделения университета смогут подать заявки на привлечение постдоков к своим проектам или продление контрактов с действующими участниками программы.

 

Нашли опечатку?
Выделите её, нажмите 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
Похожие публикации
Molecular dynamics and machine learning insights into oil-brine interfacial tension: Uncovering roles of dissolved gases and salinity
Nikitiuk B., Lenev D., Писарев В. В. и др., Journal of Colloid and Interface Science 2026 Vol. 718 Article 140444
Добавлено: 28 октября 2026 г.
Predicting multi-component oil viscosity using machine learning methods
Deshchenya V., Nikolay D. Kondratyuk, Sivakova A. и др., Chemical Engineering Sciences 2027 Vol. 337 Article 124616
Добавлено: 28 октября 2026 г.
PARSE: Physical attribute representativity and stationarity evaluator open-source library for 3D images using scalar and vector metrics
Zubov A., Zubov A., Малявко, Я. и др., Computer Physics Communications 2025 Vol. 317 Article 109860
Добавлено: 28 октября 2026 г.
Amplifying Latent Safety in Large Language Models via Gated Activation Steering
Roman Prosvirnin, Suslov A., Aleksei Soldatov и др., Computation 2026 Vol. 14 No. 10 Article 261
Добавлено: 27 октября 2026 г.
PACTraD: Multi-Task Benchmark and Domain-Specific Attention Mechanism for Wildlife Classification, Detection, and Segmentation in Protected Area Camera Trap Data
Aleksei Samarin, Назаренко А. А., Nazarenko D. и др., Big Data and Cognitive Computing 2026 Vol. 10 No. 11 P. 1–52
Добавлено: 27 октября 2026 г.
2026 10th Scientific School Dynamics of Complex Networks and their Applications
IEEE, 2026.
Добавлено: 26 октября 2026 г.
A Curated Dataset for Chemical Characterization of Heated Tobacco Product Aerosol
Maddalena L., Yildiz B., Del Vecchio Blanco F. и др., Scientific data 2026 P. 1–20
Добавлено: 26 октября 2026 г.
Реализм и утопизм. Случай Макиавелли
Капустин Б. Г., М.: Издательство Института Гайдара, 2026.
Что есть политический реализм: фиксация фактов или постижение скрытых тенденций? В утопия - несбыточная мечта или призыв, способный преобразить мир? Наконец, есть ли в политике место для морали? Книга отвечает на эти вопросы через призму наследия Макиавелли. Автор показывает его не советником государей, а моралистом, утопистом и "народным трибуном". Диалог с таким Макиавелли позволяет автору ...
Добавлено: 23 октября 2026 г.
О формах и следствиях противоречий и парадоксов
Смирнов М. А., Вестник Томского государственного университета. Философия. Социология. Политология 2026 № 92 С. 283–289
Статья представляет собой анализ некоторых нюансов взаимодействия парадоксов с принципами классической логики, осуществленный в контексте предложенного В. А. Ладовым разграничения превентивных и реактивных решений парадоксов. Подтверждено, что превентивное блокирование парадоксов за счет искусственных правил употребления языка нецелесообразно. Открытость формальных принципов теоретической системы к возникновению парадоксов делает возможной рефлексию над ее содержательными постулатами. Парадокс (дедуцируемость противоречия) служит логическим ...
Добавлено: 23 октября 2026 г.
Критика имманентного общественного идеала как продолжение критики органицизма в философии права П. И. Новгородцева
Смирнов В. Н., Социологическое обозрение 2026 Т. 26 № 2 С. 65–87
Статья посвящена органической теории в социально-философском мировоззрении русского правоведа П. И. Новгородцева. В статье используется метод историко-философской реконструкции, направленный на выявление внутренней логики развития политико-правового учения Новгородцева через контекстуализацию его основных концепций в определенной философской и политико-правовой традиции. Данный подход дает возможность рассматривать критику органицизма и сопряженного с ним историзма как элемент целостного и последовательного ...
Добавлено: 23 октября 2026 г.
Weakly non-integrable solitary wave collisions in the modified Benjamin–Bona–Mahony equation
Flamarion M. V., Пелиновский Е. Н., Wave Motion 2027 Vol. 148 Article 103867
Добавлено: 23 октября 2026 г.
A Multi-Feature Fusion Deep Neural Network with Attention for Multi-Task Crop Monitoring
Obsie E. Y., Zhan Y., Liu Y., Engineering Research Express 2026 Article 7
Добавлено: 22 октября 2026 г.
Макс Шелер: pro et contra, антология
СПб.: Издательство РХГА, 2026.
Макс Шелер (1874–1928) является одной из ключевых фигур в философии XX века. Прожив сравнительно короткую жизнь, он оставил яркий след в европейской философской мысли, в своих сочинениях осуществив глубокую и фундаментальную разработку основных областей философского знания. Всегда чувствуя актуальные тенденции современного мира и живо, со всей страстью своей спонтанности откликаясь на них, Шелер не случайно ...
Добавлено: 20 октября 2026 г.
Размышления о технике
Ортега-и-Гассет Х., М.: Ад Маргинем Пресс, 2026.
Книга объединяет два текста испанского философа Хосе Ортега-и-Гассета (1883-1955), посвященных осмыслению роли техники на протяжении истории: "Размышления о технике"- изначально небольшой курс лекций, прочитанных в Летнем университете Сантандера в 1933 году, - и доклад "Миф о человеке за техникой" (1951) в рамках так называемых Дармштадтских бесед. В них Ортега рассуждвет о различиях между человеком и животным, ...
Добавлено: 20 октября 2026 г.
A Neural Network Approach for Generating Libration Point Orbits
Lev Pyatko, Sergey Aksenov, Regular and Chaotic Dynamics 2026 Vol. 31 No. 5 P. 794–813
In the circular restricted three-body problem, families of periodic and quasi-periodic orbits exist in the vicinity of the libration points and are of significant interest for practical applications. This work presents a neural network-based algorithm for orbit construction and station-keeping, applicable to both periodic and quasi-periodic orbits near collinear libration points. The method employs a ...
Добавлено: 19 октября 2026 г.
A Three-Party W-State Quantum Secret Sharing Protocol with X-Gate Encoding and Forbidden-Outcome Detection
Timur Teregulov, Elena R. Loubenets, / Series Quantum Physics "arXiv". 2026. No. 2609.31472.
Добавлено: 28 сентября 2026 г.
Pairings on the algebra of Laurent series over a ring
Левашев В. А., / Series arXiv "math". 2026. No. 2609.06010.
Добавлено: 24 сентября 2026 г.
Iterative construction of the R-matrices in arbitrary dimensions
Пятов П. Н., Пивоваров П. А., / Series math "arxiv.org". 2026. No. 2609.06274.
Добавлено: 24 сентября 2026 г.
On static manifolds with boundary admitting a nowhere-vanishing static potential
Медведев В. О., / Series arXiv "math". 2026.
We study complete static manifolds with boundary admitting a nowhere-vanishing static potential. Our main result shows that, under a natural lower bound relating the scalar curvature and the boundary mean curvature, a simple static manifold with boundary must in fact have positive scalar curvature, negative boundary mean curvature, and be compact; we also obtain explicit ...
Добавлено: 19 сентября 2026 г.
Vague stimulating ideas, images and metaphors in scientific thinking: researchers' work with horizons of unclear knowledge
Поддьяков А. Н., / Series Social Science Research Network "Social Science Research Network". 2026. No. 7437658.
Добавлено: 15 сентября 2026 г.
On phase-lock area parquet in a special slow-fast limit of model of Josephson junction.
Глуцюк А. А., / Series arXiv "math". 2026.
Добавлено: 8 сентября 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 г.
  • О ВЫШКЕ
  • Цифры и факты
  • Руководство и структура
  • Устойчивое развитие в НИУ ВШЭ
  • Преподаватели и сотрудники
  • Корпуса и общежития
  • Закупки
  • Обращения граждан в НИУ ВШЭ
  • Фонд целевого капитала
  • Противодействие коррупции
  • Сведения о доходах, расходах, об имуществе и обязательствах имущественного характера
  • Сведения об образовательной организации
  • Людям с ограниченными возможностями здоровья
  • Единая платежная страница
  • Работа в Вышке
  • ОБРАЗОВАНИЕ
  • Лицей
  • Довузовская подготовка
  • Олимпиады
  • Прием в бакалавриат
  • Вышка+
  • Прием в магистратуру
  • Аспирантура
  • Дополнительное образование
  • Центр развития карьеры
  • Бизнес-инкубатор ВШЭ
  • Образовательные партнерства
  • Обратная связь и взаимодействие с получателями услуг
  • НАУКА
  • Научные подразделения
  • Исследовательские проекты
  • Мониторинги
  • Диссертационные советы
  • Защиты диссертаций
  • Академическое развитие
  • Конкурсы и гранты
  • Внешние научно-информационные ресурсы
  • РЕСУРСЫ
  • Библиотека
  • Издательский дом ВШЭ
  • Книжный магазин «БукВышка»
  • Типография
  • Медиацентр
  • Журналы ВШЭ
  • Публикации
  • http://www.minobrnauki.gov.ru/
    Министерство науки и высшего образования РФ
  • https://edu.gov.ru/
    Министерство просвещения РФ
  • https://elearning.hse.ru/mooc
    Массовые открытые онлайн-курсы
  • НИУ ВШЭ1993–2026
  • Адреса и контакты
  • Условия использования материалов
  • Политика обработки персональных данных
  • Правила применения рекомендательных технологий в НИУ ВШЭ
  • Карта сайта
Редактору