Research interests

Philosophy of mathematics, foundations of mathematics, philosophy of language, logic, ontology, metaphysics, theory of knowledge, philosophy of science, type theory, proof, formal proof, modal logic, metatheorems, deflationism, theory of meaning, theory of reference, truth, semantics, definite descriptions.

Research output

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

    Research output: Contribution to journal › Article › peer-review

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

    Research output: Contribution to journal › Article › peer-review

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

    Research output: Contribution to journal › Article › peer-review

View all (36) »

Projects

  1. Epistemology of Computer Proof from the Point of View of Type-Theoretical Approach to the Foundations of Mathematics

    Project: Award Project

  2. ScalPL : A Scalable Programming Language

    Project: Award Project

  3. Philosophical Foundations of Homotopy Type Theory

    Project: Award Project

View all () »

Activities

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

    Activity: Participating in or organising an event types › Participation in conference

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

    Activity: Participating in or organising an event types › Participation in conference

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

    Activity: Participating in or organising an event types › Participation in conference

View all (8) »

ID: 65908