Научные интересы

Философия математики, основания математики, философия языка, логика, онтология, метафизика, теория познания, философия науки, теория типов, доказательство, формальное доказательство, модальная логика, метатеоремы, дефляционизм, теория значения, теория референции, истина, семантика, определённые дескрипции.

Публикации

  1. ПРИНЦИПЫ ВЕРИФИКАЦИИ И ПРОВЕРЯЕМОСТИ: СЛУЧАЙ ЭЙНО КАЙЛЫ

    Результаты исследований: Вклад в журнал › Статья › Рецензирование

  2. К вопросу об особенностях CPL

    Результаты исследований: Вклад в журнал › Статья › Рецензирование

  3. К типологии структурализма в современной философии математики

    Результаты исследований: Вклад в журнал › Статья › Рецензирование

Просмотреть все (36) »

Проекты

  1. Эпистемология компьютерного доказательства с точки зрения теоретико-типового подхода к основаниям математики

    Проект: Проект-Грант

  2. ScalPL : A Scalable Programming Language

    Проект: Проект-Грант

  3. Философские основания гомотопической теории типов

    Проект: Проект-Грант

Просмотреть все () »

Деятельность

  1. Международная научная конференция "uAnalytiCon-2023: Проблема интеграции"

    Деятельность: Участие в мероприятии или организация мероприятия › Участие в конференции

  2. Международная научная конференция "uAnalytiCon-2022: Абстрактные объекты"

    Деятельность: Участие в мероприятии или организация мероприятия › Участие в конференции

  3. Всероссийская конференция "Логика и аргументация"

    Деятельность: Участие в мероприятии или организация мероприятия › Участие в конференции

Просмотреть все (8) »

ID: 65908