(no subject)
Feb. 28th, 2026 04:50 pm![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
transitional_writesТак, ну значит верхний пост:
https://transitional-writes.dreamwidth.org/8107.html
Залил фотку Алисы:
https://transitional-writes.dreamwidth.org/23439.html
Список литературы:
https://transitional-writes.dreamwidth.org/24717.html
Коль уж завел речь про Пойа, то надо бы
как-то попытаться расписать роль математики вот
во всех этих метарассуждениях.
Ничего своего у меня нет, все чисто почерпнул из
дургих источников, примечания Колмогорова к книгам по
истории матанализа и тд и тп.
Но обычно математику сводят к матмоделированию.
А это не то чтобы не важно, но в некотормо роде не
первично.
Первично - это формальная проверка интуиции
и умения решать задачи.
Это Пойа
+
Р. Курант, Г. Роббинс. К93. Что такое математика? — 3-e изд., испр. и доп. — М.: МЦНМО,. 2001. — 568 с. ISBN 5–900916–45–6.
https://mccme.ru/free-books/pdf/kurant.pdf
То есть математика эта та же индукция,
интуиция, аналогия, изобретательство. Но на ней
можно точно проверить, верна ли твоя интуиция, есть
точное решение.
Во-вторых любое доказательство в математике является
в некотором роде индуктивным в смысле логики,
так как является частным случаем классификации,
задачи восприятия. А это индукция.
См. Потапова.
В-третьих это колмогоровская сложность -
базис для байесова вывода. Это опять же
и матмодель размышлений, но не матмодель в
смысле какой-то четкой технической системы.
В четвертых это теория групп и инвариантов как
вот модель абстрактного мышления.
Конечно, задача построить группу преобразований
и инварианты всех категорий Аристотеля из
машинного восприятия нетривиальна, но ее можно
поставить.
Вообще интересно выразить мизесианское действие
через группу преобразований для машинного
зрения.
В пятых это корреляции, по сути тоже скорее
индукция.
В шестых теория алгоритмов и прочие машины Тьюринга.
В седьмых определенного рода логическая структура.
Проективная дифференциальная геометрия - это структура
множества треугольников.
Блин, надо вспоминать математику, раз уж собрался
чето написать в статьях.
Конечно мне техника интересна, но именно такая техника,
где априорная математика очень важна.
Своего тут ничего, естественно, не придумать,
но тоже малоизвестные кмк закоулки.
https://transitional-writes.dreamwidth.org/8107.html
Залил фотку Алисы:
https://transitional-writes.dreamwidth.org/23439.html
Список литературы:
https://transitional-writes.dreamwidth.org/24717.html
Коль уж завел речь про Пойа, то надо бы
как-то попытаться расписать роль математики вот
во всех этих метарассуждениях.
Ничего своего у меня нет, все чисто почерпнул из
дургих источников, примечания Колмогорова к книгам по
истории матанализа и тд и тп.
Но обычно математику сводят к матмоделированию.
А это не то чтобы не важно, но в некотормо роде не
первично.
Первично - это формальная проверка интуиции
и умения решать задачи.
Это Пойа
+
Р. Курант, Г. Роббинс. К93. Что такое математика? — 3-e изд., испр. и доп. — М.: МЦНМО,. 2001. — 568 с. ISBN 5–900916–45–6.
https://mccme.ru/free-books/pdf/kurant.pdf
То есть математика эта та же индукция,
интуиция, аналогия, изобретательство. Но на ней
можно точно проверить, верна ли твоя интуиция, есть
точное решение.
Во-вторых любое доказательство в математике является
в некотором роде индуктивным в смысле логики,
так как является частным случаем классификации,
задачи восприятия. А это индукция.
См. Потапова.
В-третьих это колмогоровская сложность -
базис для байесова вывода. Это опять же
и матмодель размышлений, но не матмодель в
смысле какой-то четкой технической системы.
В четвертых это теория групп и инвариантов как
вот модель абстрактного мышления.
Конечно, задача построить группу преобразований
и инварианты всех категорий Аристотеля из
машинного восприятия нетривиальна, но ее можно
поставить.
Вообще интересно выразить мизесианское действие
через группу преобразований для машинного
зрения.
В пятых это корреляции, по сути тоже скорее
индукция.
В шестых теория алгоритмов и прочие машины Тьюринга.
В седьмых определенного рода логическая структура.
Проективная дифференциальная геометрия - это структура
множества треугольников.
Блин, надо вспоминать математику, раз уж собрался
чето написать в статьях.
Конечно мне техника интересна, но именно такая техника,
где априорная математика очень важна.
Своего тут ничего, естественно, не придумать,
но тоже малоизвестные кмк закоулки.
