X
даже при интегрировании чего-то типа 1/(x² – 2) тебе придётся расширять поле констант
Size: a a a
2021 November 25
X
(а стартуешь ты с Q)
X
тебе приходится вычислять поле разложения x² – 2
X
и дальше ты уже живёшь в Q[sqrt(2)](x)
EZ
Стартуй с С
X
тут понимаешь какая штука, оч хотелось бы стартовать с вычислимого поля)
X
для которого в частности имеет смысл вопрос "равны ли две константы"
X
более того, прям оч хотелось бы, чтобы и для всех расширений этот вопрос не только имел смысл, но и был алгоритмически разрешимым
X
а дальше начинается
X
для С вопрос бессмысленный
для достаточно сложных расширений алгоритмически неразрешимый
для просто сложных расширений — мы не знаем факта разрешимости
для средних — мы упираемся в то, что не знаем, алгебраически независимы ЛИ данные два трансцендентных числа
для достаточно сложных расширений алгоритмически неразрешимый
для просто сложных расширений — мы не знаем факта разрешимости
для средних — мы упираемся в то, что не знаем, алгебраически независимы ЛИ данные два трансцендентных числа
X
то есть, как ещё вавилов отмечал "мы тут, к сожалению, видите ли, пока очень, ОЧЕНЬ плохо понимаем, что такое вещественные числа"
FO
Понятно...
X
"вот, фортран, ты один, как перст, да таких перстов вас в квантовой химии сотни две."
"ну?"
"Вот и думай. :("
"ну?"
"Вот и думай. :("
FO
Спасибо 😌
FO
Ем. Нас таких пара сотен только
X
done.
X
Справедливо.
BV
из них могут писать код десятки
BV
а понимают что пишут единицы
FO
Я тут