X
просто прикинь, сколько вещей возможно не доказано просто по этой причине
Size: a a a
2021 November 16
s
Так что сдаётся мне, проблема во многом культурная.
X
проблема в том, что куча народу не хотят учиться работать с компьютером, аргументируя это тем, что "я математик, мне достаточно карандаша"
BV
Из того что я был знаком с людьми чья оперативная память была больше чем у среднего больниства там возникал парадокс что людям было абсолютно не интересно решать задачи связанные с проблемами большинства
X
ну вот я к тому, что будут проблемы, которые будут требовать ещё больше
L
Так ведь соль не в наличии доказательства, а в том, что содержательного это доказательство даёт. И да, прежде, чем что-то доказывать, ещё нужно сформулировать утверждение, более-менее содержательное.
BV
Я физик и буду писать на фортране так что никто не сможет прочитать мой код
X
с компом и без компа разная масштабируемость этой самой оперативки
X
как только это будет осознано — будет бум
BV
А ещё я открою свой институт и мы будем использовать самую старую версию фортрана
X
соль конечно же в том, что оно даёт.
Если будет серьёзный фреймворк — это само по себе ценность большая, чем доказательство АВС
Если будет серьёзный фреймворк — это само по себе ценность большая, чем доказательство АВС
BV
Фреймворк надо как-то держать в консистентном состоянии
X
о да.
X
это беда
BV
А для этого нужны люди кто понимает математику и прог на очень хорошем уровне
X
но дорогу осилит идущий
X
увы, да
X
это самое большое препятствие
BV
Что уменьшает вероятность нахождения таких людей
X
люди, которые понимают математику, в большинстве своём уверены, что х — отличное имя переменной