22
Д 63
Доказательство: очевидность, достоверность и убедительность в математике : труды Московского семинара по философии математики = Proof : Moscow Studies in the Philosophy of Mathematics / Моск. гос. ун-т им. М. В. Ломоносова, Философ. фак. ; под ред.: В. А. Бажанова, А. Н. Кричевца, В. А. Шапошникова. - Москва : URSS : ЛИБРОКОМ, 2014. - 423 с. : ил. - (Философско-антропологические технологии). - Библиогр. в конце ст. и в подстроч. примеч. - ISBN 978-5-397-04327-4 : 416.00 р.
Содержание:
Бажанов, Валентин Александрович. Математическое доказательство в социальном контексте / В. А. Бажанов
Перминов, Василий Яковлевич. Надежность и строгость математического доказательства / В. Я. Перминов
Катречко, Сергей Леонидович. Трансцендентальный анализ математической деятельности: абстрактные [математические] объекты, конструкции и доказательства / С. Л. Катречко
Белоусов, Алексей Иванович. Философия математики М. Хайдеггера / А. И. Белоусов
Гутнер, Григорий Борисович. Доказательство: путь к очевидности или языковая игра? / Г. Б. Гутнер
Зайцев, Евгений Алексеевич. Логико-философский основания и историческая реконструкция архаичного варианта античной теории отношений и прпорций / Е. А. Зайцев
Родин, Андрей Вячеславович. Делать и показывать / А. В. Родин
Шапошников, Владислав Алексеевич. Математический скептицизм и абсолютистская трактовка доказательств / В. А. Шапошников
Шульпеков, Владимир Александрович. Инструментальная структура математических построений / В. А. Шульпеков
Маневич, Леонид Исакович. О доказательности в физике / Л. И. Маневич
Косилова, Елена Владимировна. Психология математического мышления / Е. В. Косилова
Титов, Андрей Валентинович. Диалектика в развитие типов логических исчислений на основе структур значений оценки / А. В. Титов
Красенкова, Анастасия Владимировна. доказательства разрешимости и полноты силлогистических теорий с помощью конструктивных методов (метода аналитических таблиц и построения множеств Я. Хинтикки) / А. В. Красенкова
Кричевец, Анатолий Николаевич. Что в итоге? Попытка синтеза / А. Н. Кричевец
ББК 22.1в.я43
Рубрики:
Математика -- Философия науки -- Сборники
Математическое доказательство -- Осмысление -- Философия математики -- Сборники
Держатели документа:
Тюменская ОНБ
Доп. точки доступа:
Бажанов, Валентин Александрович\ред.\
Кричевец, Анатолий Николаевич\ред.\
Шапошников, Владислав Алексеевич\ред.\
Московский государственный университет им. М. В. Ломоносова. Философский факультет
Экземпляры всего: 1
КХ (С 5) (1)
Свободны: КХ (С 5) (1)
|