А мы тем временем совсем-совсем завершили обсуждение книги Кристофера Пикока "Being Known". Заодно досталось и статье Пола Бенацеррафа "Mathematical Truth", в которой представлена проблема интеграции (или дилемма Бенацеррафа) в философии математики. В начале своей книги Пикок указывает, что его проблема интеграции является обобщением проблемы, поставленной Бенацеррафом почти за 30 лет до издания книги Пикока. Само изложение заключительных замечаний Пикока и статьи Бенацеррафа оказалось небольшим, зато последующее обсуждение получилось довольно обширным. Мы обсудили романтику ненормальной науки, эффективность нормальных учёных, а также вопрос существования зайчиков. Правда, так и не разобрались, каких зайчиков — солнечных или звёздных. Доклад представил Лев Ламберов. С записью можно ознакомиться на нашем YouTube-канале, в паблике VK и на канале Дзен.