X
и это прекрасно
Size: a a a
2021 November 16
X
фреймворк наработают
X
просто бойлерплейт математиков — несравнимо больше и развесистее, чем бойлерплейт программистов
X
ПОКА что.
BV
И лет через 20 оно может быть пойдёт в массы
X
ну может и не через 20
X
мы не знаем, когда и что послужит последней капелькой, после которой будет взрыв
X
сейчас как окажется, что множество будущих результатов, висящих на стыке областей знания, резко будут доступны, когда нарастят фреймворки
X
и РЕЗКО окажется не 20
BV
Это да, я не в курсе последних экспериментов физиков)
X
буквально одно-два крупных открытия или доказательства — могут поменять картину полностью
X
удесятерится число трудящихся над областью — и она взорвётся
BV
А может и одного человека достаточно
BV
А может и не человека
X
как уже верно отметили в той статье по ссылке выше — скрытый ресурс — это оперативная память мозга
X
мало вещей одновременно удерживаются в голове
s
Исчисление конструкций существует уже много десятилетий. А движуха началась тогда, когда один математик решил всерьёз использовать lean.
X
а эта штука сможет помочь упорядочить эти вещи и разместить куда надо в голове
BV
Обычного человека да
X
по меркам числа необходимых вещей для доказательства какой-нибудь сложной штуки — любого человека