Поисковый запрос: (<.>A=Ламберов, Л. Д.$<.>) |
Общее количество найденных документов : 6
Показаны документы с 1 по 6 |
1. 
| 87.22
Л 21
Ламберов, Л. Д.
Дефляционизм и неконсервативность: проблема релевантности? / Л. Д. Ламберов // Философия науки. - 2012. - N 3. - С. 45-52. - Библиогр. в конце ст.
. - ISSN 1560-7488
ББК 87.22
Кл.слова (ненормированные): ДЕФЛЯЦИОНИЗМ -- ИСТИНА -- НЕКОНСЕРВАТИВНОСТЬ
Имеются экземпляры в отделах:
УЧЗПИ (4 этаж) (11.10.2012г. Экз. 1 - ) (свободен)
Найти похожие
|
2.
|
Ламберов, Л. Д.
Основания математики: теория множеств vs. Теория типов / Л. Д. Ламберов // Философия науки. - 2017. - № 1. - С. 41-60. - Библиогр.: с. 60 (13 назв. )
. - ISSN 1560-7488
ББК 22.1
Рубрики:
Математика
Общие вопросы математики
Кл.слова (ненормированные): теория множеств -- теория типов -- гомотопия -- основания математики -- гомотопическая теория типов
Аннотация: Рассматривается краткая история развития теории множеств как оснований математики и краткая история становления теории типов. Приводится подробное сравнение теории множеств и теории типов, демонстрируются проблемы теории множества, а также преимущества теории типов как оснований математики. Кроме того, в статье обсуждаются прагматический аспект теории типов как оснований математики и кратко рассматривается современный вариант теории типов, а именно гомотопическая теория типов.
Держатели документа:
ТОНБ
Имеются экземпляры в отделах:
УЧЗПИ (4 этаж) (10.05.2017г. Экз. 1 - ) (свободен)
Найти похожие
|
3.
|
Ламберов, Л. Д.
Модальности как фундаментальный элемент реальности: обзор книги "Williamsom on Modality" / Л. Д. Ламберов // Философия науки. - 2018. - № 3. - С. 158-171. - Библиогр.: с. 171 (5 назв. )
. - ISSN 1560-7488
ББК 87.3(0)
Рубрики:
Философия
Всемирная история философии
Кл.слова (ненормированные): обзоры книг -- метафизика -- модальности -- модальная логика -- модальная метафизика -- свободная логика -- трехмерная модель -- множественности -- эпистемологические модальности -- компактные подмножества -- модальная наука -- фундаментальный элемент реальности -- структура объектов -- контингентизм
Аннотация: Обзор книги "Williamson on Modality" содержит краткое изложение основных идей по вопросам модальной метафизики.
Держатели документа:
ТОНБ
Имеются экземпляры в отделах:
УЧЗПИ (4 этаж) (16.10.2018г. Экз. 1 - ) (свободен)
Найти похожие
|
4.
|
Ламберов, Л. Д.
Понимание доказательства и простота оснований: набросок методологии для философии математики / Л. Д. Ламберов // Философия науки. - 2019. - № 4. - С. 66-79. - Библиогр.: с. 77-79 (22 назв. )
. - ISSN 1560-7488
ББК 22.1 + 87.25
Рубрики:
Математика
Общие вопросы математики
Философия
Философия науки
Кл.слова (ненормированные): понимание доказательства -- простата оснований -- математическое доказательство -- критерии простоты -- методология философии науки -- убедительность -- философия математики
Аннотация: Рассматриваются понятие простоты математического доказательства и связь простоты с убедительностью. В контексте оснований математики проблематизируется критерий простоты оснований, выявляются сложности его применения, а также намечаются пути дальнейших исследований методологии философии математики.
Держатели документа:
ТОНБ
Имеются экземпляры в отделах:
УЧЗПИ (4 этаж) (28.01.2020г. Экз. 1 - ) (свободен)
Найти похожие
|
5.
|
Ламберов, Л. Д.
Тоньше тонкого: обзор книги Эйстейна Линнебо " Thin obgects: ababstionist account" / Л. Д. Ламберов // Философия науки. - 2021. - № 4. - С. 122-128. - Библиогр.: с. 128 (3 назв. )
. - ISSN 1560-7488
ББК 87
Рубрики:
Философия
Общие вопросы философии
Кл.слова (ненормированные): концепции непротиворечивости -- модальность -- логицизм -- неологицизм -- абстракционизм -- обзоры книг
Аннотация: Представлен обзор книги Эйстейна Линнебо "Thin obgects: ababstionist account" и содержит краткое изложение основных идей каждой главы этой книги.
Держатели документа:
ТОНБ
Доп. точки доступа:
Линнебо, Э.\о нем\
Имеются экземпляры в отделах:
УЧЗПИ (4 этаж) (03.02.2022г. Экз. 1 - Б.ц.) (свободен)
Найти похожие
|
6.
|
Ламберов, Л. Д.
Строгость доказательства: "серая зона" между формализацией и практикой / Л. Д. Ламберов // Философия науки. - 2023. - № 1. - С. 120-133. - Библиогр.: с. 131-133 (21 назв. )
. - ISSN 1560-7488
ББК 22.1 + 87.25
Рубрики:
Математика
Общие вопросы математики
Философия
Философия науки
Кл.слова (ненормированные): понимание доказательства -- строгость доказательства -- математическое доказательство -- формализация -- математическая практика -- философия математики
Аннотация: Рассматриваются одно из основных требований, предъявляемых к математическим доказательствам, являющейся требование строгости. Строгость гарантирует наличие логической связи между доказываемым положением и принимаемыми допущениями или аксиомами. Традиционно считается, что строгость математического доказательства обеспечивается обращением к формализации. Однако такое понимание не соответствует математической практике.
Держатели документа:
ТОНБ
Имеются экземпляры в отделах:
УЧЗПИ (4 этаж) (20.04.2023г. Экз. 1 - 1631.35 р.) (свободен)
Найти похожие
|
|
|
Электронный каталог книг
Стандартный