Бггг что уже Lean доказала\опровергла теоремы о неперечислимости действительных чисел Кантора и неполноте Геделя? я что-то пропустил ...
Для взаимодействия с окружающим миром есть студенты, которые не связаны защитой диссертации и планами кафедры и грантами. Служить так сказать "мальчиками для битья")))
Например, повторить столетний опыт Столетова и определить наконец массу фотона в прямом эксперименте? Взять киловаттный кафедральный лазер и посветить в зеркальце в глубоком вакууме. Без всяких планов чисто в порядке курсовой работы первокурсника.
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
no subject
Date: 2024-10-15 02:00 pm (UTC)Бггг что уже Lean доказала\опровергла теоремы о неперечислимости действительных чисел Кантора и неполноте Геделя? я что-то пропустил ...
Для взаимодействия с окружающим миром есть студенты, которые не связаны защитой диссертации и планами кафедры и грантами. Служить так сказать "мальчиками для битья")))
Например, повторить столетний опыт Столетова и определить наконец массу фотона в прямом эксперименте? Взять киловаттный кафедральный лазер и посветить в зеркальце в глубоком вакууме. Без всяких планов чисто в порядке курсовой работы первокурсника.