每年的科研成果
每年的科研成果
个人简介
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.
指纹
深入其中 Лев Дмитриевич Ламберов 为活跃的研究主题。这些主题标签来自此人的成果。它们共同形成唯一的指纹。
- 1 相似简介
网络
最近的国家/地区级外部合作关系。点击圆点，以了解详细信息或
-
МАТЕМАТИЧЕСКИЙ СТРУКТУРАЛИЗМ С ТОЧКИ ЗРЕНИЯ (МОДАЛЬНОЙ) ТЕОРИИ МНОЖЕСТВ
Lamberov, L. D., 2022, 在: Вестник Томского государственного университета. Философия. Социология. Политология.. 65, 页码 28-36 9 页码科研成果: Article › 同行评审
-
ЭЙНО КАЙЛА: ЛОГИЧЕСКИЙ ЭМПИРИЗМ В СКАНДИНАВИИ
Ламберов, Л. Д., 2022, 在: Вопросы философии. 2022, 2, 页码 180-187 8 页码科研成果: Article › 同行评审
-
Бенацерраф и теоретико-множественный редукционистский реализм
Ламберов, Л. Д., 2021, 在: Эпистемология и философия науки. 58, 1, 页码 142-160 19 页码科研成果: Article › 同行评审
-
ПРАКТИКА КОМПЬЮТЕРНЫХ ДОКАЗАТЕЛЬСТВ И ЧЕЛОВЕЧЕСКОЕ ПОНИМАНИЕ: ЭПИСТЕМОЛОГИЧЕСКАЯ ПРОБЛЕМАТИКА
Ламберов, Л. Д., 2021, 在: Вестник Пермского университета. Философия. Психология. Социология. 1, 页码 5-19 15 页码科研成果: Article › 同行评审
-
ТОНЬШЕ ТОНКОГО: ОБЗОР КНИГИ ЭЙСТЕЙНА ЛИННЕБО "THIN OBJECTS: AN ABSTRACTIONIST ACCOUNT"
Ламберов, Л. Д., 2021, 在: Философия науки. 4 (91), 页码 122-128 7 页码科研成果: Book/Film/Article review › 同行评审
-
Научная лаборатория сравнительных исследований толерантности и признания
Хомяков, М. Б., Полякова, И. Г., Меньшиков, А. С., Ван Гелдерен, М., Логинов, А. В., Степанова, Е. А., Трубина, Е. Г., Черняева, Н. А., Чева, Э., Ван Брик, Б., Ананьина, В. Т., Гришаева, Е. И., Аникиева, А. В., Руденкин, Д. В., Томильцева, Д. А., Атие, Б., Афвата, Д. О., Гусейнов, К. К., Кага Лейинда, У. М., Муллозода, Р. Т., Нови, Н. В. Р., Смит, Р. Д., Сомкамнерд, Н., Мюллер, М., Неменко, Е. П., Ламберов, Л. Д., Антонова, Н. Л., Веселкова, Н. В., Ильченко, М. С., Муратшина, К. Г., Саид, Л., Боянич, П., Йенсен, Т., Типпакди, Л., Суваннагул, Р., Стоякович, Д., Набила, Х., Комурджу, Э., Кердпун, А., Дуйшонбек Кызы, А., Ватчаравутпаттана, П., Бушикки, Л., Бенбутриф, Д., Ашраф, М., Тао, М., Вагнер, П., Саймонс, Г. Д., Соболева, М. Е., Черепанова, Е. С., Якимова, О. А., Пургина, Е. С., Галвис Гомес, Ф. А., Сенокосова, А. Н. & Андал, А. Г.
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
活动
- 5 Участие в конференции
-
Международный круглый стол «Thin Objects: A Discussion with the Author, Øystein Linnebo»
Илья Андреевич Гущин (Member of orgcommittee), Ольга Александровна Козырева (Member of orgcommittee), Лев Дмитриевич Ламберов (Member of orgcommittee) & Виктория Алексеевна Сухарева (Member of orgcommittee)
10 十月 2021活动: Participation in conference
-
Международная междисциплинарная научная конференция "uAnalytiCon-2021: Контекстуализм, знание и истина"
Дмитрий Владимирович Анкин (Chair of orgcommitee), Илья Андреевич Гущин (Member of orgcommittee), Алексей Геннадьевич Кислов (Member of orgcommittee), Ольга Александровна Козырева (Member of orgcommittee), Лев Дмитриевич Ламберов (Member of orgcommittee) & Виктория Алексеевна Сухарева (Member of orgcommittee)
14 五月 2021 → 15 五月 2021活动: Participation in conference
-
Международная научная конференция "Философия сегодня: ценности, перспективы, смыслы"
Виктор Анатольевич Кокшаров (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