Перечень мероприятий
12 февраля 2021
Московский семинар по философии математики
12 февраля 2021 (пятница) в 15:00 пройдет очередное заседание Московского семинара по философии математики. На нем будет заслушан доклад Ирины Викторовны Стариковой «Проблема формального и неформального доказательства на примере задачи урезанной шахматной доски в контексте математической практики».
Аннотация доклада:
