每年的科研成果
每年的科研成果
个人简介
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.
指纹
深入其中 Лев Дмитриевич Ламберов 为活跃的研究主题。这些主题标签来自此人的成果。它们共同形成唯一的指纹。
- 6 相似简介
网络
最近的国家级外部合作关系。点击圆点，深入详细信息。
科研成果
-
БЕНАЦЕРРАФ И ТЕОРЕТИКО-МНОЖЕСТВЕННЫЙ РЕДУКЦИОНИСТСКИЙ РЕАЛИЗМ
Lamberov, L. D., 2021, 在 : Epistemology and Philosophy of Science. 58, 1, 页码 142-160 19 页码科研成果: Article
-
ПРАКТИКА КОМПЬЮТЕРНЫХ ДОКАЗАТЕЛЬСТВ И ЧЕЛОВЕЧЕСКОЕ ПОНИМАНИЕ: ЭПИСТЕМОЛОГИЧЕСКАЯ ПРОБЛЕМАТИКА
Ламберов, Л. Д., 2021, 在 : Вестник Пермского университета. Философия. Психология. Социология. 1, 页码 5-19 15 页码科研成果: Article
-
ИСТОРИЯ И ФИЛОСОФИЯ НАУКИ: учебное пособие для бакалавриата и магистратуры
Бряник, Н. В., Томюк, О. Н., Стародубцева, Е. П., Ламберов, Л. Д., Бряник, Н. В. (编辑) & Томюк, О. Н. (编辑), 2020, 1-е 编辑 Москва: Общество с ограниченной ответственностью "Издательство ЮРАЙТ". 290 页码 (Сер. 11 Университеты России)(Сер. 76 Высшее образование)科研成果: Scholarly edition
-
Понятие доказательства в контексте теоретико-типового подхода, III: доказательства как (некоторые) типы
Ламберов, Л. Д., 2020, 在 : Вестник Томского государственного университета. Философия. Социология. Политология.. 57, 57, 页码 25-32 8 页码科研成果: Article
-
ПОНИМАНИЕ ДОКАЗАТЕЛЬСТВА И ПРОСТОТА ОСНОВАНИЙ: НАБРОСОК МЕТОДОЛОГИИ ДЛЯ ФИЛОСОФИИ МАТЕМАТИКИ
Ламберов, Л. Д., 2019, 在 : Философия науки. 4(83), 页码 66-79 14 页码科研成果: Article
项目
-
Научная лаборатория сравнительных исследований толерантности и признания
Хомяков, М. Б., Полякова, И. Г., Меньшиков, А. С., Ван Гелдерен, М., Логинов, А. В., Степанова, Е. А., Трубина, Е. Г., Черняева, Н. А., Чева, Э., Ван Брик, Б., Ананьина, В. Т., Гришаева, Е. И., Данилова, А. В., Руденкин, Д. В., Томильцева, Д. А., Атие, Б., Афвата, Д. О., Гусейнов, К. К., Кага Лейинда, У. М., Муллозода, Р. Т., Нови, Н. В. Р., Смит, Р. Д., Сомкамнерд, Н., Мюллер, М., Неменко, Е. П., Ламберов, Л. Д., Антонова, Н. Л., Веселкова, Н. В., Ильченко, М. С., Муратшина, К. Г., Саид, Л., Боянич, П., Йенсен, Т., Типпакди, Л., Суваннагул, Р., Стоякович, Д., Набила, Х., Комурджу, Э., Кердпун, А., Дуйшонбек Кызы, А., Ватчаравутпаттана, П., Бушикки, Л., Бенбутриф, Д., Ашраф, М., Тао, М., Вагнер, П., Саймонс, Г. Д., Соболева, М. Е., Черепанова, Е. С., Якимова, О. А., Пургина, Е. С., Галвис Гомес, Ф. А., Сенокосова, А. Н. & Андал, А. Г.
01/12/2013 → …
项目: Research Laboratory
-
Epistemology of Computer Proof from the Point of View of Type-Theoretical Approach to the Foundations of Mathematics
Ламберов, Л. Д., Гущин, И. А. & Хлебалин, А. В.
11/01/2019 → 26/12/2020
项目: Award Project
-
Philosophical Foundations of Homotopy Type Theory
Ламберов, Л. Д. & Агафонова, Т. С.
01/01/2016 → 31/12/2017
项目: Award Project
-
ScalPL : A Scalable Programming Language
Osterman, K. & Ламберов, Л. Д.
01/10/2008 → 30/09/2014
项目: Award Project
活动
- 3 Участие в конференции
-
Международная научная конференция "Философия сегодня: ценности, перспективы, смыслы"
Виктор Анатольевич Кокшаров (Chair of orgcommitee), Юлия Владиславовна Бурбулис (Vice Chair of orgcommitee), М. Москалевич (Member of orgcommittee), Е. В. Брагин (Member of orgcommittee), Г. Э. Бурбулис (Member of orgcommittee), Илья Андреевич Гущин (Member of orgcommittee), Анна Маратовна Давлетшина (Member of orgcommittee), Алексей Олегович Иванов (Member of orgcommittee), Анна Александровна Карташева (Member of orgcommittee), Ольга Александровна Козырева (Member of orgcommittee), Лев Дмитриевич Ламберов (Member of orgcommittee), Вячеслав Альбертович Медведев (Member of orgcommittee), Андрей Сергеевич Меньшиков (Member of orgcommittee), Вячеслав Васильевич Скоробогацкий (Member of orgcommittee), М. В. Сусоев (Member of orgcommittee), Виктория Алексеевна Сухарева (Member of orgcommittee), Эльвира Эвальдовна Сыманюк (Member of orgcommittee), Дарья Алексеевна Томильцева (Member of orgcommittee), К. А. Устиловский (Member of orgcommittee), Алексей Владимирович Фаюстов (Member of orgcommittee) & Ольга Валерьевна Язовская (Member of orgcommittee)
19 十一月 2020 → 21 十一月 2020活动: Participation in conference
-
Международная научная конференция "uAnalytiCon-2019: Тождество, индивидные понятия и семантическое единообразие"
Дмитрий Владимирович Анкин (Chair of orgcommitee), Алексей Геннадьевич Кислов (Vice Chair of orgcommitee), Илья Андреевич Гущин (Member of orgcommittee), Ольга Александровна Козырева (Member of orgcommittee) & Лев Дмитриевич Ламберов (Member of orgcommittee)
17 五月 2019 → 18 五月 2019活动: Participation in conference
-
Международная научная междисциплинарная конференция "uAnalytiCon-2018: Ментальное и границы языка"
Дмитрий Владимирович Анкин (Chair of orgcommitee), Илья Андреевич Гущин (Member of orgcommittee), Алексей Геннадьевич Кислов (Member of orgcommittee), Ольга Александровна Козырева (Member of orgcommittee) & Лев Дмитриевич Ламберов (Member of orgcommittee)
10 五月 2018 → 12 五月 2018活动: Participation in conference