Проекты за год
Личный профиль
Научные интересы
Философия математики, основания математики, философия языка, логика, онтология, метафизика, теория познания, философия науки, теория типов, доказательство, формальное доказательство, модальная логика, метатеоремы, дефляционизм, теория значения, теория референции, истина, семантика, определённые дескрипции.
Образование/академическая квалификация
Философские науки, кандидат наук
26 ноя 2010 → …
Отпечаток Отпечаток основан на индексе взвешенных терминов, извлеченных из научных документов, и определяет ключевые темы исследователя.
Type Theory
Математика
Program Correctness
Математика
Set Theory
Математика
Deflationism
Гуманитарные науки и искусство
Deflationary Theories
Гуманитарные науки и искусство
Classical Logic
Математика
Theory of Truth
Гуманитарные науки и искусство
Quantification
Математика
Сеть
Недавняя внешняя коллаборация на уровне стран. Углубитесь в детали нажатием на точки.
Проекты 2008 2021
Эпистемология компьютерного доказательства с точки зрения теоретико-типового подхода к основаниям математики
01/01/2019 → 31/12/2021
Проект: Проект-Грант
СИТиП: Научная лаборатория сравнительных исследований толерантности и признания
Хомяков, М. Б., Полякова, И. Г., Меньшиков, А. С., Ван Гелдерен, М., Логинов, А. В., Степанова, Е. А., Трубина, Е. Г., Черняева, Н. А., Чева, Э., Ван Брик, Б., Ананьина, В. Т., Гришаева, Е. И., Данилова, А. В., Руденкин, Д. В., Томильцева, Д. А., Атие, Б., Афвата, Д. О., Гусейнов, К. К., Кага Лейинда, У. М., Муллозода, Р. Т., Нови, Н. В. Р., Смит, Р. Д., Сомкамнерд, Н., Мюллер, М., Неменко, Е. П., Ламберов, Л. Д., Антонова, Н. Л., Веселкова, Н. В., Ильченко, М. С., Муратшина, К. Г., Саид, Л., Боянич, П., Йенсен, Т., Типпакди, Л., Суваннагул, Р., Стоякович, Д., Набила, Х., Комурджу, Э., Кердпун, А., Дуйшонбек кызы, А., Ватчаравутпаттана, П., Бушикки, Л., Бенбутриф, Д., Ашраф, М. & Тао, М.
01/12/2013 → …
Проект: Исследование › Научная лаборатория
Философские основания гомотопической теории типов
Ламберов, Л. Д. & Козьякова, Т. С.
01/01/2016 → 31/12/2017
Проект: Проект-Грант
ScalPL : A Scalable Programming Language
Osterman, K. & Ламберов, Л. Д.
01/10/2008 → 30/09/2014
Проект: Проект-Грант
Результат исследований 2012 2018
МОДАЛЬНОСТИ КАК ФУНДАМЕНТАЛЬНЫЙ ЭЛЕМЕНТ РЕАЛЬНОСТИ: ОБЗОР КНИГИ "WILLIAMSOM ON MODALITY"
Ламберов, Л. Д., 2018, В : Философия науки. 3(78), стр. 158-171 14 стр.Результат исследований: Вклад в журнал › Статья › Научно-исследовательская › рецензирование
НОВАЯ АНАЛИТИЧЕСКАЯ ФИЛОСОФИЯ: КОММЕНТАРИЙ К СТАТЬЕ О. А. ДОМАНОВА
Ламберов, Л. Д., 2018, В : Эпистемология и философия науки. 55, 4, стр. 48-52 5 стр.Результат исследований: Вклад в журнал › Статья › Научно-исследовательская › рецензирование
Type Theory
Classical Logic
Set Theory
Quantification
Philosophy
ПОНЯТИЕ ДОКАЗАТЕЛЬСТВА В КОНТЕКСТЕ ТЕОРЕТИКО-ТИПОВОГО ПОДХОДА, I: ДОКАЗАТЕЛЬСТВО ПРОГРАММ
Ламберов, Л. Д., 2018, В : Вестник Томского государственного университета. Философия. Социология. Политология.. 46, стр. 49-57Результат исследований: Вклад в журнал › Статья › Научно-исследовательская › рецензирование
Открытый доступ
Program Correctness
Formal Proof
Proof of correctness
Categorical
Context
УНИВАЛЕНТНОСТЬ И ПОНЯТИЕ СТРУКТУРЫ В ФИЛОСОФИИ МАТЕМАТИКИ
Ламберов, Л. Д., 2018, В : СИБИРСКИЙ ФИЛОСОФСКИЙ ЖУРНАЛ. 16, 1, стр. 20-32 13 стр.Результат исследований: Вклад в журнал › Статья › Научно-исследовательская › рецензирование
Philosophy of Mathematics
Foundations of Mathematics
Constructivist
Axiom
Isomorphism
ОСНОВАНИЯ МАТЕМАТИКИ: ТЕОРИЯ МНОЖЕСТВ VS. ТЕОРИИ ТИПОВ
Ламберов, Л. Д., 2017, В : Философия науки. 1 (72), стр. 41-60 20 стр.Результат исследований: Вклад в журнал › Статья › Научно-исследовательская › рецензирование
Type Theory
Set Theory
Homotopy Theory
Homotopy Type
Виды деятельности 2018 2019
- 2 Участие в конференции
Международная научная конференция "uAnalytiCon-2019: Тождество, индивидные понятия и семантическое единообразие"
Дмитрий Владимирович Анкин (Председатель оргкомитета), Алексей Геннадьевич Кислов (Зам.председателя оргкомитета), Илья Андреевич Гущин (Член оргкомитета), Ольга Александровна Козырева (Член оргкомитета), Лев Дмитриевич Ламберов (Член оргкомитета)17 мая 2019 → 18 мая 2019
Деятельность: Участие в мероприятии или организация мероприятия › Участие в конференции
Международная научная междисциплинарная конференция "uAnalytiCon-2018: Ментальное и границы языка"
Дмитрий Владимирович Анкин (Председатель оргкомитета), Илья Андреевич Гущин (Член оргкомитета), Алексей Геннадьевич Кислов (Член оргкомитета), Ольга Александровна Козырева (Член оргкомитета), Лев Дмитриевич Ламберов (Член оргкомитета)10 мая 2018 → 12 мая 2018
Деятельность: Участие в мероприятии или организация мероприятия › Участие в конференции