Здравствуйте, __kot2, Вы писали:
__>Здравствуйте, Shmj, Вы писали: S>>А то один математик японский якобы доказал некую теорему, но никто не может понять доказал ли он, т.к. оно все настолько сложное, что никто не может понять — гений он или дурак. __>Спорим, ты не сможешь привести доказательство на нормальный источник
Здравствуйте, graniar, Вы писали:
G>Ну это уже будет немного другое. Формализация мышления как такового, а не просто математики, как области знаний.
ИИ и есть формализация мышления, т.к. нет ничего более формального, чем алгоритм.
Здравствуйте, Shmj, Вы писали:
S>Здравствуйте, __kot2, Вы писали:
__>>Здравствуйте, Shmj, Вы писали: S>>>А то один математик японский якобы доказал некую теорему, но никто не может понять доказал ли он, т.к. оно все настолько сложное, что никто не может понять — гений он или дурак. __>>Спорим, ты не сможешь привести доказательство на нормальный источник
S>Вот о чем речь — а дальше сами ищите: https://ru.wikipedia.org/wiki/Abc-%D0%B3%D0%B8%D0%BF%D0%BE%D1%82%D0%B5%D0%B7%D0%B0
Не ну во-первых никто дураком его не считает, а поиск недоказанных моментов действительно может занять очень много и хорошо если оплачиваемого времени. Современные сложные теоремы типа ферма лет 10 требуют на верификацию
Здравствуйте, __kot2, Вы писали:
__>Не ну во-первых никто дураком его не считает, а поиск недоказанных моментов действительно может занять очень много и хорошо если оплачиваемого времени. Современные сложные теоремы типа ферма лет 10 требуют на верификацию
А вот из самых общих соображений — как это выглядит, когда у простых по формулировке теорем могут быть заумно сложные доказательства? Это легко в голове укладывается или попахивает лукавством?
Здравствуйте, __kot2, Вы писали:
S>>Вот о чем речь — а дальше сами ищите: https://ru.wikipedia.org/wiki/Abc-%D0%B3%D0%B8%D0%BF%D0%BE%D1%82%D0%B5%D0%B7%D0%B0 __>Не ну во-первых никто дураком его не считает, а поиск недоказанных моментов действительно может занять очень много и хорошо если оплачиваемого времени. Современные сложные теоремы типа ферма лет 10 требуют на верификацию
Чуть подробнее был перевод статьи на Хабре. Этот перец фактически придумал свои обозначения и свой язык в математике. И чтобы понять им написанное — сначала нужно выучить 2 тома его фишек, грубо говоря. Не запрещено...
Так вот, чтобы такого не было — теоремы нужно представлять на ЯП типа coq и учить тому с самой школы.
Здравствуйте, graniar, Вы писали:
BFE>>ИИ и есть формализация мышления, т.к. нет ничего более формального, чем алгоритм. G>Поправка: Символьный ИИ.
Да, конечно. Аналоговые компьютеры в расчёт не берём.
G>Нейросетка — это скорее черный ящик, где все зашифровано в весах межнейронных связей.
Шифрование не отменяет формальности никоим образом.
Здравствуйте, B0FEE664, Вы писали:
G>>Поправка: Символьный ИИ. BFE>Да, конечно. Аналоговые компьютеры в расчёт не берём.
Не цифровой, а Символический ИИ
G>>Нейросетка — это скорее черный ящик, где все зашифровано в весах межнейронных связей. BFE>Шифрование не отменяет формальности никоим образом.
