24 декабря 2023 г. Архивач восстановлен после серьёзной аварии. К сожалению, значительная часть сохранённых изображений и видео была потеряна. Подробности случившегося. Мы призываем всех неравнодушных помочь нам с восстановлением утраченного контента!
Сортировка: за
Сохранен
35
10 августа 2022
Сохранен
33
12 ноября 2023
Активный
31
24 марта 10:16
Активный
31
24 марта 10:16
Сохранен
30
ВТФ? — Великая Теорема Ферма. Вот смрите. При степени равной 1, всегда найдётся целое "c" для целых "a+b". При степени 2, это только 3,4,5 - "Египетский Треугольник" и "масштабирование" - умножение всего на некоторое целое m. m3^2+m4^2=m5^2 9m+16m=25m Это мы и решением квадратного уравнения доказываем. Тут никаких проблем нет. Проблемы возникли дальше, при n>2, сейчас у теоремы вроде есть очень длинное доказательство и ещё не факт, что там нет ошибки, все остальные доказательства, коих тонны, ошибочны. А доказывали теорему столетиями. Мне лично не понятно, что там можно доказывать столько времени. Возьмём a=3 b=4 c=5. Степень: Что получаем 2: 9+16=25 --- всё норм 3: 27+64=125 ---"c" больше на 34 4: 81+256=625 ---"с" больше на 288 Дальше, при увеличении n, разрыв ещё больше увеличивается. Остаётся попытаться изменить a и b и, вероятно, c. Пытаемся, но не находим решений, делаем для общего случая, всё математически оформляем и вуаля, доказательство готово. Ваши варианты, господа. Задачка школьного уровня.
11 июня 2024
Активный
30
24 марта 10:16
Сохранен
29
12 ноября 2023
Сохранен
29
14 октября 2021
Сохранен
28
5 декабря 2024
Сохранен
27
14 октября 2021
Активный
26
Metamath — Ранее я создал Мендельсона-тред, теперь хочу обратить внимание на другую достаточно клёвую вещь: Metamath. (Это связано с основаниями математики, но не спешите отчаиваться) В данном треде я постараюсь ответить на все возникшие у анонов вопросы. Его вроде надо сделать модерируемым. FAQ: 1)Что это? Это теория типов для формального доказательств первопорядковых языков. Ну то есть язык программирования для ZFC, NBG, геометрии (Тарского) и ещё много чего первопорядкового. Всё это доступно онлайн в удобном гипертекстовом виде. 2)Какие профиты? а) Очень большая библиотека доказательств, легко читается. Имеет достаточно долгую историю - с девяностых. б) Пруфассистант: два режима, как в Coq: либо конструируешь доказательство, либо интерактивный режим. в) Непосредственно прилагается самоучитель. г) Простой (300 строк на питоне) верификатор доказательств. д) Имеет модель в ZFC. (самая мякотка, смотри пункт 3) е) Живое коммьюнити. 3) Какие задачи? Есть такая статья: http://us.metamath.org/ocat/model/model.pdf Не знаю как анону, но мне было бы очень любопытно в ней разобраться. 4) Почему "лучше" чем HoTT, Coq, HOL и т.д.? Да потому что ZFC и логика предикатов - это математический стандарт де-факто, поэтому знание metamath может помочь вам понимать беглую речь преподавателей в институте. (А не страдать по крайностям "это очевидно" и "ничерта не понятно".) Смело задавайте вопросы и высказывайте мнения.
24 марта 10:16
Активный
26
24 марта 10:16
Сохранен
26
24 декабря 2022
Сохранен
24
14 октября 2021
Активный
22
24 марта 10:16
Сохранен
22
12 ноября 2023
Сохранен
22
12 ноября 2023
Сохранен
21
12 ноября 2023
Сохранен
20
15 сентября 2023
Сохранен
20
24 декабря 2022
Сохранен
20
14 октября 2021
Сохранен
18
12 января 2022
Сохранен
18
24 декабря 2022
Сохранен
17
11 июня 2024
Сохранен
17
10 августа 2022

Отзывы и предложения