II. Унивалентность и понятие структуры в философии математики

Фрагмент лекции (без вопросов и обсуждения) Льва Ламберова «II. Унивалентность и понятие структуры в философии математики» (8 февраля 2022 г.) из раздела «Современный теоретико-типовой подход к основаниям математики» курса "История и философия науки" для слушателей Института переподготовки и повышения квалификации Уральского федерального университета им. первого Президента России Б.Н.Ельцина.

[@romanvertushkin6791]

Прекрасный канал!

[@vzhilin]

Очень интересно, спасибо большое!

[@alexkovsh3039]

Спасибо, толковая лекция. На границе логики, математики, теории познания, философии необходимо строить теорию с учётом феномена СОЗНАНИЯ, и всех возможных уровней такого сознания. Пример: возможно - ли такое СОЗНАНИЕ, которое "видит" натуральный ряд весь и сразу и причём в разложении каждого натурального числа на простые множители? Так что у такого сознания сразу есть ответ на вопрос : бесконечно - ли множество пар простых чисел близнецов, разделённых всего одним чётным числом? И ещё: относится - ли пространство математики к инвариантным: независящим от математиков, и единым для всех математиков всех возможных вселенных

[@beavis3141]

Как я понял теория типов никаких проблем оснований не решает, она просто изначально содержит в себе более сильные интуитивные понятия (вроде натурального числа, индукции, логики). Ну такое себе оснвоание если честно.