Добавлена поддержка Ежчана (ejchan.net, ejchan.site). Набегаем, тестируем архивацию, сообщаем о замеченных проблемах.
К сожалению, значительная часть сохранённых до 2024 г. изображений и видео была потеряна (подробности случившегося). Мы призываем всех неравнодушных помочь нам с восстановлением утраченного контента!
Сортировка: за
Активный
59976
2026-09-26 12:18:10
Активный
2459
2026-08-20 21:45:15
Сохранен
1789
2025-03-24 10:16:25
Сохранен
1375
2022-12-24 12:47:48
Сохранен
1347
2021-10-14 09:16:53
Сохранен
1277
2024-09-11 09:22:03
Сохранен
1269
2023-11-12 11:40:57
Сохранен
1180
2024-06-11 15:17:52
Сохранен
1134
2024-06-11 15:17:52
Сохранен
1124
2023-11-12 11:40:57
Сохранен
1058
2023-10-23 06:28:18
Сохранен
892
2023-11-12 11:40:57
Сохранен
681
2022-07-13 06:23:15
Сохранен
646
2022-08-10 14:12:52
Сохранен
642
2023-11-12 11:40:57
Сохранен
633
2025-12-06 13:21:29
Активный
630
2026-05-11 09:36:26
Сохранен
614
Оснований тред №4 — Помимо трех основных направлений в основаниях - формализм, логицизм и интуиционизм, иногда возникали идеи построить математику на кардинально отличных от общепринятых принципах. Одно из таких направлений - Сигнифика, Significs. Попытка основать математику на основе естественного языка (т.к. язык и математика - это деятельность человека) принадлежит учителю Брауэра, голландскому математику и философу Герриту Маннури. Согласно его теории уровней языка (таких уровней 5), чисто формальный язык математики (5ый уровень) отличается от языка общения детей (1ый уровень) только степенью связи между словами и их сочетаниями (языковыми конструкциями). Идеи Маннури более чем на столетие опередили свое время, т.к. при его жизни не было методов автоматизированной работы с текстом (NLP, Natural Language Processing). В наше время такие методы развиты достаточно, чтобы поставить вопрос о построении вычислительной сигнифики (Computational Significs) для нужд математики, в т.ч. автоматизированного доказательства теорем и т.о. реализации на этих основах прувера, отличающегося принципом функционирования от всех остальных чуть менее чем полностью. Предыдущий - https://2ch.hk/math/res/17772.html Архив тредов
2024-12-05 18:06:53
Активный
605
2026-09-17 19:43:57
Сохранен
600
2024-09-11 09:22:03
Сохранен
596
2025-03-24 10:16:25
Сохранен
581
2025-03-24 10:16:25
Сохранен
573
2023-11-12 11:40:57
Активный
570
2026-05-11 09:36:26
Сохранен
566
2022-06-30 15:57:28