Бггг что уже Lean доказала\опровергла теоремы о неперечислимости действительных чисел Кантора и неполноте Геделя? я что-то пропустил ...

Для взаимодействия с окружающим миром есть студенты, которые не связаны защитой диссертации и планами кафедры и грантами. Служить так сказать "мальчиками для битья")))

Например, повторить столетний опыт Столетова и определить наконец массу фотона в прямом эксперименте? Взять киловаттный кафедральный лазер и посветить в зеркальце в глубоком вакууме. Без всяких планов чисто в порядке курсовой работы первокурсника.